Warum stimmen Java-Methodenreferenzen mit Rückgabetypen scheinbar mit der Verbraucherschnittstelle überein?

Verstehen der Kompatibilität von Methodenreferenzen mit der Verbraucherschnittstelle

Trotz des Titels: „Warum stimmt eine Java-Methodenreferenz mit Rückgabetyp mit dem Verbraucher überein?“ Schnittstelle?“, verfügen Lambda-Ausdrücke und Methodenreferenzen über eine komplexe Beziehung, die über den bloßen Typvergleich hinausgeht. Lassen Sie uns in dieses Thema eintauchen und die damit verbundenen Feinheiten klären.

Beim Definieren eines Lambda-Ausdrucks mit einem Rückgabetyp, wie z. B. lambda1 und lambda2 im Codebeispiel, hält er sich an die Typsignatur der funktionalen Schnittstelle, die er implementiert. Der überraschende Fall tritt jedoch bei Methodenreferenzen auf.

Betrachten Sie Lambda3 und Lambda4, die auf die Methode „consume“ verweisen. Intuitiv könnten wir erwarten, dass Lambda3 aufgrund der Nichtübereinstimmung zwischen dem Rückgabetyp von Consumer (String) und dem erwarteten Rückgabetyp „void“ der Consumer-Schnittstelle fehlschlägt. Anstatt jedoch zu scheitern, ist Lambda3 erfolgreich.

Die Antwort liegt im Designprinzip hinter Methodenreferenzen. Ihr Ziel ist es, die Anpassung von Methoden an funktionale Schnittstellen zu ermöglichen, unabhängig von ihren Rückgabewerten. In diesem Fall wird der Rückgabewert (String) der Consumer-Methode scheinbar ignoriert, sodass sie den Void-Anforderungen der Consumer-Schnittstelle entsprechen kann.

Interessanterweise gilt das gleiche Prinzip für Lambda-Ausdrücke. Die Lambda-Form (args) -> Ausdruck ist nur dann wertkompatibel, wenn der Ausdruck zu einem Nicht-Anweisungswert ausgewertet wird. Wenn der Ausdruck jedoch selbst eine Anweisung ist (z. B. Methodenaufruf, Inkrementieren/Dekrementieren), wird er void-kompatibel. Somit stellt konsumieren eine gültige, mit Leere kompatible Form dar.

Als bemerkenswerte Ausnahme ist die Form (arg) -> methodReturningVoid(arg) ist der einzige Ausdruck, dem die Wertekompatibilität fehlt. Das Verständnis dieser Komplexität verbessert unser Verständnis der Lambda-Ausdrücke und Methodenreferenzen von Java und ermöglicht es uns, ihre Fähigkeiten effektiv zu nutzen.

Das obige ist der detaillierte Inhalt vonWarum stimmen Java-Methodenreferenzen mit Rückgabetypen scheinbar mit der Verbraucherschnittstelle überein?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!