アロケータでカスタムの構築/破壊メソッドを使用すると便利なのはいつですか？

Question

カスタムアロケータ、特にallocate/deallocateメソッドをカスタマイズする機能は非常に便利です。特定のパフォーマンスに重要な領域で使用される低レベルのメモリ割り当て方法を制御できます。ノードベースのコンテナの場合はPooled allocators、およびfixed-size allocatorsが考えられます。

しかし、カスタムconstruct/destroyメソッドを定義すると便利なのはいつですか？

私は、これらの方法は配置newと明示的な破壊と同じ効果を持っていることを、標準的な任務、すなわちそれを理解したよう：

//construct should give the same effect as: 
    construct (_Type *_ptr, _Type const&_val) 
    { 
     new(_ptr) _Type(_val); 
    } 
//destroy should give the same effect as: 
    destroy (_Type *_ptr) 
    { 
     _ptr->~_Type(); 
    } 

を別の方法でこれらのメソッドを実装する方法はあり - 配置を使用していませんnewと明示的な破壊？そうでない場合、なぜそれらがアロケータオブジェクトの一部ですか？誰もがちょうど配置newと明示的な破壊を直接使用した方が簡単だろうか？

Answer 1

テンプレート引数の周りにラッパー型を置き換え、その代わりにconstructとdestroyが割り当てられた型ではなくラッパーコンストラクターとデストラクタを呼び出す必要があります。

C++ 11では、constructは任意の数の引数をコンストラクタに転送します。カスタムアロケータは、リストの先頭または最後に引数を挿入したり、引数を傍受したり変更したりすることができます。これは、ユーザーがインプレース構造を使用している場合にのみ機能します。

ところで、_Typeを識別子として使用しないでください。アンダースコアの先頭に資本が続く識別子は、実装のために予約されています。