泛型类型参数声明的变量何时及如何进行类型转换？

安全阿岳

2026-5-21

理解Java泛型类型转换的核心：类型擦除

这个问题的核心其实是Java泛型的类型擦除机制在起作用，咱们一步步拆解你的代码来搞清楚到底发生了什么：

首先先把你的代码格式化一下，方便理解：

public static void main(String[] args) { 
    List<Integer> integers = new ArrayList<>(); 
    integers.add(5); //element #0 
    List list = integers; 
    list.add("foo"); //element #1 
    integers.get(1); //no error 
    System.out.println(integers.get(1)); //no error, prints "foo" 
    Integer i = integers.get(1); //throws ClassCastException 
}

咱们逐行分析关键步骤：

第一步：List list = integers;
Java泛型是编译时的语法糖，运行时所有泛型类型信息都会被"擦除"。也就是说，List<Integer>在运行时其实就是原始类型List——它们在JVM里是同一个类型。所以这个赋值操作编译时只会给你一个"未经检查的转换"警告，但运行时完全允许，因为本质上是同一个对象。
第二步：list.add("foo");
原始类型List没有泛型约束，编译时不会检查你添加的元素类型，所以你可以把任何Object类型（String当然属于Object）加进去。这时候你的ArrayList里其实同时存在Integer和String两种类型的元素了——只是integers这个变量的泛型声明让编译器以为它只能存Integer，但JVM运行时根本不知道这个约束。
第三步：integers.get(1); 和 System.out.println(integers.get(1)); 不报错
因为类型擦除，List.get()方法运行时返回的是Object类型。System.out.println()方法本身接受Object参数，所以直接打印的时候，只是把这个Object转换成字符串输出，根本没有触发类型转换，自然不会抛出异常。
第四步：Integer i = integers.get(1); 抛出ClassCastException
这里编译器会帮你做一件事：因为你声明了integers是List<Integer>，编译器认为get(1)返回的应该是Integer，所以会在字节码里自动插入一句隐式的类型转换代码——把get()返回的Object强制转换成Integer。但运行时这个元素其实是String，类型转换失败，就抛出了ClassCastException。

总结一下：
泛型的类型检查只发生在编译阶段，目的是帮你提前发现错误；但运行时因为类型擦除，JVM没有泛型类型的信息，所以原始类型的操作可以绕过编译检查。只有当你把泛型集合的元素赋值给具体类型的变量时，才会触发运行时的类型转换，这时候隐藏的类型不匹配问题才会暴露出来。

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