昨日の「条件演算子(三項演算子)で、：の左側と右側に共通のインタフェースを持つ別のクラスを書く」についての追記です。
C#だと、以下のように条件演算子のふたつの式が共通の型を持っている場合でもコンパイルエラーになりますが、Javaだとちゃんとコンパイルできます。
/* -- Java -- */ public interface X { ･･･ } public class A implements X { ･･･ } public class B implements X { ･･･ } public void test(boolean isFirst){ X x = isFirst ? new A() : new B(); // OK ･･･ }
これは、Javaの言語仕様が・・・
- ２番目と３番目のオペランドが同じ型である場合、（null 型でも可）、それがこの条件式の型となる。
（中略）
§15.25 条件演算子？：（Java言語仕様 第３版）
- さもなければ、２番目と３番目のオペランドの型をそれぞれ S1 と S2 とする。そして、S1 に対するボクシング変換の適用結果を T1、S2に対するボクシング変換の適用結果を T2 とする。この条件式の型は、lub(T1, T2)*1 (§15.12.2.7*2）に対する補足変換（§5.1.10）の適用結果となる。
となっていることに基づきます。
ただ、これは Java5 以降で可能になったものでした。*3
言語仕様の第２版（〜Java 1.4）まではC#と同じような仕様なので、コンパイルエラーになります。
２番目及び３番目のオペランドが異なる参照型ならば，型の一つが他の型に代入変換(5.2) によって変換可能でなければならない（変換された後の型を，ここではTと呼ぶ）。この場合，条件式の型はTとする。もしどちらの型も他方の型に代入互換でないならば，コンパイル時エラーとする。
§15.24 条件演算子？：（Java言語仕様 第２版）
仕様が変更されたのは、主にジェネリクスとオートボクシングに対応するためでしたが、その副作用で今回の例のような書き方も可能になったようです。
