`malloc(): corrupted top size`错误含义是什么？附触发场景求助

错误到底是什么意思 #

这个错误是glibc内存分配器的报错，直白说就是堆内存的末尾（堆顶）被破坏了。malloc、free这类函数会在堆内存块的头尾存储内部校验信息（比如块的大小、是否被占用的标记），用来管理堆内存。如果你的代码出现越界写入、重复释放内存、释放非malloc分配的内存这类操作，就会把这些校验信息弄坏，下次调用内存分配函数或者程序退出时，分配器检查到堆结构异常，就会抛出这个错误并终止程序。

你的场景大概率出在哪 #

你是把结构体指针追加到动态数组，返回指针后解引用触发错误，重点查这几个点：

• 动态数组扩容时的内存计算错误：比如你扩容数组时，把sizeof(struct 你的结构体*)写成了sizeof(struct 你的结构体)——动态数组存的是指针，不是结构体本身，要是按结构体大小分配，内存会不够，后续写入直接越界破坏堆顶。或者计算新数组的元素个数时出错，比如原数组有n个元素，扩容后应该是n+1个，结果算成了n，追加元素时直接越界。
• 要追加的结构体指针本身非法：比如你追加的是栈上的结构体地址（函数里定义的局部结构体，函数返回后栈内存就被回收了），或者这个指针已经被free过了，后续解引用时就会乱改堆内存。
• 返回的指针地址不对：比如你返回的不是数组里新追加的那个指针的位置，而是指向了数组内存之外的地方，解引用时直接越界操作堆顶。

快速排查的几个小技巧 #

1. 先盯死动态数组扩容的代码：比如你的数组是struct Bar **arr，扩容时必须是realloc(arr, (current_count + 1) * sizeof(struct Bar *))，确认current_count + 1是正确的元素数，且sizeof的是指针类型，不是结构体类型。
2. 检查要追加的结构体指针：确认它是用malloc(sizeof(struct Bar))分配的，分配后没有被free，也不是取的栈上结构体的地址（比如&local_struct这种绝对不能存到动态数组里）。
3. 验证返回的指针：比如追加后，新元素的位置是arr[current_count] = new_ptr，返回的必须是arr[current_count]，别写错下标或者返回了其他奇怪的地址。

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