泛型原始类型强制转换疑问：为何该Java代码可运行？

嘿，这个问题正好戳中了Java泛型最核心的特性——类型擦除，还有原始类型的“特殊待遇”，我一步步给你拆解明白：

1. Java泛型本质是编译时“语法糖”：类型擦除 #

Java的泛型只在编译阶段生效，编译完成后所有泛型信息都会被彻底擦除。比如你定义的Foo<T>接口，编译后会变成不带泛型的原始类型：

interface Foo {
    void set(Object item);
}

所有的泛型参数T都会被替换成Object（如果没有指定泛型上界的话）。

2. Bar类背后的隐形代码：编译器生成的桥接方法 #

当你写class Bar implements Foo<String>时，你重写了set(String item)方法，但因为类型擦除，编译后的Foo接口的set方法参数是Object，这就出现了签名不匹配的矛盾——Bar的set(String)和擦除后的Foo.set(Object)不是同一个方法，怎么算实现了接口？

这时候编译器会偷偷给Bar生成一个桥接方法，用来解决这个匹配问题，生成的代码大概是这样：

public class Bar implements Foo {
    // 你自己写的方法
    @Override
    public void set(String item) {
        // 你的空逻辑
    }

    // 编译器自动生成的桥接方法
    public void set(Object item) {
        // 这里会把Object强转为String，再调用你写的set(String)
        set((String) item);
    }
}

这个桥接方法是关键，它让Bar在类型擦除后依然能符合Foo接口的要求。

3. 代码为什么能编译通过？ #

再看你的这段代码：

Bar bar = new Bar();
bar.set("Some string"); // 调用你写的set(String)，完全没问题
Foo rawFoo = (Foo) bar; // 把bar转成了原始类型Foo
rawFoo.set(new Object()); // 为什么允许传Object？

这里的Foo是原始类型（没有指定泛型参数的泛型类型），Java编译器对原始类型会直接关闭泛型类型检查——也就是说，它不会验证你传递的参数是否符合泛型约束，所以rawFoo.set(new Object())能顺利通过编译。

4. 运行时的真相：其实会抛出异常！ #

你说这段代码“能够运行”，但实际上如果执行rawFoo.set(new Object())这一行，JVM会立刻抛出ClassCastException——因为桥接方法里会执行(String) new Object()，这是一个非法的类型转换。

如果你的代码运行时没报错，大概率是没实际执行到这一行，或者忽略了控制台的异常提示——哪怕set(String)方法是空的，强转动作依然会执行，异常必然会抛出来。

总结一下 #

• 编译通过：因为使用了原始类型Foo，编译器跳过了泛型类型安全检查。
• 运行时异常：桥接方法里的强制类型转换会触发ClassCastException，除非你传递的参数确实是String类型。

Java保留原始类型主要是为了兼容泛型出现之前的老代码，但在新代码里使用原始类型会绕过泛型的类型保护，非常不推荐哦！

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