泛型与& - 操作符和命令的模糊性

Question

我有一个奇怪的Java泛型模糊行为,我无法解释:

课堂上的3种方法:

public static <E extends ClassA & ClassB> void method(E val) {}
public static <E extends ClassC & ClassB & ClassA> void method(E val) {}
public static <E extends ClassB> void method(E val) {}

编译好.

但那些没有(歧义违规):

public static <E extends ClassA & ClassB> void method(E val) {}
public static <E extends ClassB & ClassC & ClassA> void method(E val) {}
public static <E extends ClassB> void method(E val) {}

(ClassA,ClassB,ClassC都是完全独立的接口!)

Answer 1

由于类型擦除,编译器需要为编译方法中的参数类型选择静态已知类型.

为此,它使用约束列表中的第一个类型.

在第一个示例中,这会为每个方法生成一个唯一类型,因此它会编译为

public static method(ClassA val);
public static method(ClassC val);
public static method(ClassB val);

这是完全合法的(除了您缺少的退货类型); 它使用三种不同的参数类型创建三个重载.

在第二个示例中,这会产生歧义:

public static method(ClassA val);
public static method(ClassB val);
public static method(ClassB val);

这不合法,因为最后两种方法具有相同的签名.

规范明确记录了这种行为.

通过尝试从每个重载中选择单个约束类型使得没有冲突,这可能是合法的,但对于较大的约束列表而言这将是复杂且缓慢的.
该规范可能会说:

如果它用于擦除参数列表中的类型,则选择在通用方法中擦除类型变量,使得该方法的每个重载在擦除后产生唯一的签名.
如果没有擦除组合将导致唯一签名,则会出现歧义错误.

我怀疑这个问题出现在NP中.

Answer 2

它在JLS#4.6中定义:

类型变量的擦除是其最左边界的擦除.

而如果两种方法具有相同的擦除,编译器给你一个错误.