要求虚函数覆盖使用 override 关键字

Question

C++11 添加了override 以确保您编写的打算覆盖基类虚函数的成员函数实际执行（或不会编译）。

但是在大​​型对象层次结构中，有时您可能会意外地编写一个覆盖基类虚拟的成员函数，而您并不打算这样做！例如：

struct A {
    virtual void foo() { }  // because obviously every class has foo().
};

struct B : A { ... };

class C : B {
private:
    void foo() {
        // was intended to be a private function local to C
        // not intended to override A::foo(), but now does
    }
};

是否有一些编译器标志/扩展至少会在 C::foo 上发出警告？为了可读性和正确性，我只想强制所有覆盖都使用override。

Answer 1

看起来 GCC 5.1 版本添加了我正在寻找的 warning：

-Wsuggest-override
警告重写未用 override 关键字标记的虚函数。

使用-Wsuggest-override -Werror=suggest-override 编译将强制所有覆盖使用override。

Answer 2

您可以做两件事。

首先，Clang 3.5 及更高版本有一个-Winconsistent-missing-override 警告（由-Wall 触发）。这对您的示例不太适用，但前提是您要将void foo() override {} 添加到class B 而不是class C。你真正想要的是-Wmissing-override，来定位所有缺失的override，而不仅仅是那些不一致缺失的。目前没有提供，但您可能会在 Clang 邮件列表中投诉，他们可能会添加它。

其次，您使用Howard Hinnant's trick 暂时将final 添加到基类成员函数并重新编译。然后编译器将定位所有试图覆盖virtual 基成员函数的进一步派生类。然后，您可以修复丢失的那些。当你的类层次结构扩展时，这需要更多的工作并且需要经常重新检查。

Answer 3

我看到-Werror=suggest-override 的问题是它不允许您编写以下内容：

void f() final {...}

即使这里有一个隐含的override。 -Werror=suggest-override 不会忽略这一点（应该如此，因为在这种情况下 override 是多余的）

但比那更复杂...如果你写

virtual void f() final {...}

意思和

完全不同

virtual void f() override final {...}

第一种情况不需要覆盖任何东西！第二个。

所以我假设 GCC 检查是以这种方式实现的（即有时接受多余的 override），以便正确处理最后一个案例。但这玩得不好，例如使用 clang-tidy，它会在 final 足够时正确删除覆盖（但随后 GCC 编译将失败......）

Answer 4

GCC 和 Clang 包含在其他答案中。 my other answer 的 VC++ 也是如此：

下面是VC++中的相关警告编号：

C4263 (level 4) 'function': member function does not override any base class virtual member function
C4266 (level 4) 'function': no override available for virtual member function from base 'type'; function is hidden

要启用这两个警告，您可以使用以下选项之一：

1. 在项目设置中将警告级别设置为 4，然后禁用不需要的警告。这是我的首选方式。要禁用不需要的 4 级警告，请转到项目设置 > C/C++ > 高级，然后在禁用特定警告框中输入警告编号。

2. 使用代码启用以上两个警告。

   #pragma warning(default:4263)
   #pragma warning(default:4266)
   

3. 在项目设置> C/C++ > 命令行中启用以上两个警告，然后输入/w34263 /w34266。这里 /wNxxxx 选项意味着在 N 级启用 xxxx 警告（N = 3 是默认级别）。您也可以执行 /wdNxxxx 来禁用 N 级的 xxxx 警告。