Java 16中为何无法使用Stream#toList收集实现类对应的接口类型列表

Stream<T>的toList()是实例方法，返回值类型固定为List<T>，完全绑定流的泛型参数类型。示例中Stream.of(new FancyDodo())会被编译器推断为Stream<FancyDodo>类型，因此toList()的返回值就是List<FancyDodo>。Java泛型是不变的，List<FancyDodo>和List<Dodo>不存在继承关系，因此直接赋值会编译失败。

而Collectors.toList()可以正常赋值的原因是，collect方法支持目标类型推断：collect(Collector<? super T, A, R> collector)的返回类型R可以根据左侧接收变量的类型推断，编译器会自动把泛型参数向上抬到Dodo，因此可以正常生成List<Dodo>类型的结果。

不需要手动强转每个元素，推荐以下两种写法：

• 构造流时显式指定泛型上限
  直接声明流的元素类型为接口类型，没有任何额外运行开销：

  final List<Dodo> noFancyDodos = Stream.<Dodo>of(new FancyDodo()).toList();
  

• 用map做安全向上转型
  语义更清晰，适合流生成逻辑不能直接修改泛型的场景：

  final List<Dodo> noFancyDodos = Stream.of(new FancyDodo()).map(Dodo.class::cast).toList();
  

如果业务场景不需要Stream.toList()返回的不可变、不允许null元素的特性，继续使用collect(Collectors.toList())也是完全合理的写法，性能差异几乎可以忽略。

内容的提问来源于stack exchange，提问作者TTT