为什么带Java泛型的代码传入BigDecimal.class时编译失败？

泛型参数作用域不匹配 #

你定义的Test<N extends Number>中的泛型参数N是类级别的，它的具体类型只有在创建Test实例时才会确定：

• 你在main方法中创建的是Test<Number>，此时N的实际类型为Number
• 其他场景下也可以创建Test<Integer>、Test<Double>等任意Number子类类型的Test实例

而foo方法的参数定义为Class<N>，要求入参必须和当前实例的N类型完全匹配，你在bar方法里硬编码传入BigDecimal.class，没有考虑到N可能是其他Number子类的场景，编译器会判定这种调用存在类型安全风险。

Java泛型的不变性约束 #

Java泛型默认是不变的，不支持协变：即便BigDecimal是Number的子类，Class<BigDecimal>也不属于Class<Number>的子类，更不可能适配所有可能的N类型对应的Class<N>。比如当你创建Test<Integer>实例时，N的实际类型是Integer，Class<BigDecimal>和Class<Integer>完全没有兼容关系，必然会出现类型不匹配。

方案1：修改方法参数为协变通配符 #

如果你就是要让foo方法支持接收N任意子类的Class对象，将方法参数修改为带通配符的泛型即可：

public void foo(Class<? extends N> numberClass) {
    System.out.println(numberClass);
}

? extends N表示可以接收所有N及其子类的Class对象，完全符合你的使用逻辑。

方案2：调整泛型作用域 #

如果你确定bar方法永远只会传入BigDecimal，说明类级别的泛型N没有实际存在意义，可以直接删除类上的泛型声明，将foo方法参数改为Class<? extends Number>即可。

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