多态性和继承

Question

我有这些类：

class A
 {
    public int Foo()
    {
        return 5;
    }
}

class B : A
{
    public int Foo() 
    {
        return 1; 
    }
}

并且我像这样使用它们：

        B b = new B();
        int x = b.Foo();

虽然基类中的 Foo() 不是虚拟的，或者在派生类中 - 它没有 override 关键字，但 x 仍然等于 1。那么，什么是使用 virtual 和 override 关键字？

Answer 1

多态性允许 B 型被视为 A 型。

A b = new B();
int x = b.Foo(); // x will be 1 if virtual, 5 if not.

Answer 2

假设这是 C#：

您没有重写 Foo。您隐藏了基类的 Foo。这意味着，如果您使用静态类型 B 调用 foo 变量，您将得到 B.Foo() 并调用静态类型 A > （即使运行时类型为 B）将为您提供 A.Foo()。

您的代码应该发出编译器警告，因为您在不使用 new 关键字的情况下隐藏了基本方法。

B b = new B();
int x = b.Foo();//calls B.Foo
A a = b;//Runtime type B, compiletime type A
a.Foo(); // calls A.Foo

如果您重写了 Foo，那么在这两种情况下您都会得到 B.Foo()。

Answer 3

您的声明类型是 B，因此您将调用 B 的实现..如果您的声明类型是 A 并且您正在实例化 B 的新实例，那么您将得到 5 作为声明类型，除非您使用 virtual 关键字来支持多态性..

Answer 4

将方法标记为虚拟可以使其多态。这意味着它可以在派生类中被重写。当您从基类引用调用多态方法时，它就会发挥作用。将在运行时调用的方法取决于基类引用所指向的对象的运行时类。如果它的运行时类型是基类本身，则调用的方法将是基类上的方法；如果运行时类型是已重写该方法的派生类型，则调用的方法将是该重写的方法。

如果该方法不是虚拟，则它将绑定调用在对象的编译时引用类型中声明的方法，而不管其运行时类型如何。

Answer 5

使方法成为虚拟的要点是当您通过基类指针或引用调用该方法时：

A p = new B();
int x = p.Foo();

在此示例中，p 的静态类型为 A，但动态类型为 B。这意味着，由于多态性，尽管静态类型为 A，但仍会调用 B.Foo。