泛型继承引发编译错误：MiddleImpl泛型实参为何不合法？

你的代码编译失败的核心原因是Java编译器对泛型类型参数的约束是按从左到右的顺序解析的，且前置参数不能依赖后续未解析的参数。

具体拆解： #

原MiddleImpl的泛型声明为：

public static class MiddleImpl<T extends U, U extends Inner> implements Middle<U> {
}

这里第一个类型参数T的约束T extends U依赖于第二个参数U，但编译器处理泛型参数时是先解析T，再解析U。当你在OuterImpl中使用MiddleImpl<? extends InnerImpl, ? super InnerImpl>时：

• 编译器首先处理T的实参? extends InnerImpl，但此时U的实参? super InnerImpl还未被解析，编译器无法确认? extends InnerImpl是否满足T extends U的约束（尽管从逻辑上我们知道所有? extends InnerImpl的类型都是? super InnerImpl的子类型，但编译器的类型检查机制不会做这种跨通配符的全局推断），因此直接抛出约束不满足的错误。

调换参数顺序后编译通过的原因： #

当你将MiddleImpl的泛型参数顺序调换为：

public static class MiddleImpl<U extends Inner, T extends U> implements Middle<U> {
}

此时编译器的解析顺序变为：

1. 先解析U的实参? super InnerImpl，它满足U extends Inner的约束（因为? super InnerImpl的所有可能类型都是Inner的超类型）。
2. 再解析T的实参? extends InnerImpl，此时U的类型已经确定为? super InnerImpl，编译器可以明确验证? extends InnerImpl是? super InnerImpl的子类型，满足T extends U的约束，因此编译通过。

无法修改MiddleImpl时的解决办法： #

如果无法修改依赖库中的MiddleImpl，可以通过指定具体类型而非通配符来绕过这个问题，比如：

public static class OuterImpl implements Outer<MiddleImpl<InnerImpl, InnerImpl>> {
}

或者使用类型推断辅助编译器确认约束：

public static <U extends InnerImpl> Outer<MiddleImpl<U, InnerImpl>> createOuterImpl() {
    return new OuterImpl() {};
}

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