valgrind无法检测虚析构函数缺失，因其仅监控内存操作而不知晓vtable或析构逻辑；该错误导致资源泄漏但无崩溃，需依赖clang-tidy或编译器警告（如-wnon-virtual-dtor）提前发现。
Valgrind 本身不检查虚析构函数是否缺失或写错
Valgrind 的 Memcheck 工具只监控运行时内存行为，它不会分析类定义、虚函数表（vtable）结构或析构函数声明是否符合多态要求。虚析构函数缺失导致的错误（比如通过基类指针 delete 派生类对象时派生类析构函数未被调用），在 Valgrind 看来是“合法但危险”的——内存可能被释放了，但资源（如文件句柄、堆内存、线程等）没清理，这类问题 Valgrind 不会报错，也不会标记为泄漏。
虚析构错误的真实表现：Valgrind 看不见的泄漏与崩溃
这类错误常表现为：
- Valgrind 报告“still reachable”或“definitely lost”，但源头指向
new而非delete—— 实际是派生类构造中分配的资源，在基类析构中被跳过 - 程序无崩溃，但反复运行后文件描述符耗尽、日志写不进磁盘、线程数持续增长 —— 这些资源泄漏 Valgrind 默认不追踪
- 用
AddressSanitizer也抓不到，因为没发生越界或 use-after-free，只是逻辑遗漏
典型错误代码：
class Base {
public:
~Base() {} // ❌ 缺少 virtual
};
class Derived : public Base {
int* data = new int[100];
public:
~Derived() { delete[] data; } // ✅ 本该执行，但不会被调用
};
// ...
Base* p = new Derived();
delete p; // 只调用 Base::~Base()，data 泄漏
真正能发现虚析构问题的工具组合
靠 Valgrind 单独判断虚析构是否写错，行不通。必须搭配其他手段：
-
Clang-Tidy检查：cppcoreguidelines-interfaces-polymorphic规则会直接警告“class ‘Base’ has virtual functions but non-virtual destructor” -
g++ -Wnon-virtual-dtor或clang++ -Wdelete-non-virtual-dtor编译期警告，开启即生效 - 静态分析工具如
Cppcheck的uninitMemberVar和noExplicitConstructor等规则也能间接暴露设计缺陷
Valgrind 在这个链条里唯一能做的，是帮你确认“是不是真有资源没释放”：如果 Clang-Tidy 提示虚析构缺失，你修复后 Valgrind 的 definitely lost 明显减少，就能交叉验证问题根因。
为什么不能只依赖 --leak-check=full
--leak-check=full 只跟踪 malloc/new 和 free/delete 的配对，它不知道 Derived::~Derived() 该不该执行。即使你写了 virtual ~Base()，但如果派生类析构里又 new 了新资源却忘了 delete，Valgrind 才会把它标为 definitely lost —— 此时问题已变成普通内存泄漏，和虚析构无关了。
最容易被忽略的一点：虚析构错误往往不产生任何运行时报错，也不触发 Valgrind 报警，它安静地让资源堆积，直到系统级限制（如 fd 数、内存上限）被突破才暴露。所以，别等 Valgrind 发话，编译器警告和静态检查必须前置。
