在 java 7 中编译时名称冲突编译错误，但在 java 5 中工作正常

Question

public interface Expression {

}

public interface ArithmeticExpression extends Expression {

}


public class StaticMethodDemo {
  public static void print(Expression e) {
    System.out.println("StaticMethodDemo");
  }

  public static List<Expression> convert(
        Collection<? extends Expression> input) {
    return null;
 }
}


public class StaticMethodChild extends StaticMethodDemo {

    public static void print(ArithmeticExpression e) {
    System.out.println("StaticMethodChild");
   }

   public static List<ArithmeticExpression> convert(
        Collection<? extends ArithmeticExpression> input) {
    return null;
  }
}

上面的代码在 java 5 中编译，但在 java 7 中没有，为什么？在 java 7 中，它给出了“名称冲突：StaticMethodChild 类型的方法 convert(Collection) 与 StaticMethodDemo 类型的 convert(Collection) 具有相同的擦除，但不隐藏它”

Answer 1

除了stonedsquirrel的回答，即使方法不是静态的，你也会得到同样的错误。

这是因为类型擦除，您将尝试使用不兼容的类型覆盖 convert。

查看以下answer 以获得很好的解释。

Answer 2

Java 不允许覆盖静态方法。见Why doesn't Java allow overriding of static methods?

你唯一能做的就是在子类中隐藏一个静态方法。隐藏意味着它不依赖于它被调用的对象类型，而是依赖于什么类型的类。见http://docs.oracle.com/javase/tutorial/java/IandI/override.html

现在的问题是，您的子类方法在形式上具有相同的签名，但由于泛型类型，它没有隐藏它。 Collection<? extends ArithmeticExpression> 既不是相同的，也不是Collection<? extends Expression> 的子类型，实际上阻止了正确、明确的隐藏。正如 Ayobi 指出的那样，引入了编译器规则以确保向后兼容：Method has the same erasure as another method in type

目前无法亲自尝试，但当两者具有相同的泛型类型时，错误应该会消失。虽然我不知道为什么 Java 5 中没有出现该错误。我猜他们在以后的版本中引入了该编译器规则，因为他们之前没有注意到它。