Java 8型推論エラー、オブジェクト型の変数にラムダ式を代入する

Question

Javaコンパイラが最初のステートメントについて不平を言っているのはなぜですか？式() -> ""には明確な型がないので、Supplier <String>またはカスタム機能のインターフェイスの種類、など...？

Object emptyStringBuilder =() -> ""; // causes compiler error 

Object emptyStringBuilder = (Supplier<String>)() -> ""; 

正確な原因を詳細に教えてください。

Answer 1

ラムダ式の型推論を使用すると、たとえば、このような何かを書くときつまり、ターゲット・タイプから起こる：

() -> ""; 

確かに（あなたにではなく、コンパイラ）Supplierすなわち、 しかし、私はこのように宣言された型があれば何：

static interface Producer<T> { 
    T produce(); 
} 

をこれはあなたのラムダがProducerまたはことができることを意味し。したがって、型の推論が起こるように、割り当ては@FunctionalInterface（またはキャスト）にする必要があります。

Answer 2

ラムダ式は@FunctionalInterfaceを実装しています.1つのパブリックな非静的で非デフォルトのメソッドを持つインターフェイスです。最初のケースでは、コンパイラはラムダ式の型を推論することができないので、左側から型を取得します（Object）。コンパイラは、あなたのための任意のインターフェイスを選択しないでください。 Objectは機能インタフェースを実装していないので、コンパイラはこの状況について不平を言います。第2のケースで

あなたは、機能インタフェースSupplier<T>を使用すると、コンパイルの面で正しいObjectに割り当てる - あなたは（その場合にはSupplier<T>）あなたの特定の種類を投げているため、コンパイラはObject最も一般的に満足している（すべてのクラスはObjectクラスから継承します）。