C覆盖说明符没有虚拟？覆盖是否意味着虚拟？[重复]

Question

链接的问题不一样 - 甚至没有提到覆盖

编辑：新的副本列表包含一个合法的副本，我在搜索中没有找到。

在问这个问题之前，我不知道是否在派生类成员中使用虚拟的选择对某些人来说将是一个有争议的问题。

我刚刚遇到了一些如下所示的源代码：

class A
{
    virtual void method();
};

class B : public A
{
    void method() override;
}

我不确定如何解释这个，甚至在读完这个之后。

这里的< code>override是指< code>virtual吗？< code>void B::method()未被标记为虚函数，但被标记为< code>override。那么，为什么这样做有效，并且不会导致编译错误呢？

以下两者有什么区别吗？（在B类中）

• void method（） override;
• 虚拟无效方法（） 覆盖;

Answer 1

是的，重写意味着虚拟，因为如果函数尚未在基类中声明为 virtual，则重写将是一个错误（并由编译器诊断为错误），并且将 virtual 和 override 添加到同一函数是多余的（就像在派生类中添加 virtual 关键字是多余的一样 - 基类中虚拟的函数始终是虚拟的在派生类中，即使没有显式标记为这样）。但是，这也意味着覆盖不会使函数成为虚拟函数（如果它还没有的话）。

您显示的代码非常合理。它清楚地传达了（通过覆盖关键字）该函数是虚拟，并且覆盖是基类中的虚拟函数（所有这些都只有一个关键字）。

Answer 2

覆盖是否意味着这里是虚拟的？

对只能重写虚拟方法<非虚拟方法上的code>override是一个错误。

< code>void B::method()未标记为虚函数，[..]

在基类中将方法声明为虚拟就足够了。在从 A 派生的所有类中，该方法都是虚拟的。将虚拟说明符添加到 B：：方法 将是多余的。

以下两者有什么区别吗？[...]

在派生类中也提到方法是虚拟对易读性有好处。尽管，由于只能覆盖虚拟方法，指定覆盖就足够了，以明确它是一个虚拟方法。

Answer 3

你要找的答案是https://en.cppreference.com/w/cpp/language/virtual

如果某个成员函数 vf 在类 Base 中声明为虚拟，并且某个类派生（直接或间接从 Base 派生）具有具有相同名称的成员函数的声明 参数类型列表（但不是返回类型） cv-限定符 ref-qualifier 则类 Derived 中的这个函数也是虚拟的（无论在其声明中使用关键字 virtual ）并覆盖 Base：：VF（无论在其声明中是否使用单词覆盖）。