泛型数组

为什么不能创建泛型数组

泛型在编译期间的两个特性

1. 可读性：去除了大量的类型强转代码
2. 安全性：容器中出现其他类型元素，报错

代码 1：Java中对普通数组的安全性验证

1 String[] strs = new String[10];
2 Object[] objs = strs;   //合法
3 objs[0] = 123

将String数据转Object数组， objs里面记忆的是String元素， 第三行我们给objs赋值了一个int元素，运行时会报出ArrayStoreException。
问题：
1 在Java中，数组不能保证安全性（在编译期间不暴露问题，在运行时抛出异常）。假设允许创建泛型数组，同样会出现上述问题，则不能保证泛型的安全性特性。

// 假设存在泛型类 Pair<T>
Pair<String>[] pairs = new Pair<String>[10];
Object[] objs = pairs;
pairs[0] = 123;   //这里在编译期间不会暴露元素123不是String类型问题

代码2

Pair<Manager>[] pairs = new Pair<Manager>[10];
pairs[0] = new Pair<Employee>;

这段代码中，Pair<Manager>[], Pair<Employee>发生类型擦除后变成Pair[], Pair。 将Pair放入Pair[]数组，显然是合理的。但是违反了泛型的安全性特性

结论：出于以上两点原因，不允许创建泛型数组是有必要的。

本文地址：https://blog.csdn.net/weixin_42439265/article/details/107895031