java stream返回参数化类的数组

Question

情况：

public class P {

    public static  Predicate<Double> isEqual(double value) {
        return p -> (Math.abs(p - value) <= 0.000001);
    }
}

public class Entity {   
    private double[] values;

    public double getValue(int index) {
        return values[index];
    }
}

未经检查的转化代码：

public Attribute split(Entity[] examples) {
    @SuppressWarnings("unchecked") 
    Predicate<Double>[] pa = Arrays.stream(examples).map(e -> P.isEqual(e.getValue(a.index))).toArray(Predicate[]::new);
    return ...;
}

没有未经检查的转换怎么解决这个问题？

我不能用这样的：

public Attribute split(Entity[] examples) {
    Predicate<Double>[] pa = Arrays.stream(examples).map(e -> P.isEqual(e.getValue(a.index))).toArray(Predicate<Double>[]::new);
    return ...;
}

Answer 1

我实际上是要把我的评论作为答案，因为我发现这对研究很有意思，我现在非常自信。 答案取决于事实（正如@azurefrog所说），创建通用数组必须具有未经检查的转换。

请参阅： 如何在Java中创建通用数组？

Predicate<Double>[]::new相当于

IntFunction<Predicate<Double> []> predicateArrayMaker = (int size) -> new Predicate<Double>[size];

但是，如果没有未经检查的转换，则无法创建通用数组。 例如，

Predicate<Double>[] predicateArray = new Predicate<Double>[10];

会有同样的问题。

因此，未经检查的转换必须按照链接的答案中的说明进行。

Answer 2

没有未经检查的转换就无法创建通用数组，因为创建通用数组本身就是一种不安全的操作。 由于不允许创建，因此您只能创建非泛型数组并执行未经检查的转换。

简单地说，每一个可以在没有任何警告的情况下实现后续堆污染的操作，都必须被认为是一种不安全的操作，要么自身产生警告，要么甚至会产生错误。 问题很容易证明：

Predicate<Double>[] p=/* someway to get the array*/;
Object[] array=p;
array[0]=(Predicate<Integer>)i -> i==0;

这种情况，其中一个数组的元素被声明为Predicate<Double>类型，但其中一个实际上是Predicate<Integer> ，被称为堆污染 。 既然两者都将p赋值给Object[]类型的变量，并将Predicate<Integer>赋值给Object[]类型的数组元素，则是不生成警告的合法构造，创建数组本身必须被视为不安全的操作，必须生成警告或错误，以防止随后的静默堆污染。 否则，泛型无法声称提供编译时安全性，即没有未经检查/不安全操作的代码可确保不存在堆污染。

接受通用数组创建的唯一例外是在varargs的上下文中，但是为了获得无警告代码，即使用@SafeVarargs ，您必须接受基本限制，例如，您不能将数组分配给任何其他变量也不能返回它从方法，避免偷偷摸摸地引入上述问题。

所以底线是，你接受有一个未经检查的操作或你使用List和“使用List ”意味着使用 List ，而不是尝试通过List创建数组。 List和数组之间的根本区别在于，您不能将List<Predicate<Double>>分配给List<Predicate>或List<Object> （没有未经检查的操作），因此它提供了Generics承诺的安全性。