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のサブ
Java総称型のワイルドカードを上手に使いこなすための勘所 - 達人プログラマーを目指して
Java5以降では総称型（generics）がJava言語に導入されています。総称型自体は、最近の静的な型付けのプログラミング言語で珍しいことではなく、現在の最新版では.NETのC#やVisual Basicにも導入されています。一般的には総称型をサポートするクラスライブラリを自分で正しく定義することは非常にスキルがいるが、事前に定義されたクラスを使うだけであれば、それほど難しくないとされています。しかし、Java言語の総称型は本エントリで説明するように特殊なところがあり、単に利用するだけでも他の言語に比べて遥かに難しいところがあるというのも事実です。特に総称型をパラメータ化する際に指定するワイルドカード型（List<? extends Serializable>など)の意味を正しく理解して使いこなすことは簡単なことではありません。その結果、昔のJDK1.4までのように型パラメーターのない
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
