valgrind 主要检测 use-after-free、invalid-read/write、未初始化内存使用和内存泄漏四类问题；对 std::vector 无越界检查能力，需实际内存访问才可捕获；编译须加 -g 且禁用优化，泄漏检测需显式启用参数。
Valgrind 能查 C++ 哪些内存问题
Valgrind 不是万能的，它主要抓四类问题：use-after-free、invalid-read/write、uninitialized memory use、memory leaks。它对 std::vector 越界（如 v[100]）无能为力——那是运行时没触发实际内存访问，Valgrind 看不到；真正触发越界读写（比如用 data() 指针算偏移）才可能捕获。
常见错误现象包括：程序偶尔崩溃但 gdb 抓不到栈、输出乱码、变量值莫名变化、malloc 报 corrupted size vs. prev_size —— 这些都值得跑一遍 Valgrind。
编译时必须加 -g 且禁用优化
不带调试信息，Valgrind 只能告诉你“某行汇编出错”，没法定位到源码；开 -O2 后，编译器重排、内联、删变量，会掩盖真实访问路径，甚至让问题消失或转移。
实操建议：
立即学习“C++免费学习笔记（深入）”；
- 用
g++ -g -O0 -fno-omit-frame-pointer重新编译（-fno-omit-frame-pointer提升栈回溯准确性） - 确保所有依赖的静态库也是带
-g编译的，否则调用栈一进库就断 - 如果项目用 CMake，临时改
CMAKE_BUILD_TYPE为Debug，别只改CXX_FLAGS
memcheck 默认不报内存泄漏，得手动加参数
很多人跑完 valgrind --tool=memcheck ./a.out，看到一堆 definitely lost 是空的，就以为没泄漏——其实是默认关闭泄漏检查。Valgrind 把泄漏检测当作“收尾动作”，需显式开启并控制粒度。
关键参数组合：
-
--leak-check=full：必须加，否则只报 summary -
--show-leak-kinds=all：否则默认只报definitely和possibly，漏掉still reachable（比如全局指针指向的堆内存） -
--track-origins=yes：查uninitialised value时才显示来源，否则只说“用了未初始化值”
完整命令示例：valgrind --tool=memcheck --leak-check=full --show-leak-kinds=all --track-origins=yes ./my_program
遇到 fork 或多线程程序要小心
Valgrind 默认只跟踪主线程和 fork 后的子进程（不跟踪子进程的子进程），且对 pthread 的支持有限：它能监控线程创建/销毁和堆操作，但无法保证所有竞态条件都被暴露；更麻烦的是，一旦程序调用 execve（比如 system() 或 popen()），Valgrind 会直接退出，不继续跟踪新进程。
应对方式：
- 用
--trace-children=yes让 Valgrind 尝试跟踪fork出的子进程（注意：不是所有子进程都能跟，尤其涉及exec的） - 多线程下优先用
--suppressions=valgrind.supp屏蔽标准库已知误报（比如 glibc 的 malloc 内部缓存） - 若程序重度依赖
fork+exec（如 shell 工具链），Valgrind 基本失效，得换AddressSanitizer配合-fsanitize=address
Valgrind 的慢是真慢（5–10 倍起步），但它给出的访问地址、调用栈、内存状态非常扎实——只要问题能复现，它几乎从不撒谎。最常被忽略的是：忘了关优化、漏了 -g、或者把泄漏检查参数当摆设。跑之前先确认这三件事，省半天冤枉时间。
