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

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){}

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

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

我正在读Oracle的文档，它说我必须把类作为第一个参数，但是Aa，Bb和Cc都是接口。对我的英语也感到抱歉。

Answer 1

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

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){}

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

修复以下参数注释后进行编辑

Answer 2

重要的是顺序（§4.6）：

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

genericbick擦除为Aa，或Cc，具体取决于绑定中最先出现的（即最左边）。

另请参阅类型擦除教程和类型擦除，何时和发生什么