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