Java中的擦除和重载类型：为什么这样做有效？

Question

我有以下代码：

public class Pair< T, U > {
    public T first;
    public U second;
}
public class Test {
    public int method( Pair< Integer, Integer > pair ) {
        return 0;
    }
    public double method( Pair< Double, Double > pair ) {
        return 1.0;
    }
}

实际上，它可以像人们期望的那样进行编译和工作。但是，如果将返回类型设为相同，则不会编译，因为预期的“名称冲突：method（Pair）和method（Pair）具有相同的擦除”

鉴于返回类型不是方法签名的一部分，这种重载怎么可能？

Answer 1

考虑以下4种方法

           Java code                        bytecode

m1:    Byte f(List<Byte> list)           f List -> Byte
m2:    Long f(List<Byte> list)           f List -> Long
m3:    Byte f(List<Long> list)           f List -> Byte
m4:    Long f(List<Long> list)           f List -> Long

根据当前的Java语言规范，

• m1和m2无法共存，m3和m4也不能共存。因为它们具有相同的参数类型。

• M1和M3可以共存，M1和M4也可以共存。因为它们具有不同的参数类型。

但是javac 6仅允许m1 + m4，不允许m1 + m3。这与方法的字节码表示有关，其中包括返回类型。因此，m1 + m4可以，但m1 + m3则不行。

这是Java和JVM规范无法相互对照的一个附加条件。javac没有“正确”的方法。

好消息是，过载是虚荣，而不是必要。对于这些方法，我们总是可以使用不同的，更具描述性的和不同的名称。