C++プリミティブのallocator.constructを呼び出す

Question

以下のコードのように、任意のアロケータを使用して割り当てられたプリミティブ型の配列に対してallocator.construct（）を呼び出す必要がありますか？このクラスでは、割り当てられたメモリを特定の値に初期化する必要はないので、新たに割り当てられたメモリチャンクを持つallocator.construct（）を呼び出す必要はありません。配列が常にプリミティブ型で構成されている場合、このメソッドを呼び出さないと危険ですか？

template <class T, template <class> class Allocator = std::allocator> 
class foo 
{ 
public: 
    typedef Allocator<T> allocator; 
    typedef typename allocator::pointer pointer; 
private: 
    unsigned size_; 
    allocator alloc_; 
    pointer t_; 
public: 
    foo(unsigned n) throw(std::bad_alloc) : size_(n), alloc_(), 
    t_(alloc_.allocate(n)) 
    { 
     // Note that I do not call alloc_.construct() here. 
    } 

    ~foo() { alloc_.deallocate(t_, size_); } 
}; 

Answer 1

はい。アロケータは、既存のオブジェクトの数を含め、望むカスタムブックを自由に割り当てることができます。それは単にnew (memory) T(...)を保証するものではありません。さらに、コードを変更してもはや単なるプリミティブではなく、いつかは後でランダムに壊れることを発見するのは非常に厄介な驚きです。