Java再帰ジェネリックとワイルドカード

Question

こんにちは、私はJavaと再帰ジェネリックでワイルドカードを使用する質問があります。私は、次のインターフェイス

public interface Recursive<R extends Recursive<R>> {} 

と私は私がしたい、そのクラスでこの

public interface Base<R extends Recursive<R>> { 
    Use<R>[] getUses(); 
} 

のように見え、ベースのインタフェースを持っている今、再帰的なインターフェース

public interface Use<R extends Recursive<R>> {} 

を使用する別のintrfaceを持っていますそのようなワイルドカードを使用する派生クラスです。

public class Derived extends Base<Recursive<?>> { 
    Use<?>[] getUses(); 
} 

これは許可されていませんが、私のジェネリックタイプはすべて適切なものであると言うことができますか？

Answer 1

Baseの型パラメータの制約を満足しないという問題があります。問題はRecursive<?>がBaseの型パラメータの制約を満たさないことです。

Base<R>を延長する場合は、Rに何かを指定する必要があります。Recursive<R>です。コンパイラがRecursive<?> extends Recursive< Recursive<?> >を見つけられないので、Recursive<?>は十分ではありません。

それは本当に未知のタイプのBaseを延長しても意味がありませんが、あなたはそれらの異種コレクションを宣言することができます：私たちはBaseが

public abstract class Base< R extends Recursive<R> > { 
    public abstract R[] foo(); 
} 

ようになります知っているあなたのコメントから

Collection< Base<?> > cb; // ok for some reason 
Collection< Base< Recursive<?> > > cbr; // not ok! 

を

各資格についてRを行うことができます。

public class Derived< R extends Recursive<R> > extends Base<R> { 
    @Override public R[] foo() { 
     return (R[])new Object[] { r1, r2 }; 
    } 
} 

あなたのコメントから、これがあなたの望むものであることは明らかではありません。特定のRがDerivedにはどのようなものを使用したいのですか？

編集以下のコンパイル。これで十分だろうか？最初の投稿に変更するために調整

interface Recursive< R extends Recursive<R> > {} 
abstract class Base< R extends Recursive< ? extends R > > { 
    abstract public R[] foo(); 
} 
class Derived extends Base< Recursive<?> > { 
    public Recursive<?>[] foo() { return null; } 
} 

EDIT 2：

あなたのサブクラス（バインド右に）入力する必要があり

interface Recursive< R extends Recursive<R> > {} 
interface Use< R extends Recursive< ? extends R > > {} 
abstract class Base< R extends Recursive< ? extends R > > { 
    abstract public Use<R>[] foo(); 
} 
class Derived extends Base< Recursive<?> > { 
    @Override public Use< Recursive<?> >[] foo() { return null; } 
} 

Answer 2

が、そうでない場合、コンパイラは、ワイルドカードと主張することはできませんあなたのメソッドが返すものと同じタイプのです。これは必須です。

これを試してみてください：

public class Derived<R extends Recursive<R>> extends Base<R> { 
    Use<R>[] getUses(); 
}