Lambdas, die nur aus einem Statement bestehen, und ohne {} geschrieben werden, werden falsch geparst #17

New Issue

fayez.abu-alia · 2017-11-06T23:19:59Z

fayez.abu-alia commented

2017-11-06 23:19:59 +00:00

Z.B: Runnable lam = () -> System.out.println("lambda");
wird als Return-statement geparst.
Aber Runnable lam = () -> {System.out.println("lambda");};
wird richtig geparst.
Obwohl beide gleich sind.

Z.B: Runnable lam = () -> System.out.println("lambda"); wird als Return-statement geparst. Aber Runnable lam = () -> {System.out.println("lambda");}; wird richtig geparst. Obwohl beide gleich sind.

stan commented

2018-01-10 11:05:09 +00:00

Der Fall:
lam = () -> expr;
ist syntactic sugar und steht eigentlich für:
lam = () -> {return expr;}

Der Java-Compiler kann feststellen, ob der body eines Lambda Ausdrucks einen Wert oder Void zurückgibt (siehe 1)
Unser Compiler kann das zum Zeitpunkt des parsens nicht. Beispiel:

class A{
void m(){}
}
class B{
Integer m(){return 1;}
}
[...]
lam = () -> a.m(); // Hier ist unklar, ob A.m() oder B.m() aufgerufen wird

Wir können nicht feststellen, ob ein Lambda-Ausdruck:
lam = () -> expr;
nun zu lam = () -> { return expr; } oder zu lam = () -> { expr; } geparst werden soll

Der Fall: lam = () -> expr; ist syntactic sugar und steht eigentlich für: lam = () -> {return expr;} Der Java-Compiler kann feststellen, ob der body eines Lambda Ausdrucks einen Wert oder Void zurückgibt (siehe [1]) Unser Compiler kann das zum Zeitpunkt des parsens nicht. Beispiel: class A{ void m(){} } class B{ Integer m(){return 1;} } [...] lam = () -> a.m(); // Hier ist unklar, ob A.m() oder B.m() aufgerufen wird Wir können nicht feststellen, ob ein Lambda-Ausdruck: lam = () -> expr; nun zu lam = () -> { return expr; } oder zu lam = () -> { expr; } geparst werden soll [1]: https://docs.oracle.com/javase/specs/jls/se8/html/jls-15.html#jls-LambdaBody

Sign in to join this conversation.