理解Java的继承模型

Question

示例代码：

public class Parent {
  String name = "Parent";

  public String getName() {
    return this.name;
  }
}

public class Child extends Parent {
  String name = "Child";

  public String getName() {
    return this.name;
  }
}

public class Tester {
  public static void main (String[] args) {
    Parent p = new Child();
    Child  c = new Child();
    System.out.println("p.name is " + p.name); // prints out "Parent"
    System.out.println("c.name is " + c.name); // prints out "Child"
    System.out.println("p.getName() is " + p.getName()); // prints out "Child"
    System.out.println("c.getName() is " + c.getName()); // prints out "Child"
  }
}

我目前的理解

到目前为止，我对 Java 继承的理解让我理解了为什么第三和第四个 println 语句会产生“Child”作为输出。在编译时，编译器确保 getName 方法在引用变量的类型中定义，但在运行时确定哪个版本 getName。由于两个引用变量实际上都引用了一个Child 对象，因此调用了 Child 的getName。

问题 1

但是，为什么当你直接访问实例变量时，行为与访问方法的方式不同呢？特别是，p.name 返回的是“Parent”而不是“Child”，这让我感到很奇怪。

问题 2

类似地，如果我在 Child 类中注释掉 getName 函数并重新运行 Tester 中的代码，我会惊讶地看到 p.getName() 和 c.getName() 返回 "父”而不是“子”。

有人可以帮忙详细说明这两个问题吗？

Answer 1

在 Java 中不能覆盖变量。你所做的叫做隐藏变量（Parent中的变量name很难访问）

理解您所描述的行为的方法是将name 仅视为变量的名称，而不是实际变量。在Parent 的上下文中使用时（就代码而言，不是变量的实际类型），它指向的变量与在Child 的上下文中使用时不同。

当调用c.name 或p.name 时，您告诉程序使用哪个上下文，因为变量c 和p 分别声明为Child 和Parent 类型。在类内部的方法中使用它时，将使用当前类的变量。

如果你想在子类中使用Parent.name，你必须强制转换它：

System.out.println("c.name is " + ((Parent) c).name);

对于方法，调用的函数始终是被调用变量的实际类型。在您的情况下，无论从Tester、Parent 或Client 调用它。

当然最好不要隐藏变量，对不同的变量使用不同的名称。