wild pointer 指未初始化的指针（值为随机地址），而 dangling pointer 指向已释放内存；前者首次解引用即崩溃，后者可能延迟崩溃；addresssanitizer 可捕获其非法访问。
什么是 Wild Pointer 而不是 dangling pointer？
先划重点：C++ 标准里没有 Wild Pointer 这个术语，它常被误用来指代未初始化的指针（即值是随机内存地址），而 dangling pointer 才是标准说法——指指向已释放内存的指针。排查时得先分清现象：segmentation fault 在首次解引用就崩，大概率是 wild pointer；若用完 delete 或 free 后还能读几次才崩，更接近 dangling pointer。
用 AddressSanitizer 快速定位未初始化指针使用
Clang/GCC 都支持 -fsanitize=address，它能在运行时捕获对未初始化栈/堆指针的非法访问（包括 wild pointer 的首次解引用）。注意两点：
- 必须配合
-O0或-O1编译，-O2可能优化掉部分未定义行为检测点 - 不检测“只赋值不读写”的 wild pointer，但只要执行了
*p、p->x或p[0]就会报错，错误信息类似：READ of size 4 at 0x7ffeeb123abc thread T0 - 对全局/静态指针也生效，但需确保链接时没被其他 sanitizer 冲突（比如同时开
undefined和address一般没问题）
静态分析工具识别高危模式
Clang Static Analyzer（clang++ --analyze）或 Cppcheck 能发现典型 wild pointer 模式，比如：
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 函数内声明
int* p;后直接return p; - 分支中某些路径漏掉
p = new int，而其他路径用了p -
std::unique_ptr构造时传入裸指针但未检查是否为nullptr，后续又无条件解引用
这类问题在编译期就能标出，但误报率略高，建议结合 // NOLINT 注释过滤已知安全场景。
避免野指针的核心编码习惯
技术手段再强，不如写代码时堵住源头。三个最实际的做法：
- 所有指针定义即初始化：
int* p = nullptr;，而非int* p;；现代 C++ 中优先用std::optional<:unique_ptr>></:unique_ptr>或std::shared_ptr替代裸指针 - 禁止裸指针跨作用域传递——函数返回裸指针、参数接收裸指针都容易丢失生命周期控制，改用引用或智能指针明确所有权
- 禁用
malloc/free，统一用new/delete或容器；混合使用易导致delete一个malloc出来的地址，产生不可预测的 wild/dangling 行为
真正难排查的 wild pointer 往往藏在多线程环境里：一个线程刚把指针置为 nullptr，另一个线程还没来得及检查就解引用了。这种必须靠 std::atomic<int></int> 或锁同步，不能只依赖工具。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
