Java 8의 `Comparator.reversed()`로 인해 유형 추론이 람다 표현식과 충돌하는 이유는 무엇입니까?

유형 추론 충돌로 인해 역방향 람다 비교기가 방해됨

널리 사용됨에도 불구하고 Java 8의 Comparator.reversed() 메소드는 결합 시 컴파일 장애를 일으킵니다. 람다 표현식을 사용하면 다음과 같이 됩니다. 오류:

com\java8\collectionapi\CollectionTest.java:35: error: cannot find symbol
            userList.sort(Comparator.comparing(u -> u.getName()).reversed());
                                                     ^
symbol:   method getName()
location: variable u of type Object
1 error

이 문제는 컴파일러 유형 유추 메커니즘의 제한으로 인해 발생합니다. Comparator.comparing()과 함께 람다 표현식을 사용하는 경우 매개변수 유형을 유추하려면 대상 유형이 필요합니다. 첫 번째 예에서 u는 다음 대상 유형으로 인해 User 유형으로 결정됩니다.

Comparator.comparing() -> Function<User, User.getName()> -> User

그러나 reversed()가 도입되면 대상 유형이 중단되고 컴파일러는 더 이상 올바른 유형을 추론합니다.

이 문제를 해결하려면 추가 유형을 제공하는 메소드 참조를 사용할 수 있습니다. 정보:

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

또는 람다에서 명시적인 매개변수 유형을 지정할 수도 있습니다.

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

향후 컴파일러 개선을 통해 이러한 유형 추론 장애가 해결될지는 두고 볼 일입니다.

위 내용은 Java 8의 `Comparator.reversed()`로 인해 유형 추론이 람다 표현식과 충돌하는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!