Java语言规范哪部分规定了嵌套泛型通配符的类型转换行为？

核心错误原因 #

你的代码中出现类型不兼容的根本原因在于泛型的不变性以及嵌套通配符的类型匹配逻辑：

1. 泛型类B<T>默认是不变的：即B<X>仅当X与Y完全相同时，才是B<Y>的子类型（或父类型），不存在协变/逆变关系。
2. 对于嵌套的A<? extends S>和A<? extends T>：由于A<T>同样是不变泛型接口，A<? extends S>与A<? extends T>仅当? extends S和? extends T为完全相同的类型时，才能互相兼容。而? extends S的上界是方法main的类型参数S，? extends T的上界是方法f的类型参数T，编译器无法推断出一个T使得这两个通配符类型完全等价——因为S是未绑定的任意类型，没有约束能让S与T的关系满足通配符类型的匹配要求。

Java编译器处理逻辑 #

当调用f(new B<A<? extends S>>())时，编译器执行以下步骤：

1. 尝试推断方法f的类型参数T，目标是让B<A<? extends S>>可以赋值给B<A<? extends T>>。
2. 由于B是不变泛型类，要求A<? extends S>必须是A<? extends T>的子类型（或相同类型）。
3. 由于A也是不变泛型接口，进一步要求? extends S必须是? extends T的子类型（或相同类型）。根据通配符子类型规则，? extends S是? extends T的子类型当且仅当S extends T，但S是main的类型参数（可代表任意类型），编译器无法确定一个固定的T能满足所有可能的S的约束，因此推断失败，抛出类型不兼容错误。

JLS对应章节 #

1. 泛型类型的子类型化（JLS §4.10.2） #

该章节明确了泛型类/接口的子类型规则：

对于泛型声明C<F1,...,Fn>，参数化类型C<T1,...,Tn>的直接超类型包括C<S1,...,Sn>，其中每个Si与Ti的关系需符合类型参数Fi的变异性：

• 若Fi声明为协变（out），则Ti是Si的子类型；
• 若Fi声明为逆变（in），则Si是Ti的子类型；
• 若未声明变异性（默认不变），则Si必须等于Ti。

你的代码中B<T>和A<T>的类型参数均为默认的不变性，因此只有当类型参数完全匹配时，参数化类型才能互相兼容。

2. 通配符类型的子类型化（JLS §4.10.1） #

该章节定义了通配符的子类型关系：

通配符类型? extends U是? extends V的子类型，当且仅当U是V的子类型；
通配符类型? super U是? super V的子类型，当且仅当V是U的子类型。

这解释了为什么? extends S与? extends T的匹配依赖于S和T的继承关系，但由于S和T都是未绑定的类型参数，无法满足该依赖。

3. 泛型方法的类型推断（JLS §18） #

该章节规范了编译器推断泛型方法类型参数的逻辑：

编译器会尝试找到一组类型参数，使得方法调用的实参类型可以赋值给方法形参的类型。当无法找到满足所有约束的类型参数时，推断失败，抛出类型不兼容错误。

你的场景中，由于S的任意性，不存在一个T能让A<? extends S>与A<? extends T>满足不变泛型的匹配要求，因此推断失败。

修复方案示例 #

如果需要让代码编译通过，可以通过以下两种方式：

1. 修改f的参数类型，利用通配符实现协变：

private static <T> void f(B<? extends A<? extends T>> ignored) {}

2. 显式指定T的类型为S：

Main.<S>f(new B<A<? extends S>>());

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