我有以下课程：
import java.util.HashSet;
import java.util.List;
public class OverloadTest<T> extends HashSet<List<T>> {
private static final long serialVersionUID = 1L;
public OverloadTest(OverloadTest<? extends T> other) {}
public OverloadTest(HashSet<? extends T> source) {}
private OverloadTest<Object> source;
public void notAmbigious() {
OverloadTest<Object> o1 = new OverloadTest<Object>(source);
}
public void ambigious() {
OverloadTest<Object> o2 = new OverloadTest<>(source);
}
}
这在JDK 7的javac和eclipse（符合性设置为1.7或1.8）下都可以正常编译。但是，尝试在JDK 8的javac下进行编译时，出现以下错误：
[ERROR] src/main/java/OverloadTest.java:[18,35] reference to OverloadTest is ambiguous
[ERROR] both constructor <T>OverloadTest(OverloadTest<? extends T>) in OverloadTest and constructor <T>OverloadTest(java.util.HashSet<? extends T>) in OverloadTest match
请注意，此错误仅适用于ambigous()方法中的构造函数调用，而不适用于方法中的构造函数调用notAmbiguous()。唯一的区别是ambiguous()依靠钻石操作员。
我的问题是：在JDK 8下的javac是否正确地标记了一个模糊的解决方案，还是在JDK 7下的javac未能抓住歧义？根据答案，我需要提交一个JDK错误或一个ecj错误。
在调用中，当显式调用T构造函数时，没有歧义：
OverloadTest<Object> o1 = new OverloadTest<Object>(source);
因为T是在构造函数调用时定义的，所以Object传递？在编译时扩展对象检查就可以了，并且没有问题。当T显式设置为Object时，两个构造函数的选择变为：
public OverloadTest(OverloadTest<Object> other) {}
public OverloadTest(HashSet<Object> source) {}
在这种情况下，编译器选择第一个很容易。在另一个示例中（使用菱形运算符），没有显式设置T，因此编译器首先尝试通过检查实际参数的类型来确定T，而第一个选项不需要这样做。
如果更改第二个构造函数以正确反映我想像的是所需的操作（由于OverloadTest是T列表的HashSet，则应该可以传入T列表的HashSet），如下所示：
public OverloadTest(HashSet<List<? extends T>> source) {}
...然后消除歧义。但是就目前而言，当您要求编译器解决该模棱两可的调用时，就会发生冲突。
编译器将看到菱形运算符，并将尝试根据传入的内容以及各种构造函数的期望来解析T。但是HashSet构造函数的编写方式将确保无论传入哪个类，两个构造函数都将保持有效，因为在擦除之后，T始终被Object取代。并且当T为Object时，HashSet构造函数和OverloadTest构造函数具有相似的擦除方式，因为OverloadTest是HashSet的有效实例。并且由于一个构造函数不会覆盖另一个构造函数（因为OverloadTest <T>不会扩展HashSet <T>），因此实际上不能说一个构造函数比另一个构造函数更具体，因此它不知道如何做出选择，而是抛出编译错误。
只会发生这种情况是因为使用T作为边界，您正在强制编译器进行类型检查。如果您只是将它做成<？>而不是<？扩展T>它将编译就好了。Java 8编译器在类型和擦除方面比Java 7更为严格，部分原因是Java 8中的许多新功能（例如接口防御程序方法）要求它们对泛型有一点点学问。Java 7没有正确报告这些情况。
本文收集自互联网，转载请注明来源。
如有侵权，请联系[email protected] 删除。
我来说两句