在历史代码中不寻常地使用 new。这是什么意思？

Question

我只是移植一些旧代码：

#define NewArrayOnHeap(TYPE, COUNT, HEAP, NEWPTR, ERROR) \
((*(NEWPTR) = new ( #TYPE "[" #COUNT "]", __alignof(TYPE), (HEAP), &hr, (ERROR)) TYPE[COUNT] ), hr)

看起来原来的代码应该定义自己神奇的 new 运算符。我对这个用法很好奇。

用法示例

int main()
{
    void*   heap = /* Don't know how to define this */
    double* ptr;
    HRESULT hr;

    hr = NewArrayOnHeap(double, 10, heap, ptr, "Help /* Just guessing here */");
}

当我使用 g++ -E 获取预处理器输出时，它是：

int main()
{
    double* ptr;
    HRESULT hr;

    hr = ((*(ptr) = new ( "double[ 10 ]", __alignof(double), (NULL), &hr, ("Help")) double[10] ), hr);
}

这看起来更像是 placement new。

但这现在是一个重载的 new 调用（带有一些时髦的参数，一个五个参数的 new 调用），还是这里的逗号是逗号运算符，因此它被简化为 ("Help") （这没有意义）。

new 历史上（甚至现在）是否允许有两个以上的参数，(size,hint)？

任何有关解码的帮助将不胜感激。

Answer 1

您要查看的部分是 §5.3.4/11-12，释义如下：

new-placement 语法用于向分配函数提供附加参数。如果使用，则对通过组装参数列表创建的函数调用执行重载决策，该参数列表由请求的空间量（第一个参数）和新表达式的新放置部分中的表达式（第二个和后续参数）组成。这些参数中的第一个参数具有 size_t 类型，其余参数具有新放置中表达式的相应类型。

[示例：
— new T 导致调用运算符 new(sizeof(T)),
— new(2,f) T 导致调用运算符 new(sizeof(T),2,f),
— new T[5] 导致调用 new 运算符，并且
— new(2,f) T[5] 导致调用运算符 new[](sizeof(T)*5+y,2,f)。]

因此，要正确使用您的宏，需要在某个地方有一个operator new 重载定义类似于：

void* operator new[](size_t, const char*, size_t, void*, HRESULT*, const char*);

我怀疑它使用给定的信息来分配满足对齐要求的内存（可能来自预分配的源），同时记录此分配并提供自定义错误消息如果无法进行分配。

就我个人而言，我觉得很恶心。 :)

---

您所指的典型“placement new”运算符是在 中定义的，它只是另一个接受 void* 并将其返回为的重载分配结果。

Answer 2

我的假设是它是新的放置，并且所有 5 个都是重载的参数。在我的解释中，参数之一是 &hr，它是一个错误代码，然后用作 operator 的第二个参数，以将其作为结果值提供。

我不认为您对宏的使用是正确的，特别是我认为 NEWPTR 旨在成为要初始化的实际指针的地址，即调用代码应该是

hr = NewArrayOnHeap(double, 10, heap, &ptr, "Help");

：进行扩展：

hr = ((*(&ptr) = new ( "double[ 10 ]", __alignof(double), (NULL), &hr, ("Help")) double[10] ), hr);

如果没有额外的 &，内部赋值的左侧和右侧的类型将不匹配：*(ptr) 是一个 double ，而放置 new 的结果将是 double*`。