c++ - 如何查找在 C++ 中几乎被覆盖的函数

Question

我今天遇到了一个错误，我无意中向虚函数添加了一个参数，从而破坏了从它派生的任何函数的虚拟继承链，例如从下面的代码开始

// Original code

class A
{
public:
  virtual int f() { return 0; }
}; 

class B : public A
{
public:
  int f() { return 1; }
}; 

int func1(A &a)
{
  return a.f();
}

int main
{
  B b;
  return func1(b);  // returns 1
}

一个额外的参数被添加到 A::f() 打破了派生类 B 的虚拟继承

// Modified code

class A
{
public:
  virtual int f(int x = 0) { return 0; }
}; 

class B : public A
{
public:
  int f() { return 1; }
}; 

int func1(A &a)
{
  return a.f();
}

int main
{
  B b;
  return func1(b);  // returns 0
}

这让我感到奇怪的是，在我目前使用的大型代码库中，很可能还有其他类似的错误潜伏而未被发现。对于新代码，我使用 override说明符，但是对于现有的遗留代码是否有检测这个潜在问题的方法？我正在使用 VS2015 更新 2。根据这个 related question ，静态代码分析会找到从未被调用的代码，但在这种情况下，代码仍然很有可能被其他地方调用。

Answer 1

C++11 中的override 功能正是您在这里需要的:

class B : public A
{
public:
  int f() override { return 1; } // will not compile
};

此功能专门用于捕获像您这样的案例。

如果您坚持在不编辑代码的情况下检查此类内容，那么您可以考虑购买高级静态分析器。其中一些可以检测到这样的问题。如果您使用 -Wall(您应该这样做!)，Clang 也可以检测到它:

warning: 'B::f' hides overloaded virtual function [-Woverloaded-virtual]
    int f() { return 1; }
        ^
note: hidden overloaded virtual function 'A::f' declared here: different number of parameters (1 vs 0)
    virtual int f(int x = 0) { (void)x; return 0; }