Java 中的重写规则

Question

这里有两个例子：

public class A {
    public void foo(A a) {
        System.out.println("in A");
    }
}


public class B extends A {      
    public void foo(B b) { // (1)
        System.out.println("in B");
    }
    public void f(Object o) { // (2)
        System.out.println("in B");
    }
}

我不明白为什么 (1) 和 (2) 被认为是 A 的 foo() 的重写方法。方法 1 接受比原始 foo() 更低的类，我的意思是我不能向她发送任何 A 类。据我所知，(1) 不扩展 foo ()，但它仍然算作覆盖 - 为什么？（与（2）类似，但相反）。

我让我认为它被覆盖的原因是这样的：

当我尝试运行时

  B b = new B();

  b.foo(b);

，它会检查 A 是否有一个接受 B 的 foo代码>.因为每个 B 都是一个 A，所以它确实有一个，所以它应该打印“in A”而不是“in B”，因为 B 不会覆盖它。但它打印“in B”..

Answer 1

它们都没有重写超类 A'a 方法。

class A {
  public void foo(A a) {
    System.out.println("in A");
  }
}


class B extends A {

  @Override
  public void foo(B b) {
    System.out.println("in B");
  }
  @Override
  public void foo(Object o) {
    System.out.println("in B");
  }
}

当我编译上面的代码时，我收到错误：

$ javac -g O.java 
O.java:10: method does not override or implement a method from a supertype
  @Override
  ^
O.java:14: method does not override or implement a method from a supertype
  @Override
  ^
2 errors

但请注意，可以从重写方法返回子类。以下编译无错误。

class A {
  public A foo() {
    System.out.println("in A");
    return this;
  }
}

class B extends A {
  @Override
  public B foo() {
    System.out.println("in B");
    return this;
  }
}

Answer 2

为了让覆盖发挥作用，方法签名应该相同。在这种情况下，他们不是因为他们所采取的论点不同。它们只是成员函数，其中 1,2 是重载。 （考虑 2 是一个拼写错误。它应该是 foo 而不是 f ）

Answer 3

1) 和 2) 都不会覆盖任何内容，因为您可以通过添加 @Override 注释来验证这一点：

public class B extends A {

    @Override
    public void foo(B b) {
        System.out.println("in B");
    }

    @Override
    public void f(Object o) {
        System.out.println("in B");
    }
}

这两种方法都不会编译，因为它不会覆盖任何内容。