Java泛型是编译期特性，运行时通过类型擦除机制将泛型参数替换为上界（默认Object），ArrayList<String>和ArrayList<Integer>在运行时均为ArrayList，内部均使用Object[]存储元素，编译器自动插入强制转换以保障类型安全。
Java 的泛型是编译期特性，运行时并不存在真正的“泛型类型”，而是通过类型擦除（Type Erasure）机制将泛型信息抹去，统一替换为上界（通常是 Object），从而保证与旧版本 JVM 的兼容性。这也直接决定了泛型集合（如 ArrayList<String>、ArrayList<Integer>）在运行时底层都使用 Object[] 数组来存储元素。
类型擦除如何作用于泛型集合
编译器在编译阶段会做三件事：
- 将所有泛型参数（如
<E>、<T>）替换为它们的限定上界（无显式限定则为Object）； - 在必要位置插入强制类型转换（cast），确保返回值符合声明的泛型类型；
- 擦除泛型类/方法的签名信息，使得
ArrayList<String>和ArrayList<Integer>在运行时都是同一个原始类型ArrayList。
例如：
源码：ArrayList<String> list = new ArrayList<>();<br>list.add("hello");<br>String s = list.get(0);编译后等效字节码逻辑（伪代码）：
ArrayList list = new ArrayList();<br>list.add("hello"); // 实际调用 add(Object)<br>String s = (String) list.get(0); // 插入了强制转型
为什么底层用 Object[] 而不是泛型数组
因为 JVM 不支持泛型数组的创建（如 new E[10] 在运行时无法确定 E 是什么类型），而 Object[] 是最安全、最通用的容器：
-
Object是所有引用类型的公共父类，任何对象都能存入Object[]； - 数组在运行时需要知道组件类型（component type）以做运行时类型检查（如
String[]禁止存入Integer），但泛型类型在运行时已不存在，无法构造出类型安全的E[]； - 为规避这个问题，
ArrayList内部声明的是transient Object[] elementData，所有添加操作都经过向上转型，获取时再向下转型。
类型擦除带来的限制与注意事项
由于泛型信息在运行时不可见，以下情况会受限或引发问题：
- 不能用
instanceof检查泛型类型：if (list instanceof ArrayList<String>)编译不通过，只能写成if (list instanceof ArrayList)； - 不能创建泛型数组：
new ArrayList<String>[10]合法（创建的是ArrayList[]），但new T[10]或new E[10]在泛型类中非法； - 静态上下文中无法访问泛型类型参数：静态变量、静态方法不能依赖
T，因为它们属于类级别，而泛型类型属于实例化时的类型参数； - 类型转换由编译器自动插入，若绕过泛型（如用反射或原始类型操作），可能触发
ClassCastException—— 这就是所谓“泛型只在编译期提供类型安全”的含义。
小结：运行时集合的本质
泛型集合在运行时就是一个“披着泛型外衣的普通容器”：它内部用 Object[] 存数据，靠编译器注入的类型检查和强转来模拟类型安全。你看到的 ArrayList<Double>，JVM 只认得 ArrayList；你取出来的每个元素，其实都是先从 Object 数组里拿出来，再被悄悄转成 Double —— 这个“悄悄”就是类型擦除的代价与设计权衡。
