import java.util.function.*;
class Test {
void test(int foo,Consumer<Integer> bar) { }
void test(long foo,Consumer<Long> bar) { }
void test(float foo,Consumer<Float> bar) { }
void test(double foo,Consumer<Double> bar) { }
}
当我用javac -Xlint Test.java编译它时,我得到了几个警告：
Test.java:4: warning: [overloads] test(int,Consumer<Integer>) in Test is potentially ambiguous with test(long,Consumer<Long>) in Test
void test(int foo,Consumer<Integer> bar) { }
^
Test.java:6: warning: [overloads] test(float,Consumer<Float>) in Test is potentially ambiguous with test(double,Consumer<Double>) in Test
void test(float foo,Consumer<Float> bar) { }
^
2 warnings
如果我将Consumer改为Supplier,警告消失.这个程序是免费的：
import java.util.function.*;
class Test {
void test(int foo,Supplier<Integer> bar) { }
void test(long foo,Supplier<Long> bar) { }
void test(float foo,Supplier<Float> bar) { }
void test(double foo,Supplier<Double> bar) { }
}
这是为什么？这个警告是什么意思？这些方法如何模糊？抑制警告是否安全？
解决方法
test(1,i -> { });
我的类型是什么？编译器在完成重载分辨率之前无法推断出这一点,但值1匹配所有四个重载.无论选择哪个超负荷都会影响第二个参数的目标类型,这反过来将影响为i推断的类型.这里真的没有足够的信息来编译器来决定要调用哪个方法,所以这一行实际上会导致编译时错误：
error: reference to test is ambiguous
both method test(float,Consumer<Float>) in Test and
method test(double,Consumer<Double>) in Test match
(有趣的是,它提到了float和double重载,但是如果你对其中的一个发表评论,你会得到相同的长时间重载错误.)
可以想象一个策略,编译器使用最具体的规则完成重载解析,从而选择使用int arg的重载.那么它将有一个明确的目标类型来应用于lambda.编译器设计者觉得这太微妙了,而且有些情况下程序员会惊讶于哪个重载最终被调用.而不是以可能的意想不到的方式编译程序,他们认为使这个错误更加安全,并强制程序员消除歧义.
编译器在方法声明中发出警告,以指示程序员可能编写的代码来调用其中一个方法(如上所示)将导致编译时错误.
要消除这个电话的歧义,只好写一个
test(1,(Integer i) -> { });
或者为i参数声明一些其他显式类型.另一种方法是在lambda之前添加一个cast：
test(1,(Consumer<Integer>)i -> { });
但这可以说更糟.您可能不希望您的API的呼叫者必须在每个呼叫点与这种事情搏斗.
供应商案例不会出现这些警告,因为供应商的类型可以通过本地推理来确定,而不需要任何类型的推断.
你可能想要重新思考将这个API放在一起的方式.如果您真的想要使用这些参数类型的方法,那么可以重命名方法testInt,testLong等,并避免完全重载.请注意,在类似的情况下,Java SE API已经做到了这一点,比如比较比较,比较长和比较比较比较;还可以在Stream上映射ToInt,mapToLong和mapToDouble.
