奇妙なジェネリックのJavaメソッドのオーバーライドエラー

Question

私はjavaで奇妙なジェネリックを試しています。次のコードでは、fooのオーバーライドは機能しますが、barのオーバーライドは機能しません。なぜか分からない。

2つのオーバーライドの唯一の違いは、MBの制約にあることに注意してください。 fooを無効にすると、MBはAlpha<B, MB>に拡張され、機能します。 barMBをオーバーライドすると、Beta<B, MB>がAlpha<B, MB>に拡張されても、Beta<B, MB>が拡張され、機能しません。

MB extends Beta<B, MB>とBeta<A, MA> extends Alpha<A, MA>は、MB extends Alpha<B, MB>を意味すると思います。ではなぜそれは機能しませんか？

import java.util.function.Function; 

abstract class Alpha<A, MA extends Alpha<A, MA>> { 
    abstract public <B, MB extends Alpha<B, MB>> MB foo(Function<A, B> f); 
    abstract public <B, MB extends Alpha<B, MB>> MB bar(Function<A, B> f); 
} 

class Beta<A, MA extends Beta<A, MA>> extends Alpha<A, MA> { 
    @Override public <B, MB extends Alpha<B, MB>> MB foo(Function<A, B> f) { return null; } 
    @Override public <B, MB extends Beta<B, MB>> MB bar(Function<A, B> f) { return null; } 
} 

Answer 1

差が制約MB extends Beta<B, MB>がMB extends Alpha<B, MB>と同じではないということです。したがって、barメソッドをオーバーライドしていません。

the error message saysのように：だから

Main.java:10: error: name clash: <B#1,MB#1>bar(Function<A#1,B#1>) in Beta and <B#2,MB#2>bar(Function<A#2,B#2>) in Alpha have the same erasure, yet neither overrides the other 
    @Override public <B, MB extends Beta<B, MB>> MB bar(Function<A, B> f) { return null; } 

、あなたはBeta.barが本当にAlpha.barを上書きしないように、あなたの一般的な制約を変更する必要があります。

Answer 2

私は、MBはベータ版< Bを拡張することを期待し、MB >とベータ< A、MA >はアルファ< A、MA >はMBがアルファ< B、MB >を拡張暗示する拡張。 Beta<A, MB>を拡張することすべてがMBもAlpha<A, MB>を拡張

上記の文は正しいですが

は、それは問題ではありません。 2つのメソッドのシグネチャ

abstract public <B, MB extends Alpha<B, MB>> MB bar(Function<A, B> f); 

と

public <B, MB extends Beta<B, MB>> MB bar(Function<A, B> f); 

は、実際に異なっています！これらのメソッドは異なる引数を受け入れます。私がclass Gamma<A, MA extends Gamma<B, Gamma>> extends Alpha<A, MA>を持っていたとします。抽象クラスAlphaの指定により、のオブジェクトはAlphaのサブクラスであるため、barはオブジェクトGammaを返すことができます。しかし、の "オーバーライド"バージョンではBetaのタイプはGammaがBetaのサブクラスではないため、タイプGammaを返すことができませんでした。したがって、これらの2つのメソッドシグネチャは、実際には異なる動作をし、無効な無効化を無効にします。