このジェネリックの使用で、より正確な戻り値の型を許可する方法は？

Question

私はJavaで「動的Enum」のようなものをモデリングしようとしています。許容値の集合を表す汎用インタフェースDomainと、特定の値を表すインタフェースPointがある。このように：

public interface Domain<D extends Domain<D>> { 

    Set<Point<D>> points(); 

} 

public interface Point<D> { // D works a bit like a phantom type 

    public D type(); 

} 

私の意図は、静的に異なるDomainタイプからPoint秒の不慮の混入を禁止することです。

public final class Symbols implements Domain<Symbols> { 

    final Set<Point<Symbols>> symbols = new HashSet<>(); 

    public Symbols(final Set<String> values) { 
     super(); 
     for (String value : values) { 
      this.symbols.add(new SymbolPoint(value)); 
     } 
    } 

    @Override 
    public Set<Point<Symbols>> points() { 
     return symbols; 
    } 

    public class SymbolPoint implements Point<Symbols> { 

     private final String symbol; 

     ... 
    } 
} 

OK動作しているようですが、今私はバリケードを打ってきました：

は、私は次のDomain実装を持っています。 points()メソッドSymbolsにタイプSet<SymbolPoint>を返すようにします。 Set<SymbolPoint>はSet<Point<Symbols>>のサブタイプではないため、どちらの方法も機能しません。それを動作させるには？

Answer 1

インターフェイスDomainは、pointsメソッドでワイルドカードを受け入れる必要があります。

interface Domain<D extends Domain<D>> { 

    Set<? extends Point<D>> points(); 

} 

あなたは今Symbols#pointsにSet<SymbolPoint>にSet<Point<Symbols>>を変更することができます。