誰かがこのMSテキストが伝えようとしていることを説明できますか？

Question

このdocumentは、次のテキストとコードが含まれています：

あなたはnew演算子の配置新しいフォーム、割り当てのサイズに加えて、引数を持つフォームを使用している場合、コンパイラはの配置形式をサポートしていません。コンストラクタが例外をスローする場合は、演算子を削除します。例：上述した第2のコメント行で表現したよう

// expre_new_Operator2.cpp 
// C2660 expected 
class A { 
public: 
    A(int) { throw "Fail!"; } 
}; 
void F(void) { 
    try { 
     // heap memory pointed to by pa1 will be deallocated 
     // by calling ::operator delete(void*). 
     A* pa1 = new A(10); 
    } catch (...) { 
    } 
    try { 
     // This will call ::operator new(size_t, char*, int). 
     // When A::A(int) does a throw, we should call 
     // ::operator delete(void*, char*, int) to deallocate 
     // the memory pointed to by pa2. Since 
     // ::operator delete(void*, char*, int) has not been implemented, 
     // memory will be leaked when the deallocation cannot occur. 

     A* pa2 = new(__FILE__, __LINE__) A(20); 
    } catch (...) { 
    } 
} 

int main() { 
    A a; 
} 

は、コードが
C2660を発する：「演算子新しい」：いいえオーバーロードされた関数は3つの引数

を取る

Answer 1

結末は、あなたが常に実装する必要があることです一致するペアのoperator new()とoperator delete()のカスタムバージョン。何の「配置-delete式」がないので、これは最初に、不必要に思えるかもしれません：配置 - 新・構築されたオブジェクトを破壊する唯一の方法は、デストラクタを手動で起動することです：

A * p = new (addr, true, BLUE) A(1, 'a', x); 
// uses void * A::operator new(std::size_t, void *, bool, EnumColour) to 
// allocate, then invokes constructor A::A(int, char, X) with "this = p". 

// ... it's almost over ... 

p->~A(); // now it's over! 

あなたはこれを見て仮想的な「delete (addr, true, BLUE) p」がないことがわかります。では、なぜvoid A::operator delete(void *, bool, EnumColour)を実装する必要がありますか？答えは正確にあなたが引用されたテキストで説明した状況である：その場合

struct A { 
    A(int, char, X) { throw std::runtime_error("Boo!"); } 
    // ... 
    static void operator delete(void *, bool, EnumColour) noexcept; 
}; 

：オブジェクトのコンストラクタが例外をスローする場合、コンパイラは自動的に一致削除機能を起動しようとします関数が存在しない場合、関数は全く呼び出されません。したがって、何らかの理由でリソースのクリーンアップ（プールポインタの移動や空きリストの更新など）が必要な場合は、これは発生しません。