无法理解java中的继承和覆盖/重载

Question

我有问题理解下面的代码（对行号进行了评论）

class Base {
    void m1(Object o) {
    }

    void m2(String o) {
    }
}

public class Overloading extends Base {

    void m1(String s) {
    }

    void m2(Object o) {
    }
public static void main(String[] args) {
    Object o = new Object();
    Base base1 = new Base();
    base1.m1("");//**why this works perfect**
    Base base = new Overloading();
    base.m2(o);// **why compile time error** - The method m2(String) in the type Base is not applicable for the arguments (Object)

Answer 1

编译器总是根据您调用它的引用的声明类型来解析方法调用。

当您调用该方法时：

base1.m1("");

编译器在声明的base1类型中查找方法签名，在本例中为Base 。 Base的匹配方法是：

void m1(Object o) { }

由于参数Object可以接受String参数，因此调用有效。 您可以将子类对象传递给超类引用。

---

现在，第二次调用：

base.m2(o);

再次声明的base类型是Base 。 Base类中的匹配方法是：

void m2(String o) { }

因为您无法传递接受String的Object引用。 编译器为您提供编译器错误。 没有隐含的缩小转换。

---

您可以通过简单的任务更清楚地理解它：

Object ob = new Integer(3);
String str = ob;  // This shouldn't be valid

Java不执行隐式缩小转换。 从obj到str的赋值应该无效，否则你将在运行时获得ClassCastException 。

Answer 2

在base.m2(o) ，编译器不知道base是Overloading - 它只知道它是Base 。 为什么忘记了？ 因为你说过了。

您告诉编译器将base作为Base ，通过使用Base base = ...声明它。

因此，根据您的指示，编译器会将base视为Base而不知道它可能或可能不会扩展的任何Base子类，并且（正确地）指出base可能不支持任意Object上的m2 。