我应该使用虚拟，覆盖，还是两个关键字都用？

Question

在过去的几周里，有一些关于< code>virtual和< code>override的事情困扰着我的大脑。我了解到，当你用虚函数做继承时，你必须添加< code>virtual来让编译器知道搜索正确的函数。后来我还了解到在c 11中有一个新的关键字- override。现在我有点迷茫；我需要在程序中同时使用虚拟关键字和重写关键字吗，或者最好只使用其中一个？

解释我自己-我的意思的代码示例：

class Base
{
public:
    virtual void print() const = 0;
    virtual void printthat() const = 0;
    virtual void printit() const = 0;
};

class inhert : public Base
{
public:
    // only virtual keyword for overriding.
    virtual void print() const {}

    // only override keyword for overriding.
    void printthat() const override {}

    // using both virtual and override keywords for overriding.
    virtual void printit() const override {}
};

最好的方法是什么？

Answer 1

根据C核心指南C.128，每个虚拟函数声明都应指定virtual、override或final中的一个。

• virtual：用于基类中函数的“第一次”出现
• ＜code＞override＜/code＞：对于从提供相同（或协变）签名的＜code＞virtual＜/code>函数的某个基类派生的类中的＜code＜virtual＜/code＞函数的重写＜/li＞
• final：用于将覆盖标记为不可覆盖。也就是说，具有最终虚拟函数重写的类的派生不能重写该虚拟函数重写

struct A {
    virtual void go() { puts("A"); }
};
struct B : A {
    // Overrides A::go(). No need to specify `virtual` explicitly,
    // it already implicitly is virtual and overrideable
    void go() override { puts("B"); }
};
struct C : B {
    void go() final { puts("C"); }
    //virtual void go() override final { puts("C"); } would still compile,
    // but it is considered, for lack of a better description, "extra"
};
struct D : C {
    // Would produce error C3248 : 'C::go' : function declared as 'final' cannot be overridden by 'D::go'
    //void go() override { puts("D"); }
};

Answer 2

重写函数时，技术上不需要编写virtual或override。

原始基类声明需要关键字虚拟将其标记为虚拟。

在派生类中，通过与基类函数具有¹相同的类型，该函数是虚拟的。

然而，当预期的重写在技术上不是重写时，重写可以通过生成编译错误来帮助避免错误。例如，函数类型与基类函数不完全相同。或者基类的维护更改了函数的类型，例如添加默认参数。

同样，派生类中的 virtual 关键字可以通过确保函数在进一步的派生类中仍然是虚拟的，使此类错误更加微妙。

所以一般的建议是，

>

将 virtual 用于基类函数声明。
这在技术上是必要的。

对派生类的重写使用override（仅限）
这有助于维护。

示例：

struct Base { virtual void foo() {} };
struct Derived: Base { void foo() override {} };

^{注意：
¹ C 支持协变原始指针和原始引用结果。对于协方差，覆盖的类型并不完全相同。它只有一个兼容的类型。}