JDK 1.7 破坏了向后兼容性？（泛型）

java generics java-7 java-6

2022-09-03 14:06:36

我发现类似的主题，但过于复杂，并不完全相同。事情是这样的。这是（最小）代码，在1.6上很好，但不能用1.7 javac编译。

public class Test {
    private static class A<T>{};
    private static class B{};
    private static class C{};

    B doSomething(A<B> arg){
        return new B();
    }

    C doSomething(A<C> arg){
        return new C();
    }
}

在 1.7 上，错误是这样的：

java: name clash: doSomething(Test.A<Test.C>) and doSomething(Test.A<Test.B>) have the same erasure

我理解类型擦除以及为什么它是错误的代码。我只是不明白为什么我们可以在1.6中编译和运行我们的项目中有这个代码，而1.7有问题。怎么了？它是1.6编译器中的一个错误，它允许我们这样做吗？除了重写之外，是否有可能使其在1.7中工作？

JDK1.6 javac 版本： 1.6.0_43
JDK1.7 javac 版本： 1.7.0_25

答案 1

你是对的，在JLS3下，这段代码不应该编译，这是1.6中的一个错误。

对于 1.7 版本的许多基础类型系统进行了更新，并且修复了此 bug，结果是以一些向后兼容性问题为代价，更好地处理了类型。

至于让它在1.7中工作，我相信重构是你唯一的选择。

答案 2

它是Javac中已在Java 7中修复的错误之一 - 您可以在发行说明中找到更多信息。恐怕你唯一的选择是重写代码，如果你想切换到Java 7。

区域：工具
概要：一个类不能定义两个具有相同擦除签名但具有两个不同返回类型
的方法说明：一个类不能定义具有相同擦除签名的两个方法，无论返回类型是否相同。这遵循 JLS，Java SE 7 版，第 8.4.8.3 节。JDK 6编译器允许具有相同擦除签名但返回类型不同的方法;此行为不正确，已在 JDK 7 中修复。
示例：
class A {
    int m(List<String> ls) { return 0; }
   long m(List<Integer> ls) { return 1; }
}
此代码在 JDK 5.0 和 JDK 6 下编译，在 JDK 7 下被拒绝。