问题：

“override”关键字只是对被覆盖的虚拟方法的检查吗？

仉昂熙

2023-03-14

据我所知，在C 11中引入＜code＞override＜/code＞关键字只不过是一种检查，以确保正在实现的函数是基类中＜code＞虚拟＜/code＞函数的＜code＞override＜/code＞ing。

是这样吗？

共有3个答案

邹毅

2023-03-14

发现当有人更新基类虚方法签名时,“覆盖”是有用的，例如添加一个可选参数，但忘记更新派生类方法签名。在这种情况下，基类和派生类之间的方法不再是多态关系。如果没有覆盖声明，很难发现这种错误。

冯茂实

2023-03-14

维基百科引用：

重写特殊标识符意味着编译器将检查基类以查看是否存在具有此确切签名的虚拟函数。如果没有，编译器将出错。

http://en.wikipedia.org/wiki/C++11#Explicit_overrides_and_final

编辑（试图改进一点答案）：

将方法声明为“重写”意味着该方法旨在重写基类上的（虚拟）方法。重写方法必须具有与它打算重写的方法相同的签名（至少对于输入参数）。

为什么有必要这样做？好吧，可以防止以下两种常见的错误情况：

有人在新方法中打错了类型。编译器不知道它打算编写以前的方法，只是将其作为新方法添加到类中。问题是旧方法仍然存在，新方法只是作为一个重载添加。在这种情况下，所有对旧方法的调用都将像以前一样运行，而不会改变行为（这正是重写的目的）。

人们忘记了将超类中的方法声明为“虚拟”，但仍然试图在子类中重写它。虽然这显然会被接受，但行为不会完全符合预期：该方法不是虚拟的，因此通过指向超类的指针进行访问将结束调用旧的（超类）方法而不是新的（子类）方法。

添加“override”显然消除了这一点:通过这一点，我们告诉编译器有三件事是预期的:

如果其中任何一个为假，则发出错误信号。

^{* 注意：输出参数有时是不同的，但相关的类型。如果有兴趣，请阅读协变和逆变变换。}

樊浩初

2023-03-14

这确实是个主意。关键是你要明确自己的意思，这样就可以诊断出一个原本不存在的错误：

struct Base
{
    virtual int foo() const;
};

struct Derived : Base
{
    virtual int foo()   // whoops!
    {
       // ...
    }
};

上面的代码可以编译，但并不是您的意思（请注意缺少的const）。如果你说，virtualintfoo（）覆盖，那么你会得到一个编译器错误，你的函数实际上没有覆盖任何东西。

共有3个答案