realloc：释放对象的无效校验和

Question

我在使用 realloc 替换 malloc 时出错。

下面这段代码在我的电脑上运行正常。

int vector_grow(Vector* vec) {
  unsigned long newcap;
  int * newarr;

  if (0 == vec->cap) {
    vec->arr = (int*)malloc(START_CAPACITY * sizeof(*vec->arr));
    if (NULL == vec->arr)
      return -1;
    vec->cap = START_CAPACITY;
    return 0;
  }
  newarr = malloc (newcap * sizeof(*vec->arr));
  if (NULL == newarr)
    return -1;

  memcpy (newarr, vec->arr, vec->len * sizeof(*vec->arr));
  free (vec->arr);
  vec->arr = newarr;
  vec->cap = newcap;

  return 0;
}

我想将 malloc 更改为 realloc，但出现错误。

int vector_grow(Vector* vec) {
  unsigned long newcap;

  if (0 == vec->cap) {
    vec->arr = (int*)malloc(START_CAPACITY * sizeof(*vec->arr));
    if (NULL == vec->arr)
      return -1;
    vec->cap = START_CAPACITY;
    return 0;
  }
  newcap = 2 * vec->cap;
  if ((vec->arr = (int*)realloc(vec->arr, newcap * sizeof(int))) == NULL)
    return -1;
return 0;
}

它说

malloc: *** error for object 0x7fca64c02598: incorrect checksum for freed object - object was probably modified after being freed.

我不知道这两段代码之间有什么区别，如果您知道导致错误的原因，请告诉我！非常感谢！

Answer 1

我唯一能想象到这种错误消息的场景是当你实际修改指针时，例如

int *x = malloc(2 * sizeof *x);
if (x != NULL) {
    x = x + 1;
    free(x);
}

必须传递给 free() 的指针必须由 malloc()/calloc()/realloc() 返回，传递任何其他指针，包括指向相同指针的指针数据但在不同的位置，如上例中的 x 是 undefined behavior.

Answer 2

更新代码中缺少 vec->cap = 的错误肯定会导致对 malloc() 的各种调用以及调用代码对数据的滥用。

int vector_grow(Vector* vec) {
  unsigned long newcap;

  if (0 == vec->cap) {
    ... // not important to show the bug
  }
  newcap = 2 * vec->cap;
  if ((vec->arr = (int*)realloc(vec->arr, newcap * sizeof(int))) == NULL)
    return -1;

  // Add missing update  
  vec->cap = newcap;

  return 0;
}

也最好测试分配是否成功

  void *p = realloc(vec->arr, sizeof *(vec->arr) * newcap);
  if (p == NULL) {
    return -1;
  }

  vec->arr = p;
  vec->cap = newcap;

realloc：释放对象的无效校验和

realloc: invalid checksum for freed object

c

malloc

memory-management

realloc