Javaの奇妙なもの

Question

javaに奇妙なものがいくつか見つかりました。

コード：

System.out.println(System.getProperty("java.version")); 
System.out.println((true) ? (int)2.5 : 3.5); 
System.out.println((true) ? (int)2.5 : 3); 
System.out.println((true) ? (int)2.5 + "" : 3.5); 

結果：

 
1.8.0_40 
2.0 
2 
2 

それは何ですか？ falseの値がdoubleでない場合、またはtrueの場合に文字列値がvalueに追加された場合にのみ整数値が返される理由は？なぜ2行目の丸めが（int）castによって動作するのですが、double値はまだ返りますか？バグですか？概略において

Answer 1

：

(true) ? (int)2.5 : 3.5 

     int  double 
      \  /
      double 

doubleリテラル2.5をint 2にダウンサンプリングされた条件式のタイプなので、戻しdouble 2.0に昇格。

Answer 2

https://docs.oracle.com/javase/specs/jls/se8/html/jls-15.html#jls-15.25は、これらのすべてのルールを指定します。これらのルールは、観測された出力と常に一致します。

3項式全体に1つのタイプしかありません。返されるのはSystem.out.printlnです。その仕様の表で調べると、あなたが言及した行の型がそれぞれdouble、int、およびObjectになることがわかります。

Answer 3

3項演算子は、戻り値の型が定数です。 JLS, section 15.25から

：

そうでない場合、バイナリ数値昇格（5.6.2）は、オペランドのタイプに適用され、条件式のタイプは、第2及び第3のオペランドの促進タイプです。

これは次いでdoubleに拡大(true) ? (int)2.5 : 3.5に、2.5が（切り捨て）、intに変換されることを意味します。 (true) ? (int)2.5 : 3で

、intは反対側もintあるため、doubleに拡大する必要がありません。

最後に、(true) ? (int)2.5 + "" : 3.5);の場合ははStringに既に変換されているため、を広げることはできません。