合ってたらしい - しげるメモ型が合ったぁぁ - 設計と実装の狭間で。のフォローアップ。 オーバーライドの共変戻り値型と、パラメータ化型のサブタイピングを組み合わせた感じです。 共変戻り値型 8.4.8 Inheritance, Overriding, and Hiding 一言で言うと、オーバーライドしたメソッドは、親クラスのメソッドのサブタイプを返してOK。 interface A { Number f(); } interface B extends A { Integer f(); // ok } サブタイピング 4.10.2 Subtyping among Class and Interface Types 4.5.1.1 Type Argument Containment and Equivalence パラメータ化型が絡むと多少厄介です。ただ、使えると便利なのでぜひ。 まず、演算子の定義。 「U 「U <
