free() 释放动态分配内存出错，原理是什么

Question

这个程序是用来测试用动态分配内存的方式创建一维数组的。
但是我发现只要这个循环变量i超过了3，一旦释放动态内存就会出错。
目前只知道，比如当i=4的时候，赋值的地址就会超过所分配的动态内存空间。
但这个原理是什么？求助
谢谢！！！

void main()
{
  double *arr = (double *)malloc(24);
  for (int i = 0; i < 3; i++)
  {
    arr[i] = i + 1;
    printf("%f\n", arr[i]);
  }
  free(arr);//只要i超过3个 执行free就会出问题
  getchar();
}

Answer 1

问题出在 i=4 的时候，你去写了 arr[i]。

When you allocate space (such as with strdup) the a tiny amount of extra space is allocated before and after the chunk you requested and that extra is used for data that is needed when you free your chunk.

你使用 malloc ，实际上系统会在为你在给你返回的内存地址前后分配额外的内存，这段内存记录了你申请的空间大小等元信息。

而你越界访问后，就改写了这段范围后面的额外内存，然后 free() 是要依赖这里的信息的。

你可以试试 如果不去写越界，而只是读 arr[4]， 就不会报错了！

Answer 2

double类型的指针时占8个字节，一共分24，超过3个不就出错了么？

已参与了 SegmengtFault 思否 「问答」打卡，欢迎正在阅读的你也加入。