ジェネリック型パラメータはエラーを与えるが、ワイルドカードタイプのパラメータは、次のタイプは、任意のコンパイラの警告を生成しませんしませ

Question

ん：

public abstract <T extends BaseType> Class<T> getSubclassType(); 

    @Override 
    public <T extends BaseType> Class<T> getSubclassType() { 
     return (Class<T>) SubType.class; 
    } 

：

public abstract Class<? extends BaseType> getSubclassType(); 
@Override 
    public Class<SubType> getSubclassType() { 
     return SubType.class; 
    } 

以下の具体的な方法は、未チェックのキャストコンパイラの警告を生成しますコンパイラーの警告を生成せずに、サブクラスに適切な具体的な型を返す（基本クラスの）汎用型パラメーターでメソッドを定義する方法はありますか？明らかに、私が上で与えた両方の例はうまくいくでしょう、私はメソッドを定義するより正確な方法があるかどうかを知りたいだけです。注：私は、私は次の操作を行うことができることを知っていますか：

public abstract class BaseClass <T extends BaseType> 
public abstract Class<T> getSubclassType(); 

ジェネリック型を持つメソッドヘッダ自体を、定義する方法があるかどうか、私はクラスでそれを定義せず、疑問に思って。また、なぜワイルドカード宣言に警告と警告が与えられていないのですが、「同等の」総称宣言がなぜ好奇心が強いのですか？

Answer 1

2つは非常に異なります。最初のもので

、呼び出し側は返されClassの型引数が何であるかを知りません。呼び出し元は、その型引数が何であるかについて何も仮定することができません。それ以外には、BaseTypeを拡張します。このメソッドは、タイプ引数がBaseTypeの任意のサブタイプであるClassを返すことを選択できます。第2のケースで

、この方法は、一般的な方法であり、Tメソッドの型変数です。つまり、呼び出し元はTを選択して、希望するものにすることができ、そのメソッドがそのタイプのTで魔法のように動作すると期待します。特に、この方法は、その方法がTがすべてであるものについて、実行時に任意の情報を持っていないことを意味し、それにもかかわらず、何とかClass<T>を返す方法を見つけ出す必要があり、任意の引数を受け取りません。明らかに、これは常にnullを返さない限り不可能です。ワイルドカードの例で