Błąd wnioskowania typu 8 Java, przypisanie wyrażenia lambda do zmiennej typu Obiekt

Question

Dlaczego kompilator Javy narzeka na pierwsze stwierdzenie, ponieważ wyrażenie () -> "" nie ma określonego typu, tzn. Może to być Supplier <String> lub niestandardowy typ interfejsu funkcjonalnego, itp ...?

Object emptyStringBuilder =() -> ""; // causes compiler error 

Object emptyStringBuilder = (Supplier<String>)() -> ""; 

Czy mógłbyś szczegółowo wyjaśnić przyczyny?

Answer 1

typu wnioskowanie do wyrażenia lambda dzieje od rodzaju docelowej, czyli kiedy piszesz coś takiego na przykład:

() -> ""; 

czyli rzeczywiście Supplier (do ciebie, a nie kompilator) ale co jeśli mam typ zadeklarowany tak:

static interface Producer<T> { 
    T produce(); 
} 

oznacza to, że lambda może być Producer lub Supplier. Dlatego przypisanie musi być do @FunctionalInterface (lub rzutowania), aby możliwe było wnioskowanie o typie.

W JLS Są one definiowane jako wyrażenia poli (zależą od kontekstu, w którym zostały one użyte - jak generycznych referencyjną metodą, operator trójskładnikowy)

Answer 2

Implementacja wyrażeń Lambda @FunctionalInterface - interfejs z tylko jedną publiczną metodą niestatyczną i inną niż domyślna. W pierwszym przypadku kompilator dostaje typ od lewej strony - Object, ponieważ nie może wywnioskować typu twojego wyrażenia lambda. Kompilator nie wybierze dla ciebie żadnego interfejsu. I Object nie implementuje funkcjonalnego interfejsu, więc kompilator narzeka na tę sytuację.

W drugim przypadku korzystania funkcjonalny interfejs Supplier<T> i przypisać go do Object który jest poprawny pod względem kompilacji - kompilator zaspokoić bo oddasz swój specyficzny typ (Supplier<T> w tym przypadku) do najbardziej ogólnego Object (każdy klasa dziedziczy po klasie Object).