ラムダキャスティングのルール

Question

戻り値の型を持つラムダをRunnableにキャストできないのはなぜか分かりませんでしたが、非voidメソッドの参照はできません。

Runnable r1 =() -> 1; // not allowed 
// error: incompatible types: bad return type in lambda expression 
// int cannot be converted to void 

Runnable r2 = ((Supplier)() -> 1)::get; // allowed 

Answer 1

Runnableインタフェースは戻り型空隙でrun方法を定義します。ラムダ式では、矢印->に続く部分はステートメントでなければならないことを意味します。これはJLS §15.27.3で説明されています

関数型の結果が無効である場合には、ラムダ本体がステートメント式（§14.8）または無効互換のブロックのいずれかです。

JLS $14.5は、文の構文を明確に定義しています。上で説明したように、 "ExpressionStatement"（§ 14.8）でなければなりません。そこを見ると、単純なリテラルは適切な式ではないが、メソッド呼び出しは（たとえそれが何かを返すとしても）であることがわかる。