Lambda-Ausdr\u00fccke haben wie Methoden m\u00f6gliche Parameter und R\u00fcckgabe. Die Java-Grammatik f\u00fcr die Schreibweise von Lambda-Ausdr\u00fccken sieht ein paar syntaktische Abk\u00fcrzungen vor, dir wir uns nun anschauen wollen.<\/p>\n
Typinferenz<\/strong><\/p>\n Der Java-Compiler kann viele Typen aus dem Kontext ablesen, was Typ-Inferenz genannt wird. Wir kennen so etwas vom Diamanten, wenn wir schreiben List<String> list = new ArrayList<>();.<\/p>\n Statt<\/p>\n Comparator<String> c = (String s1, String s2<\/b>) -> { return s1.trim().compareTo( s2.trim() ); };<\/p>\n erlaubt der Compiler auch die Abk\u00fcrzung:<\/p>\n Comparator<String> c = (s1, s2<\/b>) -> { return s1.trim().compareTo( s2.trim() ); };<\/p>\n Die Parameterliste enth\u00e4lt also deklarierte Parametertypen oder inferred-Typen. Eine Mischung ist nicht erlaubt, der Compiler blockt so etwas wie (String s1, s2) oder (s1, String s2) mit einem Fehler ab.<\/p>\n Lambda-Rumpf ist entweder einzelner Ausdruck oder Block<\/strong><\/p>\n Besteht der Rumpf eines Lambda-Ausdrucks nur aus einem einzelnen Ausdruck, kann eine verk\u00fcrzte Schreibweise die Block-Klammern und das Semikolon einsparen. Statt<\/p>\n ‚(‚ Parameter<\/i> ‚)‘ ‚->‘ ‚{‚ Anweisungen<\/i>; ‚}‘<\/p>\n hei\u00dft es dann<\/p>\n ‚(‚ Parameter ‚)‘ ‚->‘ Ausdruck<\/p>\n Lambda-Ausdr\u00fccke mit einer return\u2013Anweisung im Rumpf kommen h\u00e4ufig vor (es entspricht den typischen Funktionen). Da ist es eine willkommene Verk\u00fcrzung, wenn die abgek\u00fcrzte Syntax f\u00fcr Lambda-Ausdr\u00fccke lediglich den Ausdruck fordert, der dann die R\u00fcckgabe bildet.<\/p>\n Drei Beispiele: <\/p>\n Lange Schreibweise<\/b><\/p>\n<\/td>\n Abk\u00fcrzung<\/b><\/p>\n<\/td>\n<\/tr>\n (s1, s2) -> { return s1.trim().compareTo( s2.trim() ); }<\/p>\n<\/td>\n (s1, s2) -> s1.trim().compareTo( s2.trim() )<\/p>\n<\/td>\n<\/tr>\n (a, b) -> { return a + b; }<\/p>\n<\/td>\n (a, b) -> a + b<\/p>\n<\/td>\n<\/tr>\n () -> { System.out.println(); }<\/p>\n<\/td>\n () -> System.out.println()<\/p>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n Ausdr\u00fccke k\u00f6nnen in Java auch zu void ausgewertet werden, sodass ohne Probleme ein Aufruf wie System.out.println() in der kompakten Schreibweise ohne Block gesetzt werden kann.<\/p>\n Ob Lambda-Ausdr\u00fccke eine R\u00fcckgabe geben, dr\u00fccken zwei Begriffe aus:<\/p>\n \u00b7 Der Rumpf kann in Anweisungen enden, die nichts zur\u00fcck geben. Das nennt sich void-kompatibel.<\/p>\n \u00b7 Der Rumpf beendet den Block mit einer return-Anweisung, die einen Wert zur\u00fcckgibt. Das nennt sich Wert-kompatibel.<\/p>\n Eine Mischung aus void- und Wert-kompatibel ist nicht erlaubt und f\u00fchrt wie bei Methoden zu einem Compilerfehler.[1]<\/a><\/p>\n Einzelner Identifizierer statt Parameterliste und Klammern<\/strong><\/p>\n Besteht die Parameterliste nur aus einem einzelnen Identifizierer und ist der Typ durch Typ-Inferenz klar, k\u00f6nnen die runden Klammen wegfallen. <\/p>\n Lange Schreibweise<\/b><\/p>\n<\/td>\n Typen inferred<\/b><\/p>\n<\/td>\n Vollst\u00e4ndig abgek\u00fcrzt<\/b><\/p>\n<\/td>\n<\/tr>\n (Sting s) -> s.length() <\/p>\n<\/td>\n (s) -> s.length() <\/p>\n<\/td>\n s -> s.length()<\/p>\n<\/td>\n<\/tr>\n (int i) -> Math.abs( i )<\/p>\n<\/td>\n (i) -> Math.abs( i )<\/p>\n<\/td>\n i -> Math.abs( i )<\/p>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n Kommen alle Abk\u00fcrzungen zusammen, l\u00e4sst sich etwa die H\u00e4lfe einsparen. Aus (int i) -> { return Math.abs( i ); } wird dann i -> Math.abs( i ).<\/p>\n\n\n
\n \n \n \n \n \n \n \n \n \n \n \n \n\n
\n \n \n \n \n \n \n \n \n \n \n \n
\n