Java泛型方法返回类型上界推断为何存在不一致？

这个问题的核心在于Java编译器对泛型方法参数的类型推断逻辑差异，咱们一步步拆解来看：

先看safe方法的推断逻辑 #

Test.safe的参数是Tag<T>，这是一个带明确类型参数的泛型类：

• 当你调用Test.safe(new Tag<Foo>())时，编译器能直接从实参Tag<Foo>确定T的类型就是Foo——因为泛型是不变性的，Tag<Foo>不能被当成Tag<Object>或其他父类型的实例来处理。
• 接下来，方法返回Col<V>，要求V extends T（也就是V extends Foo），而你要赋值给Col<Baz>，这意味着V必须是Baz。此时编译器会检查Baz是否继承自Foo，显然不满足，所以触发预期的编译错误。
• 当你传入Tag<Bar>时，T被确定为Bar，Baz extends Bar满足V extends T的约束，所以编译正常通过。

再看unsafe方法的“奇怪”表现 #

Test.unsafe的参数是T本身，这时候编译器的推断逻辑就灵活多了：

• 当你调用Test.unsafe(new Foo())时，编译器需要同时满足两个约束：
  1. 实参new Foo()必须是T的实例（所以T可以是Foo、Object等Foo的父类型）；
  2. 返回的Col<V>要匹配Col<Baz>，且V extends T（也就是Baz extends T）。
• 编译器会自动寻找一个能同时满足两个约束的T——这里它会选择T = Object：Foo是Object的实例，Baz也是Object的子类，完全符合所有约束。所以编译器认为这段代码是合法的，不会报错。
• 这不是编译器“推断失效”，而是它按照泛型推断规则找到了一个合法的类型组合，只是这个结果和你预期的严格约束不符。

本质差异总结 #

• safe方法通过泛型容器Tag 把T的类型牢牢绑定在实参的具体类型上，编译器无法随意扩大T的范围，因此能严格检查V extends T的继承约束。
• unsafe方法的参数是原始类型T，编译器可以通过向上推断T为更宽泛的父类型（比如Object）来满足所有约束，导致原本应该被拦截的不合法赋值通过了编译。

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