11、野指针与悬空指针：从原理到调试
指针这东西，用好了是利器，用不好就是定时炸弹。
我做了十几年嵌入式开发，最怕的不是逻辑复杂，而是指针乱飞。尤其是野指针和悬空指针，它们不会立刻崩溃，而是潜伏着，等你上线了、跑量了，突然给你来一下。今天我们就彻底把它俩掰扯清楚。
11.1 野指针 vs 悬空指针：到底有什么区别？
很多人把这两个概念混着用，其实它们成因完全不同。
| 类型 | 定义 | 典型成因 | 调试难度 |
|---|---|---|---|
| 野指针 | 指针变量未被初始化，指向随机地址 | 声明后未赋值、局部变量未初始化 | 中等 |
| 悬空指针 | 指针指向的内存已被释放或失效 | free()后未置空、返回局部变量地址 | 高 |
说白了，野指针是「生下来就坏」，悬空指针是「用着用着坏了」。我遇到过最头疼的一次，就是悬空指针——程序跑了三天才崩，查得我差点想转行。
11.2 野指针的常见场景与防范
场景一：未初始化的局部指针
void func(void) {
int *p; // 野指针！p的值是栈上的随机垃圾
*p = 100; // 写到了哪里？天知道
}你想想看，局部变量如果不初始化，它的值是栈上残留的数据。这个地址可能指向内核空间、只读区，或者别的任务的数据区。写下去，轻则段错误，重则静默破坏别人数据。
场景二：指针指向已释放的栈变量
int* get_value(void) {
int val = 42;
return &val; // 悬空！函数返回后val就没了
}这个坑我踩过。刚毕业那会儿写一个通信协议解析函数，返回了局部数组的地址。调试时居然能跑通，换了个编译器优化等级就崩了。为什么？因为栈帧被复用了。
11.3 悬空指针的典型场景
场景一：free() 后未置空
int *p = (int*)malloc(sizeof(int) * 10);
// ... 使用 p ...
free(p);
// p 现在是悬空指针！
// 此时 p 指向的地址可能已被分配给其他数据
if (p != NULL) { // 这个判断毫无意义！
*p = 5; // 非法写入
}很多人以为 free 之后指针会自动变成 NULL。不会的！free 只是把内存还给了堆管理器，p 的值还是原来的地址。这个地址可能已经被别的 malloc 拿走了。
场景二：多个指针指向同一块内存
int *p = (int*)malloc(sizeof(int));
int *q = p;
free(p);
p = NULL;
// q 现在是悬空指针！没人告诉它那块内存没了
*q = 10; // 灾难这种问题最难查。因为代码里看起来 q 是正常的，你甚至不知道 q 和 p 有关系。我在一个多线程项目中遇到过类似问题——两个线程各自持有同一个缓冲区的指针，一个线程释放了，另一个还在写。查了整整两天。
11.4 调试技巧：如何定位指针问题
指针问题不像逻辑错误，你没法单步跟踪到「它什么时候变坏的」。但有几个方法很管用。
技巧一：地址区段判断法
在嵌入式系统中，不同区域的地址范围是固定的。拿到一个指针值，先看它落在哪个区间：
| 地址范围（示例） | 所属区域 | 说明 |
|---|---|---|
| 0x2000 0000 - 0x2001 FFFF | SRAM（堆+栈+全局变量） | 正常指针应在此范围 |
| 0x0800 0000 - 0x0801 FFFF | Flash（代码区） | 指向这里通常是野指针 |
| 0x4000 0000 - 0x400F FFFF | 外设寄存器 | 除非你故意操作外设，否则是野指针 |
| 0x0000 0000 - 0x0000 00FF | 异常向量表 / NULL附近 | 悬空指针或未初始化 |
我调试时会在 HardFault 处理函数里打印出触发异常的指针地址，然后对照这个表，基本能猜出问题类型。
技巧二：内存填充法
在 free 之后，把内存填充成固定模式（比如 0xDEADBEEF）。这样如果后续有代码误读这块内存，一眼就能看出来数据不对。
#define FREED_MEMORY_PATTERN 0xDEADBEEF
void safe_free(void **ptr) {
if (ptr != NULL && *ptr != NULL) {
memset(*ptr, FREED_MEMORY_PATTERN, sizeof(your_struct));
free(*ptr);
*ptr = NULL;
}
}技巧三：开启编译器与运行时检查
- GCC 的 -Wall -Wextra -Werror：能发现未初始化变量的问题
- AddressSanitizer（ASan）：Linux 开发时强烈推荐，能检测堆溢出、use-after-free
- Valgrind：嵌入式模拟环境下可以用，检测非法内存访问
- MPU（内存保护单元）：在 Cortex-M3/M4 上，给堆区域设置 MPU，越界访问直接触发异常
11.5 知识体系总览
下面这张图把野指针和悬空指针的成因、后果、调试手段串起来了。建议你保存下来，遇到指针问题先过一遍。
11.6 避坑指南
- 声明即初始化：int *p = NULL; 养成肌肉记忆
- 谁分配谁释放：模块内部 malloc 的，模块内部 free，不要跨模块传递所有权
- free 后立即置 NULL：并且检查所有持有该指针的副本
- 使用静态分析工具：比如 PC-Lint、Cppcheck，能发现很多指针问题
- 单元测试覆盖边界：特别是指针为 NULL、指针指向已释放内存的场景
指针问题，说到底就是「你管不住内存的生命周期」。野指针是没管好出生，悬空指针是没管好死亡。把这两头管住了，指针就老实了。