Warum methodieren Referenzen mit Rückgabetypen mit der Verbraucherschnittstelle

In Java können Methodenreferenzen verwendet werden, um funktionale Schnittstellen zu erstellen. Die Verbraucherschnittstelle macht beispielsweise ein einziges Argument und führt eine Aktion aus. Überraschenderweise können Methodenreferenzen mit Rückgabetypen auch mit der Verbraucherschnittstelle übereinstimmen.

Die Entscheidung, dieses Verhalten zu ermöglichen, basiert auf der Idee, Methoden an funktionale Schnittstellen in ähnlicher Weise wie sie aufgerufen werden. Insbesondere kann jede Wertschöpfungsmethode an eine Verbraucherschnittstelle angepasst werden, auch wenn der Rückgabewert ignoriert wird.

In Bezug auf Lambda -Ausdrücke gibt es zwei Formen: (args) -> Ausdruck und (Argumente) -> {Aussagen*}. Die letztere Form kann void-kompatibel sein, wenn kein Codepfad versucht, einen Wert zurückzugeben. Die erstere Form ist wertvoll, wenn der Ausdruck einen Wert bewertet. Wenn der Ausdruck jedoch auch eine Aussage ist (z. B. ein Methodenaufruf oder Inkrement-/Dekrement-Operator), kann er void-kompatibel sein. Dies liegt daran, dass Inkrement-/Decrement -Operatoren selbst als Aussagen verwendet werden können. Ein weiterer void -kompatibler Ausdruck ist S -> Neue, was auch immer (s) als Ausdrücke der Klasseninstanzkreation auch als Aussagen verwendet werden können.

Interessanterweise ist (arg) -> methodreturningvoid (arg) das einzige Ausdrucksformular, das nicht wertkompatibel ist.