第20章指针的常见错误

课程目录第20章指针的常见错误

指针的常见错误：段错误分析、内存越界、使用未初始化指针、双重释放

指针这东西，用好了是利器，用不好就是自残。我见过太多新手甚至工作两三年的工程师，在指针上栽跟头。今天咱们就把最常见的四种指针错误掰开揉碎了讲清楚。

核心观点：指针错误之所以难排查，是因为它往往不立刻崩溃，而是潜伏着，等到某个关键时刻才炸。你想想看，这多可怕。

段错误说白了就是程序试图访问它不该访问的内存区域。操作系统看不下去了，直接给你进程发个SIGSEGV信号，咔嚓一下，程序就挂了。

我在项目中遇到过最典型的段错误，是嵌入式设备上跑了一个月，突然某天凌晨系统重启了。查了半天，发现是一个指针在特定条件下指向了0x00地址。

// 典型段错误示例
int *ptr = NULL;
*ptr = 42;  // 对NULL指针解引用，必挂

为什么会这样？因为NULL地址是操作系统保留的，你碰都不能碰。嗯，这里要注意，在大多数嵌入式裸机环境下，地址0可能是有实际内存的，但标准C语言里对NULL指针解引用就是未定义行为。

警告：段错误不一定立即出现。有时候你写了一个越界的值，恰好落在未映射的内存区域，才会触发段错误。更多时候，它只是悄悄覆盖了别的数据。

内存越界，说白了就是你申请了10个字节，却写了20个字节。多出来的10个字节写到哪里去了？写到别人的地盘上去了。

我个人习惯在调试阶段给每个缓冲区前后都加上"哨兵"字节，用来检测越界。比如这样：

// 内存越界示例
int arr[5];
for (int i = 0; i <= 5; i++) {  // 注意：i从0到5，共6次
    arr[i] = i * 10;  // 最后一次越界了
}

我曾经在一个通信协议栈项目里，被一个字节的越界折腾了整整三天。现象很诡异：偶尔收不到数据，偶尔收到乱码。最后发现是某个结构体成员写越界了一个字节，把下一个成员的低8位覆盖了。

避坑指南：我曾经在代码里加了一个宏，专门在每次malloc之后多申请8个字节，前后各放4个字节的魔数。在free之前检查魔数是否被破坏。这个方法虽然土，但帮我抓到了好几个隐蔽的越界bug。

这个错误太常见了。声明了一个指针变量，没给它赋值，就直接拿来用。这时候指针的值是随机的——可能是栈上的垃圾数据，也可能是上次函数调用留下的地址。

// 未初始化指针示例
int *ptr;  // 声明了，但没初始化
*ptr = 10; // 危险！ptr指向哪里？鬼知道

你想想看，这个随机地址可能指向你的代码区、数据区、堆栈，甚至硬件寄存器。往那里写数据，后果不堪设想。

我记得有一次帮同事排查问题，他的程序在某个函数里偶尔崩溃，换个编译器优化等级又不崩了。最后发现就是一个局部指针变量没初始化，而不同优化等级下栈上的初始垃圾值不一样。

最佳实践：声明指针的同时就初始化为NULL。虽然NULL解引用会段错误，但至少你能立刻知道问题出在哪。比随机地址好排查一万倍。

双重释放就是同一块内存被free了两次。第一次free之后，那块内存被归还给堆管理器。第二次free的时候，堆管理器的内部数据结构可能已经被破坏了，或者那块内存已经被分配给别人了。

// 双重释放示例
int *p = (int *)malloc(sizeof(int) * 10);
// ... 使用p ...
free(p);
// ... 中间没有重新赋值 ...
free(p);  // 第二次释放，未定义行为

双重释放的后果很随机：可能立即崩溃，可能数据损坏，可能完全没反应——然后过一会儿在完全不相干的地方崩溃。我在一个网络协议栈项目里遇到过，一个消息结构体被两个模块各自释放了一次，导致堆内存链表断裂，系统随机死机。

警告：free之后一定要把指针置为NULL。这样即使不小心再次free，也是free(NULL)，而free(NULL)是安全的（C标准规定）。

下面这张图把四种常见指针错误的关系和排查思路梳理清楚了，建议保存下来当参考。

个人经验：我习惯在代码里维护一个"指针状态跟踪表"。每次malloc记录地址和大小，每次free标记已释放。虽然增加了点工作量，但排查问题时能省下大把时间。特别是在多线程环境下，这个习惯救过我很多次。

嗯，指针的错误远不止这四种，但这四种是最常见、最致命的。你想想看，一个段错误就能让整个系统重启，一个内存越界就能让数据静默损坏。搞嵌入式开发的，对指针必须保持敬畏之心。

我个人建议，每次写指针操作代码时，都默念一遍：这个指针指向哪里？那块内存属于我吗？那块内存还活着吗？这三个问题问完，能避免90%的指针错误。

公众号:蓝海资料掘金营，微信deep3321