このJava関数はどこからジェネリック型を推測しますか？

Question

一般的なコードが少し見つかりましたが、実際にどのように動作するかはわかりませんでした。 これは、単純化された例ですが、これが有効なJavaコードであるかどうかまだ分かりません。あなたはTが何にもをバインドされていない書いたコードで

public static void main(String[] args) { 
    System.out.print(get()); 
} 

public static <T> T get() 
{ 
    return (T) getObj(); 
} 

public static Object getObj() 
{ 
    return Boolean.FALSE; 
} 

Answer 1

です。

ただし、型推論は戻り値が変数に割り当てられている場合にのみ戻り型に適用されます。そうでない場合 方法の結果は、それが、次に、割当て変換の対象となるコンテキストで発生した場合これはspec

で記述されている[...]

、常になる未解決の型パラメータObject。
print(Object)オーバーロードがあるため、この例では問題なく動作します。一方

は、このコードを見て：コンパイラはprint()を見る前にObjectを返すようget()推測するため

print(get()); 

public void print(Boolean x) { } 

public <T> T get() { 
    return (T) Boolean.FALSE; 
} 

これは、コンパイルエラーになります。

Answer 2

。 Javaは、getメソッドを呼び出すたびにTに型を割り当て、戻ってくることを期待している型を調べますが、それはあなたが明示的にどの型を待っているのかを明示的に宣言した場合にのみ有効です。次の例を見てみましょう。一方

public static void jump(String a) { 
} 

public static <T> T get() { 
    return (T) null; 
} 

public static void main(String[] args) { 
    //This works quite well, generic parameter T is inferred to be String 
    String blah = get(); 
    jump(blah); 
} 

public static void jump(String a) { 
} 

public static <T> T get() { 
    return (T) null; 
} 

public static void main(String[] args) { 
    //This doesn't work, Java does not bind T to anything hence Object is used... and no jump for object is found 
    jump(get()); 
} 

少なくとも、これは型推論は、呼び出し場所に基づいて起こることは、Java 6の上にどのように動作するか