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：***对象0x7fca64c02598的错误：释放对象的校验和不正确 - 对象可能在被释放后被修改。

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

Answer 1

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

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

必须传递给free()的指针必须由malloc() / calloc() / realloc()返回，传递任何其他指针，包括指向相同数据的指针但是在上面示例中的x之类的其他位置是未定义的行为。

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：释放对象的校验和无效

2 个答案: