c++ - 是否有尊重重写的新/删除的 C++ 分配器？

Question

我正在为 T 类型的数组实现资源分配克隆操作。直接的实现使用 new T[sz]，然后是从源到新数组的 std::copy 调用。它遍历内存两次。

我想分配原始内存然后使用 std::uninitialized_copy 所以出于性能原因我只遍历内存一次。我知道如何在使用自定义分配器时完成此操作(Allocator.allocate 后跟 std::uninitialized_copy)，并且我知道如何使用 std 完成此操作::allocator(在规范第 20.4.1.1 节中的 lib.allocator.members 之后使用 ::operator new)。我担心的是，对于定义了 T::operator new 的类型 T，基于 std::allocator 的方法似乎是错误的。我知道我可以使用 Boost.TypeTraits 的 has_new_operator 检测到这种情况。

是否有一种简单的、符合标准的方式来分配原始内存，然后以一种尊重被覆盖的新内存(并且只传递一次内存)的方式初始化原始内存？如果不是，使用 SFINAE 在使用 std::allocator 的实现和使用重写的 operator new 的实现之间进行调度是否合理？ FWIW，通过 Boost 进行 grepping 并没有显示 has_new_operator 特征的这种使用。

谢谢，里斯

Answer 1

这似乎是不可能的。只有 operator new[] 知道如何以某种特定于实现的方式(operator delete[])存储数组大小(如果 T 有析构函数)然后利用此信息)。因此，如果不使用 new 表达式(并且不调用元素构造函数)，就没有可移植的方法来存储此信息。