重写非虚拟方法

Overriding non-virtual methods

本文关键字：方法 虚拟 重写      更新时间：2023-10-16

让我们假设 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;
};

从理论上讲，这个小应用程序的输出应该是：

  • 基础：非虚拟显示。
  • 底座：虚拟显示。
  • 基础：非虚拟显示。
  • 派生：虚拟显示。

因为基类的 Display 方法不是虚拟方法，所以派生类应该不能重写它。右？

问题是当我运行应用程序时，它会打印以下内容：

  • 基础：非虚拟显示。
  • 底座：虚拟显示。
  • 派生：非虚拟显示。
  • 派生：虚拟显示。

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

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

是的，你有点误解了。

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

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

例如，尝试添加以下行：

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

。并按预期观察输出：

基础：非虚拟显示。
底座：虚拟显示。
基础：非虚拟显示。
派生：虚拟显示。

是的，你有点误解了：

纯虚函数：

virtual void fun1()=0 ->必须在派生类中重写

虚拟功能：

virtual void fun2() -> 可以覆盖

正常功能：

void fun3() -> 不要覆盖它

为了实现运行时多态性，您需要在 c++ 中覆盖虚函数

我认为在

静态与动态绑定的上下文中查看它也可能更好。

如果该方法是非虚拟的（默认情况下，它已经C++与 Java 不同），那么该方法在编译时绑定到它的调用方，这不可能知道将在运行时指向的实际对象。因此，变量类型才是最重要的"基础"。

相关文章：