問題分析

最近一名讀者留言說，自己出去面試被面試官的一道奇葩問題問倒了，這個(gè)問題就是：if語句執(zhí)行完else語句真的不會(huì)再執(zhí)行嗎？這名讀者確實(shí)不知道該如何回答這個(gè)問題?；厝ズ?，自己查閱了很多資料也沒弄明白這個(gè)問題！

想必很多讀者朋友遇到這種奇葩面試題時(shí)，多多少少都會(huì)覺得鬧心吧！不過，鬧心歸鬧心，問題還是要解決的。今天，我們就一起來剖析下這個(gè)奇葩的面試題。

從計(jì)算機(jī)底層原理來說，Java語句中的 if 指令和 else 指令分屬于兩個(gè)不同的邏輯分支，在同一段代碼中，只要執(zhí)行了if語句就不會(huì)執(zhí)行else語句。所以，這個(gè)面試題的考點(diǎn)并不是讓你從計(jì)算機(jī)底層原理的角度去分析問題。既然不能從計(jì)算機(jī)底層原理去分析問題，那我們需要從哪里入手分析呢？

沒錯(cuò)，當(dāng)然是從我們寫的程序入手了！那么，問題來了，我們自己寫的程序貌似也沒有出現(xiàn)過執(zhí)行完if語句后再執(zhí)行else語句的情況呀??！別急，咱們繼續(xù)往下看。

實(shí)現(xiàn)程序

我們先來看一段代碼，如下所示。

public class Test {

    public static void main(String[] args) {
        new Test().print(args==null || new Test() {{Test.main(null);}}.equals(null));
    }

    public void print(boolean flag){
        if(flag){
            System.out.println("我是if語句的分支");
        }else{
            System.out.println("我是else語句的分支");
        }
    }
}

在你的IDE中運(yùn)行下這段程序，沒錯(cuò)，輸出結(jié)果如下所示。

我是if語句的分支
我是else語句的分支

我去，竟然真的同時(shí)執(zhí)行了if語句和else語句，這是怎么回事呢？ 

代碼分析

我們來看這段代碼反編譯后的結(jié)果，如下所示。

public class Test {
    public Test() {
    }

    public static void main(String[] args) {
        (new Test()).print(args == null || (new Test() {
            {
                Test.main((String[])null);
            }
        }).equals((Object)null));
    }

    public void print(boolean flag) {
        if (flag) {
            System.out.println("我是if語句的分支");
        } else {
            System.out.println("我是else語句的分支");
        }

    }
}

看到這里，有木有一種恍然大悟的感覺呢？沒錯(cuò)，上述的程序在本質(zhì)上，main方法執(zhí)行了兩次。為什么會(huì)是執(zhí)行了兩次呢？原因就在main方法中調(diào)用print()方法時(shí)，傳遞的參數(shù)上。所以，我們先來看看調(diào)用print()方法傳遞的參數(shù)，如下所示。

args == null || (new Test() {
    {
        Test.main((String[])null);
    }
}).equals((Object)null)

可以看到，調(diào)用print()方法傳遞的參數(shù)中，args == null為true，執(zhí)行print()方法的if語句，這點(diǎn)不難理解。接下來就是要重點(diǎn)理解下面的代碼片段了。

(new Test() {
    {
        Test.main((String[])null);
    }
}).equals((Object)null)

這段代碼是什么意思呢？首先，這段代碼再次創(chuàng)建了一個(gè)Test類的對(duì)象實(shí)例，并在代碼塊中調(diào)用了Test類的main()方法，此時(shí)，由于Test類的對(duì)象實(shí)例不為空，所以，equals((Object)null)會(huì)返回false。此時(shí)，再次執(zhí)行print()方法時(shí)，傳遞的flag為false，執(zhí)行了else語句的邏輯。