泛型Iterator<E>处理原始类型集合行为差异及m1/m2调用异常分析

这个问题其实戳中了Java泛型最核心的「编译期检查+运行期擦除」特性，咱们掰开揉碎了说：

1. 泛型的本质：编译期语法糖，运行期无类型 #

Java的泛型是给编译器看的“语法糖”——编译完成后，所有泛型类型都会被擦除成原始类型。比如：

• ArrayList<Employee>和ArrayList<String>在运行时都是普通的ArrayList；
• Iterator<Employee>和Iterator<String>在运行时都是Iterator，它们的next()方法都只返回Object。

编译器会在编译阶段帮你做泛型类型检查，但如果你传入的是原始类型（比如代码里的ArrayList stringList = new ArrayList();），这种检查会直接被绕过——这是Java为了兼容5.0之前的老代码留下的“后门”，但也埋下了运行时异常的隐患。

2. 为什么m1能打印（部分/所有）元素？ #

看m1的方法：

public static void m1(ArrayList<Employee> al){
    Iterator<Employee> iterator = al.iterator();
    while(iterator.hasNext()){
        System.out.println(iterator.next());
    }
}

编译时，编译器会自动给iterator.next()的调用插入一个强制转换到Employee的操作，编译后的代码等价于：

Iterator iterator = al.iterator();
while(iterator.hasNext()){
    // 编译器偷偷加了(Employee)强转
    System.out.println((Employee) iterator.next());
}

因为你的stringList前三个元素都是Employee实例，强转完全合法，所以能正常打印。如果迭代到后面的String或Integer，这里同样会抛出ClassCastException——你说能打印所有元素，可能是没运行到后面的非Employee元素，或者代码运行时你没注意到后续异常~

3. 为什么m2一运行就抛异常？ #

再看m2的方法：

public static void m2(ArrayList<String> al){
    Iterator<String> iterator = al.iterator();
    while(iterator.hasNext()){
        System.out.println(iterator.next());
    }
}

同理，编译器会给iterator.next()插入强制转换到String的操作：

Iterator iterator = al.iterator();
while(iterator.hasNext()){
    // 编译器加了(String)强转
    System.out.println((String) iterator.next());
}

而stringList的第一个元素就是Employee对象，Employee和String没有任何继承关系，强制转换必然失败，所以第一次调用next()就直接抛出ClassCastException，也就是你看到的test.Employee cannot be cast to java.lang.String。

4. 核心差异总结 #

两者的本质区别就是强制转换的目标类型不一样：

• m1的强转目标是Employee，前三个元素匹配，所以能正常输出；
• m2的强转目标是String，第一个元素就不匹配，直接触发异常。

最后提醒一句：尽量别用原始类型（比如不带泛型的ArrayList），它会绕过编译期的泛型检查，把类型错误留到运行时，这完全违背了泛型设计的初衷~

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