valgrind能检测由c++指针误用引发的invalid read/write（越界或访问已释放内存）、use of uninitialized value（未初始化指针解引用）、invalid free（重复释放或释放栈内存）等错误，但无法检测std::shared_ptr或std::unique_ptr的逻辑错误如循环引用或错误移动。
Valgrind能检测哪些C++指针错误
Valgrind本身不直接“检测指针”，它通过内存访问监控发现由指针误用引发的实际问题。最常捕获的是：Invalid read、Invalid write（越界或访问已释放内存）、Use of uninitialized value（未初始化指针解引用）、Invalid free（重复释放或释放栈内存）。它对std::shared_ptr或std::unique_ptr的逻辑错误（比如循环引用、错误移动）无能为力——这些得靠静态分析或代码审查。
编译时必须加-g和-O0或-O1
没有调试信息，Valgrind报错时连行号都找不到；开启-O2及以上优化后，变量被寄存器优化、代码重排，会导致错误定位失真甚至漏报。实际操作中：
- 用
g++ -g -O0 -o myapp main.cpp编译，确保符号完整、执行流可追溯 - 如果程序性能太差影响测试，可临时用
-O1，但避免-O2及以上 - 链接第三方库时，尽量使用带
-g的debug版本（如libboost_system.so.1.83.0而非stripped版）
运行时用--tool=memcheck并关注关键参数
valgrind --tool=memcheck ./myapp是基础命令，但默认行为对C++不够友好。必须加的参数有：
-
--leak-check=full：否则只报告“definitely lost”，漏掉possibly lost这类间接泄漏 -
--show-leak-kinds=all：配合上一条，把still reachable也列出来（虽然通常不算bug，但有时暴露资源未关闭） -
--track-origins=yes：对Use of uninitialised value错误，能指出未初始化值最初从哪来 -
--suppressions=valgrind.supp：压制STL内部已知误报（比如某些std::string实现细节），否则噪音极大
示例：valgrind --tool=memcheck --leak-check=full --show-leak-kinds=all --track-origins=yes ./myapp arg1 arg2
常见误报和真问题怎么区分
Valgrind报告Invalid read不一定就是你的bug——尤其涉及内存映射、自定义分配器或内联汇编时。判断依据看地址和上下文：
- 地址在
[0x...] below stack pointer：多半是栈溢出或局部数组越界，立刻查对应函数 - 地址显示
address 0x... is 8 bytes inside a block of size 16 alloc'd：说明分配了16字节，但读写了第24字节，是明确越界 - 报告
Conditional jump or move depends on uninitialised value却指向std::vector::push_back内部：大概率是传给它的元素构造函数用了未初始化成员，不是STL的问题 - 大量
still reachable出现在程序退出前：只要不是你new/malloc出来的，而是glibc或C++ runtime预留的缓冲区，可忽略
真正危险的是Invalid write后紧跟着Segmentation fault，或者use after free在多线程环境下出现——这种几乎必然导致崩溃或数据损坏，必须修复。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
