五、案例理論分析:
1、我們先看第一個代碼片段:三個輸出語句會輸出什麼結果呢?
你也行會認為輸出結果是:
'A'
'A'
'A'
當你運行一下這段代碼,它的真正結果是:
'A'
65
65
為什麼會有這樣的結果呢?實質上這就是條件運算符對於運算結果類型的限制:
(1)如果表達式1和表達式2具有相同的類型,那麼整個條件運算符結果的類型就是這個類型。
(2)如果一個表達式的類型是T,T是byte或short或char,另一個表達式的類型是int類型的常量表達式,而且這個常量表達式的值是可以用類型T表示的(也就是說,常量表達式的值是在類型T的取值范圍之內),那麼整個條件運算符結果的類型就是T。
(3)除以上情況外,如果表達式1和表達式2的類型不同,那麼將進行類型提升,整個條件運算符結果的類型就是提升後的類型。
System.out.println(true?x:0); //line3。表達式1是char類型,表達式2是int類型的常量表達式,而且這個常量表達式的值0可以用char類型來表示,因此整個條件運算符結果的類型就應當是char類型,所以輸出的結果就是'A'。
System.out.println(true?x:1111111110); //line4。表達式1是char類型,表達式2是int類型的常量表達式,但是這個常量表達式的值已經超出了char類型的取值范圍,因此要進行類型提升,把char類型提升為int類型,整個條件運算符結果的類型就是int類型了,所以輸出的結果是65(字符A的ASCII碼)。
System.out.println(false?i:x); //line5。表達式1是int類型的變量,表達式2是char類型的變量,沒有常量表達式。因此要進行類型提升,把char類型提升為int類型,整個條件運算符結果的類型就是int類型。所以輸出結果就是65。
2、我們再看第二個代碼片段,它的結果是在編譯階段引發錯誤。為什麼?
Testt=flase?newObject():newTest();我們看到表達式1是Object類型,表達式2是Test類型。沒有常量表達式,類型不同,因此要進行類型提升的。要把Test類型提升為Object類型,因此整個條件運算符結果的類型應當是Object類型。當在賦值的時候要把Object類型賦值給Test類型的變量,當然會引發編譯錯誤。
本文來自編程入門網:http://www.bianceng.cn/Programming/Java/201107/27857_2.htm