enhanced-forステートメントがラムダのタイプを推論できないのはなぜですか？

Question

try-with-resourceステートメントはラムダのタイプを推論できます。

try (Closeable 最後に実行 =() -> System.out.print("終了")) { 
    System.out.println("開始"); 
} 

しかし、enhanced-forステートメントはできません。

Iterator<String> 繰り返し = Arrays.asList("いち", "に", "さん").iterator(); 
for (String 文字列 :() -> 繰り返し) // compile error! 
    System.out.println(文字列); 

このように記述する必要があります。

Iterator<String> 繰り返し = Arrays.asList("いち", "に", "さん").iterator(); 
for (String 文字列 : (Iterable<String>)() -> 繰り返し) 
    System.out.println(文字列); 

なぜですか？

Answer 1

TRY-と-resorceあなたが期待される結果の型宣言しているので、推測することができます。

try (Closeable 最後に実行 =() -> System.out.print("終了")) { 
    ^^^^^^^^^ 

のjavacこのラムダがCloseableに変換する必要があることを、その変数の割り当てからターゲット・タイプを知っています。しかし、そのようなターゲットタイプの情報はありません。複数のターゲット・タイプがあるかもしれません。もちろん

public interface StringIterable extends Iterable<String>

public interface WeridIterable extends Iterable<String>

の

• Iterable<String> ...

あなたが明示的に与えなければならないので、可能なターゲットタイプの任意の数がありますが、あなたはtry-with-resourceの場合のように、(Iterable<String>)を使用します。