なぜこのコードはjdk8u45以上でコンパイルされますが、jdk8u25ではコンパイルされませんか？

Question

次のコードがjdk8u45以上でコンパイルされますが、なぜjdk8u25で失敗するのか理解してもらえますか？ JDKのリリースノートを調べましたが、問題に関連するものや見つからなかったものは見つかりませんでした。

コード

public class Main { 

    static class Param { 
     final int id; 

     Param(int id) { 
      this.id = id; 
     } 
    } 

    static class Subtask { 
     final Param param; 

     Subtask(Param param) { 
      this.param = param; 
     } 
    } 

    public static void main(String[] args) { 
     List<? extends Param> params = IntStream.range(1, 100).mapToObj(Param::new).collect(Collectors.toList()); 
     NavigableMap<String, Subtask> map = params.stream() 
       .collect(Collectors.toMap(p -> UUID.randomUUID().toString(), Subtask::new, (a, b) -> a, TreeMap::new)); 
    } 
} 

jdk8u25例外：

Error:(33, 17) java: no suitable method found for collect(java.util.stream.Collector<org.ka.Main.Param,capture#1 of ?,java.util.TreeMap<java.lang.String,org.ka.Main.Subtask>>) 
    method java.util.stream.Stream.<R>collect(java.util.function.Supplier<R>,java.util.function.BiConsumer<R,? super capture#2 of ? extends org.ka.Main.Param>,java.util.function.BiConsumer<R,R>) is not applicable 
     (cannot infer type-variable(s) R 
     (actual and formal argument lists differ in length)) 
    method java.util.stream.Stream.<R,A>collect(java.util.stream.Collector<? super capture#2 of ? extends org.ka.Main.Param,A,R>) is not applicable 
     (cannot infer type-variable(s) R,A,capture#3 of ?,T,K,U,M,K,V 
     (argument mismatch; java.util.stream.Collector<capture#2 of ? extends org.ka.Main.Param,capture#4 of ?,java.util.TreeMap<java.lang.Object,org.ka.Main.Subtask>> cannot be converted to java.util.stream.Collector<? super capture#2 of ? extends org.ka.Main.Param,capture#4 of ?,java.util.TreeMap<java.lang.Object,org.ka.Main.Subtask>>)) 

Answer 1

私は8u5と8u25の間のどこか壊れ、8u40に固定した型推論と同様の問題を抱えていました。 8u40のバグ修正リストには、 nested lambda bodies incorrectly ruling out some methods in overload resolutionと関係があるいくつかのjavacの修正があります。これはあなたの問題だと思います。

以下は、all bug fixes in 8u40の一覧です。