为什么动态方法dispatch和超类变量可以引用子类对象

Question

我真的很想了解这些的实时用途是什么：

1.Java概念"超级类变量可以引用子类对象"有什么用即使这样，SuperClass变量只能用于访问由SuperClass定义的对象的那些部分，但不能访问子类成员。这甚至可以通过子类对象来实现。

2.动态方法调度需要什么？下面是一个例子：

class A
{
   void disp()
    {
      System.out.println("in A");
    }
}
class B extends A
{
    void disp()
    {
        System.out.println("in B");
    }
}
class C extends A
{
    void disp()
    {
        System.out.println("in C");
    }
}
public class mainclass
{
    public static void main(String[] args)
    {
        A a= new A();
        B b=new B();
        C c=new C();
        A ref;
        ref=b;
        ref.disp();//calls class B method
        ref=c;
        ref.disp();//calls class C method
        ref=a;
        ref.disp();//calls class A method
    }
}

上面的代码通过将不同的子类对象分配给超类引用变量来使用动态方法分派。我的问题是，为什么要使用"ref"并为其分配对象，然后调用函数？即使不使用这个"ref"和对象分配（动态调度），我们也可以调用子类函数。

我们也可以这样称呼：

a.disp();//calls A method
b.disp();//calls B method and so on.
c.disp();

有人能帮我理解这两个概念的实时用法吗？

提前谢谢。

Answer 1

运行时多态性是实现接口编码的一种方式，而不是实现！

多态性就像声明一个统一的接口，将实现细节留给实现接口的具体类型。这就像定义一个绑定到所有实现接口的人的契约。这使得对象可以在不知道其确切类型的情况下相互交互。

让我们假设您有一个方法（琐碎的例子）：

public boolean remove(List list) {
   return list.remove();
}

由于您已经定义了类型List接口的参数，因此可以在运行时接受List实现的任何对象。这样，只要传递给该方法的对象实现List，就不必为每个List实现编写单独的方法remove()。

另请阅读：

1. 利斯科夫替代原则
2. 打开/关闭原理