C 语言 *** glibc detected *** free(): invalid next size (fast): 0x0000000000be1010 ***

.

.

.

.

.

LZ 今天在写一个 Socket 程序的时候使用 malloc(3) 在堆上动态分配了一个结构体的空间，在使用完之后用 free(3) 函数释放空间的时候报 invalid next size 这样的一个错误，经过了两个小时的调试，最后发现是因为粗心越界导致的。

LZ 把这个错误缩减为一个最简单的模型发布出来：

#include <stdio.h>
#include <stdlib.h>
#include <string.h>

int main (void)
{
        char *p = NULL;

        // 在堆空间申请 8 字节的内存
        p = malloc(8);

        // 实际使用超过 8 字节
        strncpy(p, "abcd", 128);
        // 可以正常打印
        printf("p = %s\n", p);

        // 释放内存时会报 invalid next size 错误
        free(p);

        return 0;
}

 

编译运行：

>$ gcc -Wall free.c -o free
>$ ./free
p = abcdefghijklmn
*** glibc detected *** ./free: free(): invalid next size (fast): 0x00000000020c3010 ***
...此处生略 n 行...

 

打印是不受影响的，但其实在 strncpy(3) 的时候就已经越界了，所以发生什么情况都是正常的。

另外对于上面这个栗子，使用 strcpy(3) 替代 strncpy(2) 就不会报错了，但是一旦要拷贝的字符超过了 8 个字节，依然可能引发错误。

所以大家在使用内存的时候一定要注意长度，千万不可越界。