java泛型数组的误区

---

结论

1. 不能(直接)创建泛型数组，但可以参数化数组本身的类型（即是将数组应该存储的对象进行参数化）。
2. 泛型数组实际的运行时对象数组只能是原始类型

---

# 项目场景：

实例化泛型数组时，编译器直接报错

---

Java泛型描述：

首先理解Java泛型的定义：泛型，即“参数化类型”，就是将类型由原来的具体的类型参数化，类似于方法中的变量参数，此时类型也定义成参数形式（可以称之为类型形参），然后在使用/调用时传入具体的类型（类型实参）。

例如：List中，String是类型实参，也就是说，相应的List接口中肯定含有类型形参。List接口中采用泛型化定义之后，< E >中的E表示类型形参，可以接收具体的类型实参，并且此接口定义中，凡是出现E的地方均表示相同的接受自外部的类型实参。

泛型类型在逻辑上看以看成是多个不同的类型，实际上都是相同的基本类型。

---

原因分析：

底层原理：

由于泛型具有擦除机制，在运行时的类型参数会被擦除，Java只知道存储的对象是一个Object而已，而对于Java的数组来说，他必须知道它持有的所有对象的具体类型，而泛型的这种运行时擦除机制违反了数组安全检查的原则。

由于擦除，运行期的数组类型只能是 Object[]

---

解决方案：

所以不能实例化java泛型数组，其本身就和泛型机制冲突。

---

可以这样理解，

arr数组中存的是String，而s数组中存的是List，List本身就是数组，数组不能存数组。

---

https://www.cnblogs.com/MrJR/p/10463479.html
https://www.cnblogs.com/ixenos/p/5648519.html
https://www.cnblogs.com/lwbqqyumidi/p/3837629.html