要求虚函数重写使用override关键字

Question

C 11添加了＜code＞override＜/code＞，以确保您编写的打算重写基类虚拟函数的成员函数实际执行（或不会编译）。

但在大型对象层次结构中，有时您可能会意外地编写一个成员函数，该函数在您不打算的情况下重写基类virtual！例如：

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
    }
};

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

Answer 1

我看到的-Weror=建议重写的问题是它不允许您编写以下内容：

void f() final {...}

即使这里有一个隐式的< code>override。< code >-Werror = suggest-override 不会忽略这一点(这是应该的，因为< code>override在这种情况下是多余的)

但要比那更复杂…如果你写

virtual void f() final {...}

这意味着完全不同于

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

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

因此，我假设GCC检查是以这种方式实现的（即有时接受冗余的＜code＞override＜/code＞），以便正确处理最后一种情况。但这并不能很好地发挥作用，例如，当final足够时，clang-time将正确删除覆盖（但GCC编译将失败…）

Answer 2

你可以做两件事。

首先，Clang 3.5及更高版本有一个-Winconaced-noised-overide警告（由-Wall触发）。这对您的示例不太起作用，但前提是您要将空foo（）覆盖{}添加到类B而不是在类C中。您实际上想要的是-Wisacing-overide，以定位所有丢失的覆盖，而不仅仅是不一致的丢失。目前没有提供，但您可能会在Clang邮件列表中投诉，他们可能会添加它。

其次，您使用Howard Hinnant的技巧将最终临时添加到基类成员函数并重新编译。然后，编译器将找到所有试图覆盖虚拟基本成员函数的进一步派生类。然后，您可以修复丢失的那些。这需要更多的工作，并且需要在类层次结构扩展时经常重新检查。

Answer 3

看起来GCC 5.1版本添加了我一直在寻找的警告:

-W建议-覆盖

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