Java中类型擦除后具有相同签名的静态方法

Question

这是关于在 Java 中使用参数化类型的签名方法的另一个问题。

假设你有以下两种方法：

    static void f(List<Integer> l) {}
    static void f(List<String> l) {}

编译器会抱怨两种方法在类型擦除后具有相同的签名（两种参数类型都被擦除为 List）。

stackoverflow 上的许多类似问题都问为什么会这样，但问题总是与实例（非静态）方法有关（例如，参见 Method has the same erasure as another method in type）。

通常一半的答案基于以下（非常错误的）论点：编译器会删除字节码中的所有类型参数并使方法无法区分。好的，只需使用javap 打印字节码，您就会看到是否所有内容都被删除了！ （虽然字节码丢失了很多参数化数据，但实际上保留了完整的方法签名，当您想使用包含泛型类和方法的依赖项编译新类时，这绝对有用）。

另一方面，最佳答案通常引用 JLS 8.4.2 并解释说，为了与旧的、预泛型的 Java 版本（以及较新版本中的原始类型）兼容，禁止使用具有覆盖等效签名的方法。

我对后一个参数没意见，除了它只意味着实例方法（非静态），因为静态方法无论如何都不能被覆盖。

对于静态方法可能有类似的解释，但我无法确定它。有人可以帮我理解这一点吗？

Answer 1

向后兼容的论点仍然成立。

如果您有这段代码（不使用泛型，强烈反对，但即使在今天也是合法的，并且在应该仍然编译的 Java 1.4 代码中完全正常），编译器应该选择您的两种方法中的哪一种？

List rawList = new ArrayList();
YourClass.f(rawList);

更重要的是，假设您以某种方式选择两者之一，在生成的调用站点字节码中，泛型仍然被删除，因此在运行时，JVM 不知道您的意思是两个f(List) 中的哪一个。方法调用指定方法名称和签名，但该签名不包括泛型。这不是由于兼容性问题。他们是否可以尝试通过诸如具有扩展调用规范的新操作码之类的东西来更加努力地推动这一点？也许。但现在就是这样。

另一方面，最佳答案通常引用 JLS 8.4.2 并解释说，为了与旧的、预泛型的 Java 版本（以及较新版本中的原始类型）兼容，禁止使用具有覆盖等效签名的方法。

我对后一个参数没意见，除了它只意味着实例方法（非静态），因为静态方法无论如何都不能被覆盖。

好吧，你不能覆盖静态方法，但你的两个方法仍然是“覆盖等效的”，这意味着它们有一个非常接近的签名，你一次只能有一个（在子类中）在这种情况下，如果因此被继承，一个会覆盖另一个——但这也意味着您不能在同一个类上拥有两个这样的方法。

请注意，这不会造成任何实际问题，因为您始终可以通过更改为不同的方法名称来避免“重载”。