c++ - 覆盖非虚拟方法

Question

让我们假设 Visual C++ 2010 中的这种情况:

#include <iostream>
#include <conio.h>

using namespace std;

class Base
{
public:
    int b;
    void Display()
    {
        cout<<"Base: Non-virtual display."<<endl;
    };
    virtual void vDisplay()
    {
        cout<<"Base: Virtual display."<<endl;
    };
};

class Derived : public Base
{
public:
    int d;
    void Display()
    {
        cout<<"Derived: Non-virtual display."<<endl;
    };
    virtual void vDisplay()
    {
        cout<<"Derived: Virtual display."<<endl;
    };
};

int main()
{
    Base ba;
    Derived de;

    ba.Display();
    ba.vDisplay();
    de.Display();
    de.vDisplay();

    _getch();
    return 0;
};

理论上，这个小应用的输出应该是:

• 基础:非虚拟显示。
• 基地:虚拟展示。
• 基础:非虚拟显示。
• 派生:虚拟显示。

因为 Base 类的 Display 方法不是虚拟方法，所以 Derived 类应该不能覆盖它。对吧？

问题是当我运行应用程序时，它会打印:

• 基础:非虚拟显示。
• 基地:虚拟展示。
• 衍生:非虚拟显示。
• 派生:虚拟显示。

所以要么我不理解虚方法的概念，要么在 Visual C++ 中发生了一些奇怪的事情。

有人可以帮我解释一下吗？

Answer 1

是的，你有点误会了。

派生类上的同名方法在这种情况下会隐藏父方法。您可以想象，如果不是这种情况，尝试创建与基类非虚拟方法同名的方法应该会引发错误。这是允许的，这不是问题——如果你像你一样直接调用该方法，它会被调用。

但是，由于是非虚拟的，因此不会使用允许多态性的 C++ 方法查找机制。例如，如果您创建了派生类的实例，但通过指向基类的指针调用了“Display”方法，则将调用基类的方法，而“vDisplay”将调用派生方法。

例如，尝试添加这些行:

Base *b = &ba;
b->Display();
b->vDisplay();
b = &de;
b->Display();
b->vDisplay();

...并按预期观察输出:

Base: Non-virtual display.
Base: Virtual display.
Base: Non-virtual display.
Derived: Virtual display.