使用受保护的非虚拟析构函数时抑制 delete-non-virtual-dtor 警告

Question

我有一个纯抽象接口类，以及一个实现该接口的派生类。

struct Foo
{
    virtual void doStuff() = 0;
};

struct Bar : Foo
{
    void doStuff() override { }
};

我的接口类没有虚拟析构函数。

因此，尝试使用基类指针破坏派生实例显然是未定义的行为

int main()
{
    Foo* f = new Bar;
    f->doStuff();
    delete f;
}

幸运的是，我的编译器足够聪明（使用-Werror）

main.cc:15:9: error: deleting object of abstract class type ‘Foo’ which has
    non-virtual destructor will cause undefined behaviour [-Werror=delete-non-virtual-dtor]
 delete f;
        ^

我可以通过确保不尝试使用基类指针删除来避免这种未定义的行为

int main()
{
    Bar* b = new Bar;
    b->doStuff();
    delete b;
}

不幸的是，它还不够聪明，无法发现这个程序格式正确，并吐出类似的错误

main.cc:15:9: error: deleting object of polymorphic class type ‘Bar’ which has 
    non-virtual destructor might cause undefined behaviour [-Werror=delete-non-virtual-dtor]
  delete b;
     ^

有趣的是它说可能会导致未定义的行为，而不是会

受保护的非虚拟析构函数：

在one of Herb Sutter's Guru of the Week's 中，他给出了以下建议：

准则 #4：基类析构函数应该是公共的和虚拟的，或者是受保护的和非虚拟的。

所以让我的析构函数保护为非虚拟的。

struct Foo
{
    virtual void doStuff() = 0;
protected:
    ~Foo() = default;
};

struct Bar : Foo
{
    void doStuff() override { }
};

现在，当我不小心尝试使用基类指针删除时，我又遇到了失败

int main()
{
    Foo* f = new Bar;
    f->doStuff();
    delete f;
}

main.cc:5:2: error: ‘Foo::~Foo()’ is protected
  ~Foo() = default;
  ^
main.cc:17:9: error: within this context
  delete f;
         ^

太好了，这给了我想要的东西。让我们修复代码，这样我就不会使用基类指针删除

int main()
{
    Bar* b = new Bar;
    b->doStuff();
    delete b;
}

不幸的是，我遇到了和以前一样的错误

main.cc:17:9: error: deleting object of polymorphic class type ‘Bar’ which has 
non-virtual destructor might cause undefined behaviour [-Werror=delete-non-virtual-dtor]
  delete b;
         ^

问题：

我怎样才能两全其美？

• 当我忘记创建受保护的非虚拟析构函数并尝试通过基类指针删除时保留delete-non-virtual-dtor 错误
• 当我使用受保护的非虚拟析构函数并通过派生类指针删除时抑制警告

超级棒的额外奖励：

• 当我忘记使用受保护的非虚拟析构函数时抑制警告，但我通过派生类指针正确删除

Answer 1

编译器告诉您问题出在 Bar 而不是 Foo。如果您要拥有另一个继承自 Bar 的类，请说 Baz：

struct Baz : public Bar
{
  void doStuff() override { }
};

这可能会导致未定义的行为，例如大小写

int main()
{
    Bar* bar_ptr = new Baz();
    bar_ptr->do_stuff();
    delete bar_ptr; // uh-oh! this is bad!
}

因为 Bar 中的析构函数不是虚拟的。因此解决方案是按照建议将 Bar 标记为 final，或者将 Bar 中的析构函数设为虚拟（因为它是公共的）或按照 Herb 的建议对其进行保护。

Answer 2

标记类final删除警告。

struct Bar final : Foo
{
    void doStuff() override { }
};

int main()
{
    Bar* f = new Bar;
    f->doStuff();
    delete f;
}

Demo