将 memset 重新分配的内存设置为 0 是常见的做法吗？

Question

在一本 C 书籍中，我在一个实现动态调整大小数组的示例中找到了这段代码（简化）：

void *contents = realloc(array->contents, array->max * sizeof(void *));
array->contents = contents;

memset(array->contents + old_max, 0, array->expand_rate + 1);

来源：Learn C The Hard Way – Chapter 34

我有点惊讶memset 应该在这里实现什么，但后来我明白它是用来“清零”重新分配的内存。

我用谷歌搜索了，如果这是我在realloc 之后应该做的事情，并找到了关于这个的 stackoverflow 答案：

可能没有必要做memset […]

但是，即使您想“将其归零以使一切都很好”，或者确实需要将新指针设为NULL：C 标准并不保证所有位为零是空指针常量（即NULL），所以memset() 无论如何都不是正确的解决方案。

来源：How to zero out new memory after realloc

建议的解决方案是使用for 循环而不是memset，以便将内存设置为NULL。

所以我的问题是，memset 并不一定意味着将值设置为NULL，而for 循环解决方案似乎有点乏味——真的需要设置新分配的内存吗？

Answer 1

所以我的问题是，因为 memset 并不一定意味着设置值 为 NULL 并且 for 循环解决方案似乎有点乏味 - 真的吗 需要设置新分配的内存吗？

realloc 不会初始化新分配的内存段的值。

因此，如果您打算读取该（未初始化的）内存的值，则需要初始化内存。因为从那个未初始化的内存中读取值会触发未定义的行为。

顺便说一句，使用realloc（因为它可能会失败）的安全方法是：

  // Since using realloc with size of 0 is tricky and useless probably
  // we use below check (from discussion with @chux)
  if (new_size == 0) 
    dosmth();
  else 
  {
    new_p = realloc(p, new_size);
    if (new_p == NULL)
    {
      // ...handle error
    }else
    {
      p = new_p;
    }
  }

Answer 2

将void * 设置为0 是一个比较等于NULL 的值。可能memset(ptr, 0, size) 没问题 - 但需要查看更多代码才能确定。

OTOH：代码正确吗？也许应该是

// memset(array->contents + old_max, 0, array->expand_rate + 1);
memset(array->contents + old_max, 0, sizeof(void *) * (array->expand_rate + 1) );

Answer 3

这是错误的：

但是，即使您想“将其归零，以便一切顺利”，或者 确实需要新指针为 NULL：C 标准没有 保证所有位为零是空指针常量（即， NULL)，所以 memset() 无论如何都不是正确的解决方案。

C 标准实际上确实保证了这一点。

根据C standard 的第 6.3.2.3 节：

值为 0 的整数常量表达式，或这样的表达式 转换为void * 类型，称为空指针常量。如果一个空 指针常量转换为指针类型，结果 指针，称为空指针，保证比较不等于 指向任何对象或函数的指针。

将空指针转换为另一种指针类型会产生空指针 该类型的指针。任何两个空指针应该比较相等。

请注意，值为 0 的指针是 a 空指针。这并不意味着NULL 本身必须为零。但也要注意“任何两个空指针应该比较相等”。所以任何空指针都等于NULL的值。

由于memset() 将整数值作为其第二个参数，将零整数值传递给memset() 将产生空指针。因为传递给memset() 的值是“[a]n 值为 0 的整数常量表达式”，根据 6.3.2.3。