Java泛型类型推断机制：为何传入Integer未触发编译错误？

问题代码 #

public class gen1<T>{
    T var1;

    public gen1(T arg1)
    {
        var1=arg1;
    }
    void meth1(T arg1){

    }

    void meth2(gen1<? extends RuntimeException> arg)
    {

    }
}

public class gen2 extends gen1{
    public gen2(){
        super(new Exception());
        meth2(new gen1(Integer.valueOf(12))); // 预期触发编译错误但未触发
    }
}

问题核心 #

gen1的meth2方法参数限定为gen1<? extends RuntimeException>，但gen2中传入持有Integer的gen1实例时，并未触发预期的编译错误，需要解释该现象原因及Java泛型类型推断的工作原理。

现象原因 #

问题根源在于gen2的继承方式：gen2继承gen1时未指定泛型参数，属于使用**原始类型（raw type）**进行继承。

Java中原始类型是为兼容泛型出现前的旧代码保留的特性——使用原始类型时，编译器会彻底忽略所有泛型相关的类型检查规则，将泛型类退化为非泛型版本：

• gen2作为原始类型gen1的子类，它继承的meth2方法参数会被擦除为原始类型gen1，而非带通配符限定的gen1<? extends RuntimeException>。
• 此时调用meth2，编译器不会检查传入实例的泛型参数是否符合? extends RuntimeException的要求，只要是gen1的实例（无论泛型参数是什么）都能通过编译。

Java泛型类型推断的工作原理 #

Java的类型推断是编译器根据上下文自动推导泛型类型参数的机制，核心规则如下：

• 上下文驱动推导：编译器会结合方法实参、赋值目标变量类型、方法返回值预期类型等上下文信息，自动确定最匹配的泛型参数。比如new gen1(Integer.valueOf(12))，编译器会推断泛型参数为Integer，等价于new gen1<Integer>(Integer.valueOf(12))。
• 原始类型的特殊处理：一旦使用原始类型（泛型类不指定类型参数），编译器会关闭泛型检查，所有泛型相关的通配符、类型限定都会被忽略，回到Java 5之前的类型处理逻辑。这也是gen2中调用meth2不触发错误的核心原因。
• 通配符的检查时机：只有当泛型类被正确指定类型参数（非原始类型）时，编译器才会对带通配符的参数执行严格类型检查。比如若gen2定义为public class gen2 extends gen1<Exception>，meth2的参数会保留gen1<? extends RuntimeException>的限定，此时传入gen1<Integer>就会触发编译错误。

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