Java泛型与增量编译：单独编译Main类报错原因咨询

DevOps 小满

2026-8-17

Java泛型编译差异问题解析

问题场景

以下是涉及泛型的Java类代码：

public class A<T> { }

public class B<T extends Number> { }

public class C {
    public A<B<?>> test() { return null;}
}

public class Main {
    public static void main(String[] args) {
        C c = new C();
        A<B<? extends Number>> val = c.test();
    }
}

全量编译：执行javac A.java B.java C.java Main.java（OpenJDK 11.0.8），编译成功。
单独编译Main.java：在A、B、C的class文件已存在的前提下，执行javac Main.java，编译器报错：

Main.java:4: error: incompatible types: A<B<?>> cannot be converted to A<B<? extends Number>>
            A<B<? extends Number>> val = c.test();
                                               ^
 1 error

原因解析

1. 全量编译时的上下文信息完整

当javac一次性编译所有源码时，能获取到所有类的完整泛型定义：

它知道B<T>的类型参数T本身就被限定为extends Number，所以B<?>本质上等价于B<? extends Number>。
此时编译器会智能推断出A<B<?>>和A<B<? extends Number>>是兼容的，因为两者的通配符边界实际一致，因此允许赋值。

2. 单独编译Main.java时的上下文丢失

单独编译Main.java时，javac只能读取C的class文件，而Java的class文件会擦除泛型的部分上下文信息：

C的class文件中，test()方法的返回类型只记录为A<B<?>>，不会保存B类原本的T extends Number这个类型上限规则。
编译器看不到B的泛型边界，只能单纯比较A<B<?>>和A<B<? extends Number>>这两个签名，认为它们是不同的参数化类型，因此抛出类型不兼容错误。