Java泛型中类型参数T与通配符?的区别及编译问题解析

先分析通配符版本的合法性 #

你写的BaseMapper<T extends Base<? extends EntityInfo>>能编译通过，核心原因是通配符? extends EntityInfo代表某个未知的、继承自EntityInfo的类型。

Imp继承自Base<Individual>，而Individual是EntityInfo的实现类。根据泛型的协变特性，Base<Individual>属于Base<? extends EntityInfo>的子类型——因为通配符允许这种“向上匹配任意符合约束的类型”的场景，所以Imp满足T extends Base<? extends EntityInfo>的约束，编译器认可。

类型参数版本的错误根源 #

当你把? extends EntityInfo改成S extends EntityInfo，写成BaseMapper<T extends Base<S extends EntityInfo>>时，直接违反了Java泛型的语法规则：

1. Unexpected bound：泛型类型参数的约束必须遵循类型参数 extends 具体类型的语法，你把S extends EntityInfo写在了Base<>的参数位置，相当于在泛型参数里嵌套了约束声明，这是不允许的。
2. ImpMapper的边界错误：就算修正语法，写成BaseMapper<S extends EntityInfo, T extends Base<S>>，ImpMapper extends BaseMapper<Imp>还是会报错。因为这里的S是BaseMapper的类型参数，要求所有使用BaseMapper的地方必须指定一个固定的、统一的S，但Imp绑定的是固定的Individual，无法匹配“任意S”的要求，自然不符合边界约束。

类型参数和通配符<?>的核心差异 #

• 类型参数是一个可复用的确定类型变量：在整个泛型类/方法的作用域内，它代表某个固定的类型，你可以在代码中直接引用它（比如作为方法参数、返回值）。
• 通配符是一个未知类型的占位符：它只用来表示“某个符合约束的类型”，你无法在代码中直接使用这个类型（比如不能用它创建实例、作为方法参数传入，除非配合上下界限定）。

正确使用类型参数的写法 #

如果需要在BaseMapper中复用这个类型（比如后续要操作S类型的对象），应该把S声明为BaseMapper的泛型参数，再约束T：

public interface EntityInfo {}

public class Individual implements EntityInfo {}

public abstract class Base<T extends EntityInfo> {}

public class Imp extends Base<Individual>{}

// 先声明S，再用它约束T的边界
public abstract class BaseMapper<S extends EntityInfo, T extends Base<S>>{}

// 继承时明确指定S和T的具体类型
public class ImpMapper extends BaseMapper<Individual, Imp>{}

这样编译器能明确S是Individual，T是Imp，完全符合Imp extends Base<Individual>的约束，编译可以通过。

总结 #

• 通配符适合“只需要匹配任意符合约束的类型，不需要复用该类型”的场景；
• 类型参数适合“需要在泛型类/方法中多次引用同一个类型”的场景，必须先声明再使用；
• 你最初的错误是误用了泛型约束的语法，同时没搞清楚类型参数的作用域要求。

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