为什么`Stream.collect`是类型安全的，而`Stream.toArray（IntFunction）`不是吗？

Question

考虑以下代码片段

String strings[] = {"test"};
final List<String> collect = java.util.Arrays.stream(strings).collect(java.util.stream.Collectors.toList());
final Double[] array = java.util.Arrays.stream(strings).toArray(Double[]::new);

Java的为什么能保证在收集情况的正确类型（改变一个编译时错误的一般类型的收集到如双引线），但不是在阵列情况下（编译罚款，尽管apply(int)中Double[]::new给出了一个Double[]，而不是一个Object[]，而是抛出ArrayStoreException如果如上所述使用不正确）？

如果我更改流的类型而不更改调用中给定的值IntFunction，那么生成编译时错误的最佳方法是toArray什么？

Answer 1

该方法的签名Stream::toArray如下所示。请注意，类型参数T和A完全无关。

public interface Stream<T> {
    <A> A[] toArray(IntFunction<A[]> generator);
}

在ReferencePipeline.java的源代码中，您可以找到以下注释：

由于A与无关U（无法声明A的上限U），因此不会进行静态类型检查。因此使用原始类型，并且假设A == U，而不是传播的分离A和U
在整个代码库。的运行时类型U从不检查与组件类型的运行时类型的平等A[]。当一个元件被存储在将被执行的运行时检查A[]，因此，如果A不是超类型的U一个ArrayStoreException将被抛出。