c++ - 在派生类中声明非虚拟析构函数是否安全

Question

在程序中:

struct A
{
    virtual ~A(){ }
};

struct B : A
{
    ~B(){ }
};
int main(){ }

标准N4296::12.4/9:

If a class has a base class with a virtual destructor, its destructor (whether user- or implicitly-declared) is virtual.

所以，编译器会重新声明结构 B 中的析构函数为它自己的虚拟，对吗？那为什么我们被允许声明这样一个析构函数呢？这可能会让其他开发人员感到困惑。

Answer 1

覆盖虚拟成员函数的函数始终是虚拟的，无论您是否声明 virtual。因此 B::~B() 始终是虚拟的，因为 A::~A() 是虚拟的。