如我所知，任何被指定具有子类的类都应该用虚拟析构函数声明，这样当通过指针访问类实例时，类实例可以被正确地销毁。

但是为什么用非虚拟析构函数声明这样的类是可能的呢？我相信编译器可以决定何时使用虚拟析构函数。那么，这是C++设计的疏忽，还是我错过了什么？

Are there any specific reasons to use non-virtual destructors?

是的，有。

主要归结为性能。不能内联虚拟函数，必须先确定要调用的正确函数(需要运行时信息)，然后调用该函数。

在性能敏感的代码中，无代码和"简单"函数调用之间的区别可能会产生差异。与许多语言不同，C++不认为这种差别是微不足道的。

But why it's even possible to declare such class with non-virtual destructor?

因为(对于编译器)很难知道类是否需要虚拟析构函数。

以下情况下需要虚拟析构函数：

• 在指针上调用delete。
• 通过基类到派生对象

当编译器看到类定义时：

• 它不知道您打算从这个类派生——毕竟您可以从没有虚拟方法的类派生
• 但更可怕的是：它不知道您打算在这个类上调用delete

许多人认为多态性需要更新实例，这完全是缺乏想象力：

在这种情况下，不需要为虚拟析构函数付费，因为在销毁时不涉及多态性。

最后，这是一个哲学问题。在实用的情况下，C++选择默认的性能和最小服务(主要是RTTI除外)。

关于警告。有两个警告可用于发现问题：

• -Wnon-virtual-dtor(gcc，clang)：当具有虚函数的类没有声明虚析构函数时发出警告，除非基类中的析构函数被设置为protected。这是一个悲观的警告，但至少你不会错过任何东西。

• -Wdelete-non-virtual-dtor(clang，也移植到gcc)：在指向具有虚拟函数但没有虚拟析构函数的类的指针上调用delete时发出警告，除非该类被标记为final。它有0%的假阳性率，但警告"迟到"(可能几次)。