Javaのパラメータ化メソッドの戻り値の型は

Question

は、次のコードを考えてみましょう2ウェイ：

(new MyClass()).<ExtType>foo(ExtType.class); 

興味深いことに、メソッドがパラメータ化されて宣言されていても、Eclipseは に対して1回の呼び出しで警告を発行しません。ここで

はT秒の戻り値をキャストに使用されている最初のコードスニペットで、私の質問です。 パラメータはT、戻り値はTですか？戻り値の型を明示的に指定しないと（「1ウェイ」のように）警告が出されないのはなぜですか？

Answer 1

は、通常、パラメータの型が使用されているが、（方法2のように）定義された戻り値の型がある場合、コンパイラは同様のことをチェックします。その後、型推論と呼ばれる、からTの種類を取得するには何のパラメータがない場合

戻り値の型宣言は必要であろう。したがって、あなたも書くことができます：あなたは、コンパイラを助け、(new MyClass()).<ExtType>foo(ExtType.class);のようなコードを取得するために使用するタイプを指定する必要がありますいくつかのケースでは

public <T extends MyType> T foo() { 
    return (T)myField; 
} 


ExtType t = (new MyClass()).foo(); 

を。ただし、異なるタイプを定義するとします（例： (new MyClass()).<MyType>foo(ExtType.class);の場合、コンパイラはどのコンパイラが使用されているか分からないので、コンパイル時エラーが発生します。

Answer 2

あなたは関数宣言で「T」を定義します。また、Tは、それが保持し、リターンタイプかを定義します。あなたの場合、パラメータを渡して、同じ戻り値の型を予期していて、 'T'をExtTypeの拡張として宣言しています。したがって、eclipseは警告を生成しません。