我定义了以下方法.
class Some {
void doSome(Consumer<? super Other> consumer) {
}
<T extends Collection<? super Other>> T doSome(T collection) {
doSome(collection::add); // <<<<<<<<<<<<<<<<<<<
return collection;
}
}
现在，javac人在抱怨.
Java:对getAttributes的引用不明确 这两种方法都使用(java.util.unction.Consumer<；？Super Other>；)在...和方法Dosome(T)在...一些匹配
为什么javac不能区分Consumer和Collection？
这是因为在调用doSome(T)时，collection::add不是pertinent to applicability.
具体地说，就是这种情况:
如果
m是泛型方法，并且方法调用不提供显式类型参数，则是显式类型的lambda表达式或其对应的目标类型(从m的签名派生)为m的类型参数的精确方法引用表达式.
这里的m是doSome，这是一个泛型方法.collection:add是一个精确的方法参考.它的目标类型是(T) -> boolean(一个接受T并返回boolean的函数).(T) -> boolean包括类型参数T，因此它与适用性无关.
"与适用性相关"是Java决定在重载解析期间考虑哪些参数表达式的方式.它只是不考虑一些参数(那些与适用性无关的参数)，因为这会使重载解析过于复杂.
由于collection::add实际上被"忽略"了，所以除了doSome(Consumer)之外，doSome(T)也是一种适用的方法，这显然是适用的.因此，存在过载解析模糊性.
我只想添加一个演员阵容来解决这个问题:
doSome((Consumer<? super Other>)collection::add);
与适用性相关的演员角色表达is.
另请参阅关于隐式类型的lambda表达式的这similar question个表达式，这些表达式也与适用性无关.