为什么我不能在Java 16中使用Stream#ToList来收集类的接口列表？

Question

我正在对实现接口的类的对象进行流式处理。我希望将它们收集为接口的元素列表，而不是实现类。

对于Java16.0.1的stream#toList方法，这似乎是不可能的。例如，在下面的代码中，最后一条语句将无法编译。

import java.util.List;
import java.util.stream.Collectors;
import java.util.stream.Stream;

public class WhyDodo {

    private interface Dodo { }

    private static class FancyDodo implements Dodo { }

    public static void main(String[] args) {
        final List<Dodo> dodos = Stream.of(new FancyDodo()).collect(Collectors.toList());
        final List<FancyDodo> fancyDodos = Stream.of(new FancyDodo()).toList();

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

我们可以显式地将每个元素从fancydodo转换为dodo。但至少为了简洁起见，我们可以使用.collectors.tolist())。

为什么我不能在Java 16中使用Stream#ToList来收集类的接口列表？

如果有人有比明确选角更好的解决方案，我也很乐意听到：）

Answer 1

泛型类型参数解析每次只进行一次方法调用。

stream.of(new FancyDodo())将始终将t解析为FancyDodo，因此将始终导致流 。

ToList()不解析T，它只是使用已经建立的T，因此结果总是列表 ，列表 与列表 不兼容。参见:list 是list 的子类吗？为什么Java泛型不是隐式多态的？

collectors.tolist())在collectors.tolist()中具有不同的t，可以与流的t进行不同的解析。编译器将t解析为dodo，因为所需的返回类型为list 。