为什么若静态方法不涉及多态性（后期绑定），我会看到静态方法不能被重写的错误

Question

请考虑以下代码：

class A{
    public static void m(Number n){
         System.out.println("Number A");
    };
}
class B extends A{
     public static int m(Number n){
        System.out.println("Number B");
        return 1;
      };
}

输出：

继承测试中的java:m（java.lang.Number）。B无法在inheritanceTest中重写m（java.lang.Number）。返回类型int与void不兼容

我知道静态方法不涉及多态性，因此我推断我的代码不可能重写。这个编译器消息对我来说很奇怪。

据我所知，重写是多态性的一部分。我准备scjp，我害怕在熟悉的问题上犯错误。

请澄清这个问题。

我的预期行为-有关重载错误的消息

P.S1。

我读过关于静态重写的热门问题，但并没有找到答案(

P. S2.根据Pshemo的回答：

此代码：

class Foo{
    public static void m(Number n){
         System.out.println("Number A");
    };
    public static int m(Number n){
        System.out.println("Number B");
        return 1;
    };
}

产出：

error: method m(Number) is already defined in class Foo
    public static int m(Number n){
                      ^
1 error

对我来说，这些情况都是一样的。但编译器错误是不同的——奇怪。

Answer 1

我认为“override”的编译器错误用法在这里有误导性，它不适用。

语言规范说：

如果返回类型为R1的方法声明d1重写或隐藏另一个返回类型为R2的方法d2的声明，则d1必须是可替换为d2的返回类型，否则会发生编译时错误。

这里，您的B方法隐藏了A.m的声明：

如果一个类声明了一个静态方法m，那么声明m被称为隐藏任何方法m'，其中m的签名是m'签名的子签名（§8.4.2），该方法位于该类的超类和超接口中，否则该类中的代码可以访问该方法。

如果您的B类没有m方法，那么您可以调用B.m，它将调用A上定义的m。

拥有B. m就是隐藏A版本的m。因为您可以调用在超类上定义的静态方法，但引用子类，这就设置了一些关于不同返回类型违反的方法的期望。

它是隐藏的，而不是重写的，因为如果您定义了一个B.m，您仍然可以调用a.m并获取该方法的超类版本。通过重写，由运行时类型决定调用什么以及如何调用并不重要。

Answer 2

即使静态方法不能被重写，它们仍然是继承的，所以你试图做的事情会导致类似于

class Foo{
    public static void m(Number n){
         System.out.println("Number A");
    };
    public static int m(Number n){
        System.out.println("Number B");
        return 1;
    };
}

这是错误的，因为不能有两个具有相同签名但具有不同返回类型的方法。它被禁止的原因很简单。。。假设我们有一些方法：

• Foo方法（）{返回新的Foo（）；}
• Bar方法（）{返回新的Bar（）；}

你会希望像这样调用它们

System.out.println(method());

结果应该是Foo还是Bar？编译器无法决定。

为了防止这种情况，编译器禁止通过更改其返回类型来重写/隐藏具有相同签名的方法。唯一的例外是当您将返回类型更改为更详细的返回类型时，如

class X{
    List<String> m(){...}
}

class Y extends X{
    LinkedList<String> m(){...}
}

所以似乎重写在这里不是最好的词。正确的单词应该是隐藏，因为静态方法可以隐藏，而不是重写。但是看起来相同的规则（或者至少其中的一部分）被用来测试我们是否可以隐藏方法作为重写的规则，所以在出现问题的情况下，会显示相同的错误消息（关于重写而不是隐藏），这可能会误导。

Answer 3

JLS§8.4.8.3（Java 8）规定：

如果返回类型为R_{1的方法声明d1覆盖或隐藏另一个返回类型为R2的方法声明d2，则d1对于d2必须是可替换的返回类型（§8.4.5），否则会发生编译时错误。}

同样的规则也适用于实例方法和静态方法，因为它表示“重写或隐藏”。基本上，如果您有一个具有相同名称和相同参数的方法，如果它是实例方法，它将覆盖，但是如果它是类（静态）方法，它将隐藏（继承的方法）。在这两种情况下，返回类型必须相同或遵守协方差规则。

因为它是相同的规则，很可能在编译器代码中只有一个地方检查这个规则，如果规则被违反，你会看到错误，我相信这是更常见的。编译器真的应该检查一下它是否应该说“覆盖”或“隐藏”，但是看起来它们滑了。获得正确的错误消息通常不是编译器编写者的最高优先级——相比之下，确保应该编译的代码这样做并正确运行，而不应该编译的代码则不正确。所以我认为这是一个不足，但非常小的不足。