コンパイル時の配列を持つカスタムアロケータ

Question

"動的"メモリを割り当てるための割り当て制限（myC用）を定義します。

マイコード：

template<class T, size_t COUNT> 
class SimpleAllocator 
{ 
public: 
    using value_type = T; 

    template<class U> 
    struct rebind 
    { 
    using other = SimpleAllocator<U, COUNT>; 
    }; 

    SimpleAllocator() noexcept 
    { 
    } 

    template<class U, size_t COUNT_U> 
    SimpleAllocator(SimpleAllocator<U, COUNT_U> const &other) noexcept 
    { 
    } 

    value_type* allocate(std::size_t p_Count) 
    { 
    return nullptr; 
    } 

    void deallocate(value_type* p_Chunk, std::size_t) noexcept 
    { 
    } 

    T m_Chunks[COUNT]; 
}; 

私はスマートポインタ機能で、このアロケータを使用する場合：のstd :: allocate_sharedは、私は、コンパイラのエラーを取得：

error: constructor for 'SimpleAllocator<std::_Sp_counted_ptr_inplace<int, 
    SimpleAllocator<int, 10>, __gnu_cxx::_Lock_policy::_S_atomic>, 10>' must 
    explicitly initialize the member 'm_Chunks' which does not have a default 
    constructor 

私はこのエラーを理解するけどそれを解決することはできません。どのように私はこのようなオブジェクトを初期化することができます

std::_Sp_counted_ptr_inplace<int, SimpleAllocator<int, 10>, 
    __gnu_cxx::_Lock_policy::_S_atomic> 

Live Example.

Answer 1

あなたはアロケータ内の任意のオブジェクトを初期化したくない、あなただけのメモリを割り当てる必要があります。だから、例えば

alignas(T) char m_Chunks[COUNT * sizeof(T)]; 

この

T m_Chunks[COUNT]; 

を交換し、それに応じて（あなたが示されていない）すべての簿記を更新する必要があります。

つまり、アロケータ自体の中にバッファを置くことは良いことではありません。アロケータは、値によってコンテナに格納され、多くの操作中にコピーされるため、軽量オブジェクトであると考えられます。