带虚函数、析构非虚的非final类：为何栈析构不报错而堆删除报错？

要理清这个问题，首先要明确这个编译选项的设计初衷和触发边界，不能泛化理解为“只要类有虚函数、析构非虚就会触发报错”。

编译选项的核心触发规则 #

-Wdelete-non-virtual-dtor 是专门针对指针跨类型销毁的未定义行为设计的专项告警，核心触发逻辑非常明确：
当对一个指向多态类型（即类本身声明了虚函数）的指针执行delete操作时，如果该类型的析构函数不是虚的，就弹出告警。
这个告警要规避的典型UB场景是：开发者将派生类的指针向上转型为基类指针，再通过基类指针执行delete时，如果基类的析构是非虚的，程序将无法正确调用派生类的析构逻辑，直接触发C++标准定义的未定义行为。

不同场景的告警逻辑差异 #

• 堆上通过Derived*指针执行delete
  这里触发告警的原因非常直接：示例中的Derived类本身是带虚函数的多态类型（存在virtual void foo()），但由于它继承的基类Base析构为非虚，导致Derived自身的析构也不具备虚属性。编译器会预判这类设计的极高误用风险：开发者极有可能后续将Derived*向上转型为Base*后执行delete操作，因此哪怕当前代码是直接通过Derived*完成堆对象销毁，也会提前弹出告警。
• 手动调用d.~Derived()
  手动调用析构本质是显式调用类自身的成员函数，完全不存在跨类型指针销毁的路径：
  • GCC的检查规则严格绑定delete语法场景，因为这里没有触发delete操作，因此不弹出告警；
  • Clang的检查规则更偏保守，只要类是带虚函数的多态类型、且析构非虚，哪怕是显式调用析构逻辑，也会提示对应的设计风险，因此会触发报错。
• 栈上创建Derived对象、函数退出时自动析构
  这就是核心疑问对应的场景：
  栈对象的自动析构过程，完全基于对象的静态编译期类型执行逻辑——编译器在编译阶段就明确知道这个栈上分配的对象是Derived类型，函数退出作用域时会完整执行Derived的析构逻辑，再顺次调用基类Base的析构函数，全程没有任何类型错配问题，从C++标准定义上完全合法，不存在任何UB。
  更关键的是：栈对象的自动析构根本不经过delete的执行路径，自然不会匹配到-Wdelete-non-virtual-dtor的触发条件。这个告警从设计之初，就不是用来覆盖所有析构调用场景的通用检查，只是专门针对delete操作可能引发的跨类型销毁风险做的专项提示。

补充认知 #

行业内常说“带虚函数的类应该把析构定义为虚函数”，本质是为了规避后续的误用风险，而不是说只要类有虚函数、析构非虚，所有代码路径都是错误的。如果一个多态类明确不会被用作基类、永远不会涉及跨基类指针的销毁操作，那它使用非虚析构完全符合语言规范。

内容的提问来源于stack exchange，提问作者NutCracker