使用有界类型参数的“两种方法都有相同的擦除”错误

Question

我第一次在 Java 中使用泛型，我遇到了一个我无法克服的问题：为什么会编译：

public interface Aa{}
public interface Bb{}
public interface Cc{}


public static <GenericAB extends Aa & Bb>
void method(GenericAB myABobject1, GenericAB myABobject2){}

public static <GenericAB extends Aa & Bb, GenericCA extends Cc & Aa>
void method(GenericAB myAbobject, GenericCA myCAobject){}

但这不是：

public interface Aa{}
public interface Bb{}
public interface Cc{}


public static <GenericAB extends Aa & Bb>
void method(GenericAB myABobject1, GenericAB myABobject2){}

public static <GenericAB extends Aa & Bb, GenericAC extends Aa & Cc>
void method(GenericAB myAbobject, GenericAC myACobject){}

我得到这个错误：两种方法都有相同的擦除。

如果这是一个愚蠢的问题，我很抱歉，但我不明白为什么有界类型参数声明中接口的顺序 似乎 很重要。 实际上，我不认为是导致错误的顺序，但我不明白是什么原因。

我正在阅读this documentation by Oracle，它说我必须将类作为第一个参数，但 Aa、Bb 和 Cc 都是接口。也对不起我的英语。

Answer 1

重要的是顺序 (§4.6)：

类型变量的擦除（第 4.4 节）是其最左边界的擦除。

GenericBC 擦除为Aa 或Cc，具体取决于哪个出现在边界中的第一个（即最左边）。

另请参阅type erasure tutorial 和type erasure, when and what happens Q&A，了解有关类型擦除的一般说明。

Answer 2

因为在类型擦除后的运行时，两个方法都有相同的方法头

public static <GenericAB extends Aa & Bb> void method(GenericAB myABobject1, GenericAB myABobject2){}

变成

public static void method(Aa myABobject1, Aa myABobject2){}

和

public static <GenericAB extends Aa & Bb, GenericBC extends Aa & Cc>void method(GenericAB myAbobject, GenericBC myBCobject){}

变成

public static void method(Aa myAbobject, Aa myBCobject){}

两种结果方法具有相同的签名，这会导致您的错误

在 cmet 以下参数固定后编辑