Quy tắc đúc Lambda

Question

Tôi đã tò mò tại sao một lambda với kiểu trả về không thể được đúc thành một Runnable trong khi tham chiếu phương thức không trống có thể.

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

Giao diện Runnable xác định phương pháp run với kiểu trả về void. Trong biểu thức lambda có nghĩa là phần sau mũi tên -> phải là câu lệnh . Điều này được giải thích trong JLS §15.27.3:

Nếu kết quả của loại hàm bị vô hiệu, thân lambda là biểu thức câu lệnh (§14.8) hoặc khối tương thích khoảng trống.

JLS $14.5 xác định rõ cú pháp của câu lệnh. Như đã giải thích ở trên, nó phải là "ExpressionStatement" (§ 14.8). Nhìn vào đó, bạn có thể thấy rằng một chữ đơn giản không phải là một biểu thức đầy đủ, nhưng một lời gọi phương thức là (ngay cả khi nó trả về một cái gì đó).