Java泛型通配符使用疑问：为何无法传入Number类型变量？编译问题

一、GenericExperiment<? extends Number> experiment = new GenericExperiment<>();编译失败的原因 #

? extends Number是通配符类型，它的作用是限定泛型引用的类型范围，而非用来实例化对象。

Java编译器处理菱形运算符<>时，需要明确推断出泛型类的具体类型参数。但通配符?代表“某个未知的Number子类”，编译器无法确定你要实例化的GenericExperiment具体用哪个类型作为T，因此直接用通配符类型接收new GenericExperiment<>()的实例会编译报错。

实例化泛型类必须指定具体类型（比如new GenericExperiment<Number>()），或者让编译器通过上下文推断出具体类型（比如赋值给GenericExperiment<Number>类型变量时使用<>）。

二、为什么addStuff方法无法传入Number类型对象？ #

当使用GenericExperiment<? extends Number>类型的引用时，编译器仅知道T是Number的某个子类，但无法确定具体是哪一个（可能是Integer、Long、Float等）。

addStuff方法的参数类型是T，要求传入的两个参数必须是同一个具体的T类型。但你传入的five和six是Number类型引用，它们实际指向的对象可能是不同的Number子类（比如Long和Integer），编译器无法保证这两个对象和未知的T类型匹配，因此会拒绝编译。

即使把引用改成GenericExperiment<Number>（此时T=Number），编译层面允许传入Number类型对象，但如果后续addStuff方法依赖T的子类特有实现，可能会出现运行时问题。

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