使用两个参数但没有赋值调用 new 运算符

Question

我找到了这段代码，但我不明白为什么它在项目中有效。代码结构为：

class MyClass {
    int value;
};

struct MyStruct {
    MyClass classA;
    MyClass classB;
};

int main() {

    MyStruct myStruct;

    new (&((&myStruct)->classA)) MyClass();
    new (&((&myStruct)->classB)) MyClass();
}

（我添加了内部＆符号以创建一个较小的示例。在源代码中 myStruct 是一个指针）。

编译器说

In function int main()
error: no matching function for call to ‘operator new(sizetype, MyClass*)’
    new (&((&myStruct)->classA)) MyClass();
                                         ^
note: candidates are:
note: void* operator new(long unsigned int)
note:   candidate expects 1 argument, 2 provided

也许我错过了一些重要的事情。这是一个大项目，我不能复制它。我无法创建 MWE。我希望有人能向我解释这段代码背后的主要思想，以及我必须改变什么来编译它。

Answer 1

Placement new 是 C++ 语言功能之一，需要包含适当的标头才能尝试使用它们。

使用placement new 时，表达式必须调用operator new 的重载作为其评估的一部分。 这个重载，确切地说：

void* operator new (std::size, void*);

但是这个函数并不是在每个翻译单元中自动为你声明的。因此，要将其拉入，您必须包含正确的标题 (<new>)。

---

作为旁注，您显示的代码非常损坏。它构造了myStruct 的成员两次！对于非平凡的案件，这可能会造成严重破坏。

非常显式地初始化myStruct 的正确方法是这样的：

MyStruct myStruct {
  {}, // Default construct classA
  {}  // Default construct classB
};