2つの引数を持ちながら代入なしで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++言語機能の1つです。

プレースメントnewを使用する場合、式は評価の一部としてoperator newのオーバーロードを呼び出す必要があります。 この過負荷、正確には：

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

しかし、この機能は自動的に全ての翻訳単位であなたのために宣言されていません。そのためには、正しいヘッダー（<new>）を含める必要があります。

---

あなたが示したコードは非常に壊れています。 myStructの2つをのメンバーに構成します。それは、自明ではないケースのために大混乱を引き起こす可能性があります。

非常に明示的myStructを初期化する適切な方法は、このようなものです：

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