jdk6 に関する素晴らしい本「Java scjp 認定のプログラマー ガイド」を読んでいて、ジェネリック オーバーライドに関するセクションがあります。その上で、サブシグネチャと同等のオーバーライドについて説明し、引用した同等のオーバーライドの例をいくつか説明します。
クラスに次の 3 つのジェネリック メソッド宣言があるとします。
static <T> void merge (MyStack<T> s1, MyStack<T> s2) { /*...*/ }
static <T> void merge (MyStack<T> s1, MyStack<? extends T> s2) { /*...*/ }
static <T> void merge (MyStack<T> s1, MyStack<? super T> s2) { /*...*/ }消去後、3 つのメソッドすべてのシグネチャは次のようになります。
merge(MyStack, MyStack)つまり、メソッドのシグネチャはオーバーライドと同等であるため、これらのメソッドはオーバーロードされません。
これらのメソッドがオーバーライドと同等であることに完全に同意するわけではありません。実際、メソッドには「消去による名前の衝突」があると思いますが、他のメソッドのサブシグネチャではありません…おそらく間違っているので、これについて少し説明したいと思います。
サブ署名の定義は、それらの間のサブ署名ではないと私に思わせます。
JSL 6 #8.4.2 メソッド署名 ( http://docs.oracle.com/javase/specs/jls/se6/html/classes.html#8.4.2 )
名前と引数の型が同じである場合、2 つのメソッドは同じシグネチャを持ちます。次の条件がすべて満たされる場合、2 つのメソッドまたはコンストラクタ宣言 M と N は同じ引数の型を持ちます。
彼ら。同じ数の仮パラメータを持つ (おそらくゼロ)
それらは同じ数の型パラメーターを持っています (おそらくゼロ)
<A1,...,An>M の正式な型パラメーターを とし、 N<B1,...,Bn>の正式な型パラメーターとする。メソッド m1 の署名は、m2 が m1 と同じ署名を持っているか、m1 の署名が m2 の署名の消去と同じである場合、メソッド m2 の署名のサブ署名です。
...2 つのメソッド シグネチャ m1 と m2 は、m1 が m2 のサブシグネチャであるか、m2 が m1 のサブシグネチャである場合、オーバーライド等価です。
JSL 8 # 8.4.2。メソッド署名 ( http://docs.oracle.com/javase/specs/jls/se8/html/jls-8.html#jls-8.4.2 )
2 つのメソッドまたはコンストラクター M と N は、同じ名前、同じ型パラメーター (存在する場合) (§8.4.4) を持ち、N の仮パラメーター型を型パラメーターに適合させた後、同じシグネチャを持ちます。 M の、同じ仮パラメーター型。
次のいずれかの場合、メソッド m1 の署名は、メソッド m2 の署名のサブ署名です。
m2 が m1 と同じ署名を持っている、または
m1 の署名は、m2 の署名の消去と同じです。
2 つのメソッド シグネチャ m1 と m2 は、m1 が m2 のサブシグネチャであるか、m2 が m1 のサブシグネチャである場合、オーバーライド等価です。
編集1
簡単に言えば、私の疑問は、消去に関するサブ署名の定義から、「消去のない1つの署名は、他の署名からの消去と等しい」..「消去後の両方の署名が等しい」ということではない..その微妙ですが重要です（ちなみに、オーバーライドと同等の定義はサブシグネチャの定義に基づいているため、サブシグネチャに関して質問します）