Valgrind不能直接标记“虚析构缺失”，但能稳定暴露其后果：派生类动态分配的资源未释放，表现为definitely lost内存块，调用栈止步于基类析构函数入口，结合-g -O0编译可定位到析构中断点。
Valgrind 能直接发现虚析构缺失导致的泄漏吗？
不能直接标记“你忘了写 virtual”，但会稳定暴露其后果：派生类中动态分配的资源未释放，表现为 definitely lost 内存块，且调用栈止步于基类析构函数入口。
这是因为 delete 基类指针时，若析构函数非虚，编译器只生成对 Base::~Base() 的调用，Derived 的析构逻辑（比如 delete[] data）根本不会执行。Valgrind 在程序退出时扫描所有未释放的堆块，自然会把 Derived::data 列为泄漏。
- 重点看 Valgrind 输出里的
definitely lost行，它后面紧跟着的at 0x...: Base::~Base() (base.cpp:8)就是关键线索——析构停在这里，说明没往下走 - 如果派生类析构里有
printf或日志，运行时看不到输出，也是强提示 - Valgrind 不报“虚函数缺失”警告，它只管内存行为；问题本质在 C++ 语义层，工具只是把结果照出来
怎么让 Valgrind 显示完整的析构调用链？
必须确保编译时带 -g，且不开启 -fomit-frame-pointer（GCC 默认可能开），否则调用栈会截断或错乱。
推荐编译命令：
g++ -g -O0 -o test test.cpp
-
-O0禁用优化，避免内联掉析构函数调用，保证调用栈真实可读 - 如果用了
-fvisibility=hidden或 LTO，Valgrind 可能无法解析符号，临时去掉再测 - 检查输出里是否出现类似
by 0x400A2F: main (test.cpp:15)这样的完整路径+行号；没有就回退编译参数
看到 “Mismatched free / delete / delete[]” 提示，和多态有关吗？
一般无关。这个错误指向的是 new/new[] 和 delete/delete[] 混用，比如用 delete 释放 new[] 分配的数组。
但它可能和多态场景“共存”——例如你在 Derived 构造函数里用 new[] 分配内存，又因为虚析构缺失，导致 delete[] 根本没被执行，此时 Valgrind 报的仍是 definitely lost，而不是 mismatched。
- 真正触发
mismatched的典型代码：int* p = new int[10]; delete p; - 多态对象释放问题，Valgrind 报的错误类型通常是
Invalid read/write（如果后续还访问了已泄漏资源）或纯definitely lost - 两个问题可能同时存在，但要分开排查：先 fix 虚析构，再看是否还有 mismatched
除了 Valgrind，还有什么办法快速验证虚析构是否生效？
加日志是最直接的手段，比依赖工具更早发现问题。
在每个析构函数第一行加输出：
~Base() { std::cout << "Base dtor\n"; }<br>~Derived() { std::cout << "Derived dtor\n"; }- 运行程序，观察输出顺序：如果只看到
Base dtor，就是虚析构缺失 - 注意：不要只靠
std::cout，C++ 流可能缓冲，加或 <code> - 在生产环境可用
fprintf(stderr, ...)，更可靠 - 静态分析工具如 Clang Static Analyzer（
clang++ -O2 -Xclang -analyzer-checker=optin.cplusplus.VirtualCall）也能报这类问题，但不如日志直观
虚析构不是“可选优化”，它是多态对象安全销毁的契约底线。Valgrind 不告诉你语法错在哪，但它会坚定地指出：那块内存，确实没被收走。
