使用realloc动态扩容联系人数组时添加第二个联系人触发SIGTRAP崩溃求助

嘿，这个问题我之前帮不少开发者排查过——用realloc动态扩容联系人数组时首次正常、第二次崩溃，大概率是内存操作的边界问题或者realloc的使用姿势不对。咱们一步步拆解可能的原因和解决办法：

很多人踩过这个坑：直接把realloc的结果赋值给原数组指针，但如果realloc失败会返回NULL，这时候原指针就直接丢失了，后续操作必然触发堆错误。正确的姿势是用临时指针接收结果，确认成功后再替换原指针：

// 错误写法：直接覆盖原指针，失败时内存泄漏+崩溃
contacts = realloc(contacts, new_size);

// 正确写法：先校验再赋值
Contact *temp_ptr = realloc(contacts, new_size);
if (temp_ptr == NULL) {
    fprintf(stderr, "内存扩容失败，无法添加新联系人\n");
    // 这里不要直接exit，否则原数组的内存会泄漏，视情况处理
    return -1;
}
contacts = temp_ptr;

你每次扩容的大小是不是(当前元素数 + 1) * sizeof(Contact)？如果漏乘sizeof(Contact)、用错类型大小，第二次扩容时分配的内存空间根本装不下新元素，后续写入会直接越界破坏堆结构，触发你看到的ntdll!RtlZeroHeap错误：

// 错误：没乘结构体大小，分配的内存太小
size_t new_size = (current_count + 1);

// 正确：计算总字节数
size_t new_size = (current_count + 1) * sizeof(Contact);

另外要注意初始状态：如果一开始数组是NULL，第一次realloc(NULL, sizeof(Contact))是没问题的（等价于malloc），但如果是未初始化的野指针，第一次操作就已经埋下隐患了。

添加第二个联系人时，是不是搞错了数组索引？比如当前已存1个联系人（current_count = 1），新联系人应该存在contacts[current_count]，然后current_count++。如果索引算错（比如写成contacts[current_count++]后又重复操作count），会导致写入越界，破坏堆的元数据，第二次realloc时就会触发堆检查陷阱。

有没有在写入姓名/电话号码时，超出了结构体字段的缓冲区？比如结构体定义是char name[20];，但你用strcpy写入了21个字符的字符串，这会溢出到相邻内存，直接破坏堆的管理信息。这种情况建议用strncpy并手动添加终止符，或者把字段改成动态分配的字符串。

在Windows环境下，可以启用Visual Studio的「堆调试」功能，或者在代码开头加入：

#include <crtdbg.h>
// 启用堆检测和泄漏检查
_CrtSetDbgFlag(_CRTDBG_ALLOC_MEM_DF | _CRTDBG_LEAK_CHECK_DF);

这样内存越界时会直接触发断言，告诉你具体的错误位置，不用等到第二次realloc才崩溃。

先从realloc的返回值处理、大小计算这两个最常见的点查起，再检查数组索引和结构体字段的写入，基本就能定位问题了。

内容的提问来源于stack exchange，提问作者user4592253