Java共変戻り値メモ(Hishidama's Java covariant return type Memo)

共変戻り値型（covariant return type） 共変ってあんまり聞かない言葉だけど。 メソッドをオーバーライドした際、戻り値の型が（JDK1.4までは一致している必要があったが、JDK1.5から）サブクラスに出来るようになった。 ちなみに、共変の反対は「反変（contravariant）」と言うらしい…が、それはJavaとは無関係＾＾； 具体例（インターフェース） interface Interface { public Number getValue(); } class Implement implements Interface { public Integer getValue() { //戻り値の型にサブクラスを指定 return 123; //自動ボクシング } } この例では、インターフェースでは戻り値をNumberで宣言しているが、その実装ではNumberのサブ

[webarata3]

共変

[megascus]

“メソッドをオーバーライドした際、戻り値の型が（JDK1.4までは一致している必要があったが、JDK1.5から）サブクラスに出来るようになった。”