(1)假如表達式1和表達式2具有相同的類型,那么整個條件運算符結(jié)果的類型就是這個類型。
(2)假如一個表達式的類型是T,T是byte或short或char,另一個表達式的類型是int類型的常量表達式,而且這個常量表達式的值是可以用類型T表示的(也就是說,常量表達式的值是在類型T的取值范圍之內(nèi)),那么整個條件運算符結(jié)果的類型就是T。
(3)除以上情況外,假如表達式1和表達式2的類型不同,那么將進行類型提升,整個條件運算符結(jié)果的類型就是提升后的類型。
System.out.println(true?x:0); //line3。
表達式1是char類型,表達式2是int類型的常量表達式,而且這個常量表達式的值0可以用char類型來表示,因此整個條件運算符結(jié)果的類型就應(yīng)當是char類型,所以輸出的結(jié)果就是'A'。
System.out.println(true?x:1111111110); //line4。
表達式1是char類型,表達式2是int類型的常量表達式,但是這個常量表達式的值已經(jīng)超出了char類型的取值范圍,因此要進行類型提升,把char類型提升為int類型,整個條件運算符結(jié)果的類型就是int類型了,所以輸出的結(jié)果是65(字符A的ASCII碼)。
System.out.println(false?i:x); //line5。
表達式1是int類型的變量,表達式2是char類型的變量,沒有常量表達式。因此要進行類型提升,把char類型提升為int類型,整個條件運算符結(jié)果的類型就是int類型。所以輸出結(jié)果就是65。
2、我們再看第二個代碼片段,它的結(jié)果是在編譯階段引發(fā)錯誤。為什么?
Test t=flase?new Object():new Test();
我們看到表達式1是Object類型,表達式2是Test類型。沒有常量表達式,類型不同,因此要進行類型提升的。要把Test類型提升為Object類型,因此整個條件運算符結(jié)果的類型應(yīng)當是Object類型。當在賦值的時候要把Object類型賦值給Test類型的變量,當然會引發(fā)編譯錯誤。