为什么我们要为Java中的子对象分配父引用？

Question

我在问一个很简单的问题，但我有点困惑。

假设我有一个类parent:

public class Parent {

    int name;
}

并具有另一个类child:

public class Child extends Parent{

    int salary;
}

最后是我的Main.java类

public class Main {

    public static void main(String[] args)
    {
        Parent parent = new Child();
        parent.name= "abcd";
    }
}

如果我将子对象创建为

Child child = new Child():

则child对象可以访问name和salary变量。

我的问题是：

Parent parent = new Child();

仅提供父类的name变量的访问权限。那么这条线的确切用途是什么？？

 Parent parent = new Child();

并且当它使用动态多态性时，那么为什么在这样做之后，child类的变量是不可访问的

Parent parent = new Child();

Answer 1

首先，对术语进行澄清：我们将child对象赋给parent类型的变量。parent是对一个对象的引用，该对象恰好是parent的子类型，即child。

它只在更复杂的示例中有用。假设您将GetEmployeeDetails添加到类父级：

public String getEmployeeDetails() {
    return "Name: " + name;
}

我们可以在child中重写该方法以提供更多详细信息：

@Override
public String getEmployeeDetails() {
    return "Name: " + name + " Salary: " + salary;
}

现在，您可以编写一行代码来获取任何可用的详细信息，不管对象是父还是子:

parent.getEmployeeDetails();

以下代码：

Parent parent = new Parent();
parent.name = 1;
Child child = new Child();
child.name = 2;
child.salary = 2000;
Parent[] employees = new Parent[] { parent, child };
for (Parent employee : employees) {
    employee.getEmployeeDetails();
}

将得到输出：

Name: 1
Name: 2 Salary: 2000

我们使用子作为父。它具有child类所特有的特殊行为，但是当我们调用getEmployeeDetails()时，我们可以忽略差异，而关注parent和child是如何相似的。这被称为亚型多态性。

您更新的问题询问当子对象存储在父引用中时，为什么不能访问child.salary。答案是“多态性”和“静态类型化”的交集。因为Java是在编译时静态类型化的，所以您可以从编译器得到一定的保证，但是您必须在交换中遵循规则，否则代码将无法编译。在这里，相关的保证是子类型（例如child)的每个实例都可以用作其超类型（例如parent)的实例。例如，当您访问Employee.GetEmployeeDetails或Employee.Name时，可以保证在任何非空对象上定义方法或字段，这些对象可以分配给类型为Parent的变量Employee。为了保证这一点，编译器在决定您可以访问什么时只考虑静态类型（基本上是变量引用的类型parent)。因此无法访问在对象的运行时类型child上定义的任何成员。

当您真正想将子用作父时，这是一个很容易接受的限制，您的代码将可用于父及其所有子类型。如果不能接受，请将引用的类型设为child。