Java의 일부 람다 표현식에서 `Comparator.reversed()`가 컴파일 오류를 일으키는 이유는 무엇입니까?

Comparator.reversed()가 람다 표현식과 호환되지 않음

람다 표현식과 Comparator의 reversed() 메소드를 사용하여 목록을 정렬하려고 할 때 , 컴파일 오류가 발생합니다. 이 동작을 이해하려면 컴파일러의 유형 추론 메커니즘의 복잡성을 자세히 살펴보는 것이 중요합니다.

Java 컴파일러는 사용되는 컨텍스트에 따라 람다 표현식의 변수 유형을 결정합니다. 이 경우 정렬 메소드는 Comparator 유형의 인수를 기대합니다. 메서드 참조를 사용할 때 수신자 유형은 이미 알려져 있으며 이에 따라 람다 인수가 추론됩니다. 예:

userList.sort(Comparator.comparing(User::getName).reversed()); // works

그러나 람다 식을 직접 사용하는 경우 컴파일러는 람다 내의 변수 유형을 유추하는 데 어려움을 겪습니다. 람다의 대상 유형은 Comparator이며, 이는 사용자를 인수로 사용하는 함수가 필요합니다. 다음 코드에서 람다는 u를 User로 올바르게 유추합니다.

userList.sort(Comparator.comparing(u -> u.getName()).reversed()); // works

그러나 메서드 참조가 없으면 컴파일러는 기본적으로 u 유형을 Object로 유추하므로 컴파일 오류가 발생합니다.

userList.sort(Comparator.comparing(u -> u.getName()).reversed()); // Compiler error

이 문제를 해결하려면 가능하면 메서드 참조를 사용하거나 람다 내에서 매개변수 유형을 명시적으로 지정할 수 있습니다. 표현식:

userList.sort(Comparator.comparing((User u) -> u.getName()).reversed()); // works

이러한 제한은 실망스러울 수 있지만 이는 컴파일러의 유형 유추 메커니즘의 결과입니다. 향후 컴파일러 개선을 통해 이 문제가 해결될 수도 있습니다.

위 내용은 Java의 일부 람다 표현식에서 `Comparator.reversed()`가 컴파일 오류를 일으키는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!