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

如何在c ++中找到几乎覆盖的函数

1 个答案: