c++ - 对全局运算符 new 返回的指针使用 realloc

Question

C++ 中没有realloc；当然，您始终可以使用new分配新 block ，将旧 block 复制到新 block ，使用delete释放旧 block 。

问题是 realloc 通常比这更快 - 当内存块“就地”调整大小时会发生这种情况 - 即 realloc 的返回值恰好与参数指针值；这也避免了将内存从旧 block 复制到新 block 。

标准是怎么说的 - 是否允许将全局 new 运算符返回的指针传递给 realloc？ (在 glibc 中，new 和 malloc 使用相同的分配器，因此这里不应该有实际问题)。 C++ 标准对这个主题有什么规定吗？

(当前的 glibc 标准 C++ 库不执行 realloc，即使是在 vector 中 - 因为一旦分配了对象，运行时就无法在旧内存块上调用析构函数并在新 block 上调用放置 new -也就是说，如果内存块已被 realloc 移动。如果标准库有一个无法移动参数的就地 realloc ，事情会更简单阻止到新位置)

编辑:

实际上，一些内存分配器有一个就地 realloc 函数；这些当然是非标准的。

• jemalloc 有一个名为 rallocm 的 API，带有标志 ALLOCM_NO_MOVE
• dlmalloc (Doug Lea malloc) 有一个名为 dlrealloc_in_place
的 API

如果您将 jemalloc 或 dlmalloc 用于全局运算符 new 和 delete，那么您可以将这些非标准函数用于尝试就地 的 vector 类realloc 在进行移动 malloc 并进行复制之前。或者可以请求 C++ 标准委员会在标准中添加一种全局非移动重新分配方法。

编辑:

或者您可以创建一个 vector 类，其中通过malloc/realloc/free完成内存管理，但此实现可能只能实例化如果元素类型是普通旧数据(即，如果 std::is_pod 在 vector 所持有的类型上返回 true)。

Answer 1

不，你不能混合free/realloc内置 new .

您正在寻找的大部分功能都可以使用std::vector来获得。 。保证(AFAIK) vector 中的对象连续存储(就像旧式数组一样)，您可以获得指向存储的指针，并且可以以标准定义的方式调整数组的大小。唯一缺少的似乎是提供自己的存储的可能性(即拥有 T* 并使用该存储获得 std::vector<T>)。

如果您确实需要(首先检查以下缺点)，您可能会做的是替换 new 的默认实现和delete使用malloc和free :

void* operator new(size_t n)
{
    return malloc(n);
}

void operator delete(void* p)
{
     free(p);
}

完成此操作后，您可以使用realloc在 new 获得的指针上.

正如 Michael Walz 所指出的，您需要注意您分配的对象是否需要初始化。如果你的对象不能通过复制内存来移动(如果 realloc 无法调整 block 的大小，则它会这样做)，情况可能会更糟。这意味着除了哑结构之外，它对其他任何东西都是无用的(即使这样，你最终也会得到类似 C 的语义，并且无论如何都有未初始化的数据 - 甚至不是零初始化)。

此外malloc , free和realloc与 C++ 更强的类型不能很好地配合。这个