Java가이 코드를 typecheck 할 수없는 이유는 무엇입니까?

Question

단어 스트림을 사용하여 일부 작업을 수행하는 스트림 처리 코드가 있는데 단어를 키로 사용하고 단어 수가 출제 횟수가 Long 인 Map으로 줄입니다. 코드의 간결함을 위해 의 Seq 클래스를 사용했으며, 여기에는 여러 가지 유용한 바로 가기 메서드가 포함되어 있습니다. 나는이처럼 작성하는 경우

코드는 잘 컴파일 :

item.setWordIndex (
     getWords (item)      // returns a Seq<String> 
       .map (this::removePunctuation) // String -> String 
       .map (stemmer::stem)   // String -> String 
       .groupBy(str -> str, Collectors.counting())); 

그러나, 나는 함께 str -> str 람다를 교체하려고하면 더 자기 문서화 Function::identity을, 나는 다음과 같은 오류를 얻을 :

을 (Map<Object,Long>)
유형 Function이를 정의하지 않습니다

유형 MyClass의 방법 setWordIndex(Map<String,Long>)는 인수 적용 할 수 없습니다 나는 (아마도 순진) 가정하는

왜 Function::identity는 str -> str 다르게 어떤 행동 않습니다 여기에 적용직접 해당하는, 그리고 그것을 사용하는 경우 왜 컴파일러는 그것을 처리 할 수 ​​있습니까?

(그리고 그래, 나는이 groupBy 작업에 이전 map 응용 프로그램을 이동하여 식별 기능을 제거 할 수 있습니다 알고 있어요,하지만 더 직접 응용 프로그램 논리를 다음과 때문에,이 같은 코드를 명확하게 찾을 수)

Answer 1

당신은 (A Function<T, T>를 반환하는) Function.identity()를 원합니다 (SAM 유형 Supplier<Function<T, T>> 일치)하지 Function::identity.

다음 코드는 잘 컴파일 :

의

static String removePunctuation(String x) { return x; } 
static String stem(String x) { return x; } 

// ... 

final Map<String, Long> yeah = Seq.of("a", "b", "c") 
     .map(Test::removePunctuation) 
     .map(Test::stem) 
     .groupBy(Function.identity(), Collectors.counting()); 

Answer 2

두 가지 유형간에 약간의 차이가 있습니다. 이들은 직접 상응하지 : 해당 유형 Function<T, T> 때문에

• Function.identity()는 입력 유형을 리턴한다;
• str -> str은 더 넓은 유형을 반환 할 수 있습니다. 실제로는 Function<? extends T, T>입니다.