Valgrind 默认无法检测 std::vector 下标越界，因其仅检查非法内存访问而非语义错误；推荐使用 AddressSanitizer（-fsanitize=address）或启用 _GLIBCXX_DEBUG 宏进行边界检查。
Valgrind 默认查不到 std::vector 下标越界
Valgrind 的 memcheck 工具主要检测堆/栈内存的非法读写（如 malloc 后越界、使用已释放内存），但 std::vector::operator[] 的下标访问不触发堆分配检查——它只是指针偏移，越界后若没踩到保护页，Valgrind 就完全沉默。这不是 bug，是设计使然。
真正能捕获这类问题的是 std::vector::at()，它带边界检查，越界会抛 std::out_of_range 异常；但前提是你的代码里真调用了 at()，而不是只用 []。
- 编译时加
-D_GLIBCXX_DEBUG（GCC/Clang）可启用 libstdc++ 调试模式，让operator[]也做检查（仅 debug build，性能开销大） - Clang +
-fsanitize=address（ASan）比 Valgrind 更适合捕获 vector 越界，响应快、定位准，且能覆盖[] - Valgrind 配合
--tool=exp-sgcheck（已废弃）或--tool=drd对 vector 越界无效，别白费力气
用 AddressSanitizer 替代 Valgrind 查 vector 越界
ASan 是目前最实用的方案：编译期插桩，运行时拦截非法内存访问，对 std::vector 的栈上 buffer 和堆上 data 都有效。
操作步骤：
- 编译命令加
-fsanitize=address -g，例如：g++ -fsanitize=address -g -O0 vec_test.cpp -o vec_test - 直接运行：
./vec_test，越界时会打印详细错误，包括哪一行、哪个 vector、访问了哪个非法索引 - 避免
-O2以上优化，否则 ASan 可能漏报或定位不准 - 注意：ASan 不能和 Valgrind 同时运行（会冲突），选一个用
示例错误输出：ERROR: AddressSanitizer: heap-buffer-overflow on address 0x602000000028 at pc 0x000000401234 bp 0x7ffd12345678 sp 0x7ffd12345660，后面紧跟着源码行号和 vector 大小信息。
Valgrind 能帮上的间接线索
虽然 Valgrind 不报 vector 下标越界本身，但如果越界导致后续行为异常，它可能暴露蛛丝马迹：
- 越界写入恰好覆盖了 nearby 的另一个对象（比如相邻的
int或std::string），Valgrind 会报告“invalid write”或“use after free”——这时要逆向排查，看是不是 vector 操作惹的祸 - 用
valgrind --leak-check=full --show-leak-kinds=all发现 vector 内存未正确释放，可能暗示resize()或clear()前已被破坏 - 配合
--track-origins=yes看非法内存的来源，有时能追溯到 vector.data() 的起始地址
这种路径靠猜，效率低。不如直接切到 ASan。
-D_GLIBCXX_DEBUG 的实际效果与限制
这个宏让 libstdc++ 在 debug 模式下对 vector::operator[]、vector::at()、迭代器运算等全部加检查，越界直接 abort 并打印位置。
- 必须用
libstdc++（GCC 默认），libc++（Clang 默认）不支持该宏 - 链接的必须是 debug 版 stdc++（通常自动满足），且不能和 release 版混用，否则符号冲突
- 所有 STL 容器都变慢，
vector随机访问从 O(1) 变成带分支判断，循环中大量[]会明显拖慢 - 只对本进程生效，无法检测动态库中未加该宏编译的 vector 越界
适合单元测试或小范围复现，不适合压测或线上环境。
vector 越界不是内存泄漏，也不是堆损坏，它是语义错误——工具只能辅助暴露，根子还在数组逻辑和边界条件处理上。别依赖 Valgrind 抓它，该换工具就换，该加断言就加。
