Java中为什么ArrayList是泛型类型而数组不是？

你观察到的String[]和ArrayList<String>看起来都是指定了元素类型，只是写法不同，但二者在Java类型系统中的定位完全不同，数组不属于泛型类型，核心差异可以从三个维度理解：

• 底层设计属于两套完全独立的体系
  泛型是JDK 5版本才新增的特性，核心目标是在编译阶段完成类型校验，减少运行时的类型转换异常。而数组是Java 1.0版本就内置的基础类型，它指定元素类型的语法是语言最初设计时就定好的规则，和泛型的「类型参数化」没有任何关联，不属于泛型类型体系的一部分。
• 类型兼容规则完全不同
  数组是协变的：如果Integer是Number的子类，那么Integer[]也会被判定为Number[]的子类，代码Number[] arr = new Integer[10];是合法的，但如果后续往arr里插入Long类型元素，运行时会直接抛出异常。
  而泛型是不变的：即使Integer是Number的子类，ArrayList<Integer>和ArrayList<Number>也不存在父子类关系，ArrayList<Number> list = new ArrayList<Integer>();会直接在编译阶段报错，从根源上避免了运行时的类型错误。
• 类型信息的留存规则不同
  数组的元素类型是运行时可见的：JVM中每个数组实例都明确知道自己存储的元素是什么类型，插入不匹配类型时会直接报错。
  而泛型存在类型擦除机制：ArrayList<String>和ArrayList<Integer>在编译完成后，类型参数会被擦除，运行时二者的类型完全相同，都是ArrayList，尖括号里的类型信息只在编译阶段做校验使用。

你查到的「泛型类型是可对类型进行参数化的泛型类或接口」这个定义，只适用于Java泛型体系下的类和接口，数组的元素类型指定不属于这套体系的规则，自然不算泛型类型。

内容的提问来源于stack exchange，提问作者numq