Java泛型中<V extends SomeInterface>与<? extends SomeInterface>的区别解析

我们结合你的代码场景，直接拆解两种写法的核心差异：

1. 两种写法的本质差异 #

写法一：方法级泛型参数 #

static <V extends SomeInterface> BinaryOperator<V> chooseNotEditable() {
    return (current, other) -> current.isEditable() ? current : other;
}

这是给方法声明了泛型参数V，要求V必须是SomeInterface的子类。调用方法时，编译器会根据上下文自动推断出V的具体类型（比如你的代码中就是One类）。返回的BinaryOperator<V>完全针对这个具体类型——它接受两个V类型参数，返回V类型结果，和Collectors.toMap需要的merge函数类型完全匹配。

写法二：返回值使用通配符 #

static BinaryOperator<? extends SomeInterface> chooseNotEditable() {
    return (current, other) -> current.isEditable() ? current : other;
}

这是给返回值用了通配符，仅表示返回的BinaryOperator可以处理SomeInterface的某个子类，但编译器不知道具体是哪一个。此时这个操作符的参数和返回值类型都是模糊的? extends SomeInterface，没有明确的绑定类型。

2. 为什么通配符版本会报错？ #

在你的main方法中，Collectors.toMap的第三个参数需要的是BinaryOperator<One>（因为Stream是Stream<One>，Function.identity()返回One类型）。但通配符版本无法满足这个要求：

• 编译器无法确认该操作符能处理One类型参数（它可能是为SomeInterface的其他子类设计的）；
• 更关键的是，编译器会因此推断toMap的value类型为SomeInterface（而非One）——因为merge函数返回的是不确定的? extends SomeInterface，编译器只能向上转型到最安全的父类SomeInterface；
• 一旦value类型被推断为SomeInterface，keyMapper中的key参数类型也会变成SomeInterface，而SomeInterface并没有specificMethod()方法，所以出现你看到的报错。

3. 核心总结 #

• 方法泛型参数：让方法返回类型与调用上下文的具体类型强绑定，编译器能精确推断类型，保证整个流程的类型一致性；
• 返回值通配符：仅表达“某个子类”的模糊范围，无法和上下文的具体类型对齐，导致类型推断混乱，进而引发编译错误。

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