Java方法调用中通配符的异常行为及原因咨询

嘿，这个问题戳中了Java泛型里一个很容易让人困惑的点——本质上是类型推断和捕获转换在背后起作用，咱们用具体的代码例子一步步理清楚：

先看没加额外参数时的报错场景 #

假设你最初的方法是这样的：

public static void processBoundedList(List<? extends Number> list) {
    // 只能做读取操作，add仅支持传入null
}

当你调用processBoundedList(new ArrayList<>());时，编译器会直接报错。这是因为无界的new ArrayList<>()在没有上下文约束时，会被默认推断为ArrayList<Object>，而泛型是不可变的——List<Object>并不是List<? extends Number>的子类型，自然无法匹配参数要求。

添加额外参数后发生了什么？ #

现在给方法加一个额外参数，改成这样：

public static <T> void processWithExtraParam(List<? extends T> list, T anchorValue) {
    // 可以基于T做更多类型兼容的操作
}

这时候再调用processWithExtraParam(new ArrayList<>(), 10);，编译器居然通过了！原因有两个：

1. 类型推断锚定了T的类型：第二个参数10是Integer类型，编译器会自动推断出T为Number（因为Integer extends Number）。
2. 捕获转换调整了无界列表的类型：原本无界的new ArrayList<>()，现在会被编译器重新推断为ArrayList<Integer>（而不是默认的ArrayList<Object>），而ArrayList<Integer>是List<? extends Number>的子类型，完美匹配方法参数。

换句话说，额外参数给了编译器一个“参考锚点”，让它能把原本无约束的无界列表，和有界通配符的类型要求绑定起来。如果你的额外参数是Object类型，比如processWithExtraParam(new ArrayList<>(), new Object())，编译器会推断T为Object，这时候List<? extends Object>等价于List<?>，自然也能接受无界列表。

核心本质 #

纯通配符的方法参数（比如List<? extends Number>）是一个“孤立”的类型约束，编译器无法将无界列表的默认推断类型（List<Object>）和它建立兼容关系。但当引入类型变量T，并用额外参数锚定T的类型后，编译器可以通过捕获转换，将无界列表的类型调整为符合List<? extends T>的形式，从而绕过原本的类型不兼容问题。

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