在 C 11 中同时使用虚拟关键字和覆盖关键字有什么微妙之处吗？

Question

在C语言中对一个函数同时使用< code>virtual和< code>override有危险吗？这会让你对重载产生歧义吗？

显然，virtual必须在基类中使用，在派生类中不使用override是很愚蠢的，但在派生类中将virtual与override一起使用实际上有问题吗？

试图确定这是一个风格还是正确性的问题。

例子：

class Widget {
  virtual void transmogrify() = 0;
}

class Gadget : public Widget {
  virtual void transmogrify() override {}
}

Answer 1

在您的示例中，您说的是关于 Gadget 方法转换的两件不同但重要的事情

virtual-如果一个类派生自Gadget，则派生类会将transmogrify函数视为虚拟

覆盖-Gadget类正在显式覆盖基类Widget的Transmogrfy版本。

这两部关键作品是正交的，互不影响。override 关键字的好处是它向编译器声明您正在尝试重写继承的虚拟函数。如果您在基类上匹配函数的函数签名时出错，则它不会编译，因为如果声明为覆盖，它必须覆盖继承的函数

Answer 2

比赛开始较晚，但本C核心指南似乎与此相关：

原因

可读性。错误的检测。编写显式虚拟、覆盖或最终是自文档化的，使编译器能够捕捉基类和派生类之间类型和/或名称的不匹配。然而，编写这三个中的一个以上既是多余的，也是潜在的错误来源。

这很简单明了：

< li> virtual的确切含义是“这是一个新的虚函数” < li> 覆盖的确切含义是“这是一个非最终覆盖” < li> final的确切含义是“这是最终否决”

Answer 3

重写时，虚拟关键字无效。与基类中定义的虚函数签名匹配的派生函数将重写基本定义，并且重写将在vtable中输入，无论派生类中是否使用了虚拟关键字。

因为如果不进行重写，< code>override关键字会导致编译错误，所以组合使用< code>virtual关键字是没有用的。

在这里，有一个备忘单：

| Keyword used | Matching virtual function in base class | Result                   |
|--------------|-----------------------------------------|--------------------------|
| Neither      | No                                      | New non-virtual function |
| Neither      | Yes                                     | Override                 |
| virtual      | No                                      | New virtual function     |
| virtual      | Yes                                     | Override                 |
| override     | No                                      | Compile error            |
| override     | Yes                                     | Override                 |
| Both         | No                                      | Compile error            |
| Both         | Yes                                     | Override                 |