为何Java泛型与迭代器存在类型不匹配却能编译运行？

核心根源：原始类型（Raw Type）的特性 #

你遇到的问题本质是原始类型绕过了泛型的严格编译检查，同时Java泛型的类型擦除机制让运行时不会触发预期的类型转换错误。

1. 为什么Iterator<T> i = data.iterator();能编译通过？ #

• Printer类中E extends Iterable是原始类型声明——没有给Iterable指定类型参数，此时data.iterator()返回的是原始类型Iterator（而非带泛型参数的Iterator<XXX>）。
• Java为了兼容泛型出现前的旧代码，允许原始类型和泛型类型之间进行未经检查的转换：编译器只会抛出unchecked警告，不会直接报错。
• 对比main方法里的Iterator<Integer> it = list2.iterator();：list2是明确的泛型类型ArrayList<String>，它的iterator()返回Iterator<String>，直接赋值给Iterator<Integer>属于明确的类型不匹配，属于编译期能检测的检查型错误，所以编译失败。

2. 为什么运行时能正常输出？ #

• Java泛型是编译期特性，运行时会执行类型擦除：Iterator<T>会被擦除为Iterator<Object>，而原始类型Iterator本质也是Iterator<Object>。
• 运行时i.next()返回的是Object类型，System.out.println()可以接收任何Object实例，因此String类型的"Bonjour"能被正常打印，不会触发ClassCastException——因为这里没有实际执行String转Integer的强制类型转换操作。

代码关键点修正示例 #

如果想让编译期就检测到类型不匹配，应该给Iterable指定类型参数，让泛型约束生效：

// 给Iterable指定类型参数T，确保E的迭代器类型和T一致
public class Printer<T, E extends Iterable<T>> {
    public void Print(E data) {
        Iterator<T> i = data.iterator();
        while (i.hasNext()) {
            System.out.println(i.next());
        }
    }
}

此时再传入ArrayList<String>给Printer<Integer, ArrayList>，编译器会直接抛出类型不匹配的错误，符合预期。

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