size_type

割り当てる領域の大きさを表現可能な符号なし整数型。

initializer

backendに対する初期化オブジェクトの型。backendのオブジェクトは初期化オブジェクトを用いて構築できる。ポリシークラス実装者は、backendのオブジェクトを動的な値で初期化する手段としてinitializerに任意の実装を与えてよい。

backend()

引数なしでオブジェクトを構築する。

backend(U init)

初期化オブジェクトinitを用いてオブジェクトを構築する。引数の型Uはinitializerもしくはconst initializer&のどちらかである。

backend(const backend& rhs)

同型のオブジェクトrhsを用いてオブジェクトを構築する。

~backend()

オブジェクトを破壊する。

backend& operator=(const backend&)

存在しない。

void swap(backend& rhs)

自身とrhsの状態を入れ換える。

initializer get_initializer() const

初期化オブジェクトを返す。

size_type max_size() const

割り当て可能な記憶領域の大きさの最大値を返す。swapで全状態を交換したときを除いて、ポリシーオブジェクトの生存期間全体を通じて戻り値は一定であること。

void* allocate(size_type n)

型Tのオブジェクトn個を格納するのに充分な大きさを持つ記憶領域を割り当て、その先頭へのポインタを返す。nがmax_sizeの戻り値を越えていたときの動作は未定義。

戻り値pは次のすべての条件を満たさなければならない。

これらの条件は、nが0であっても満たされなければならない。領域サイズが0であれば、条件1はpがいかなる値であっても満たされるが、条件2には留意する必要がある。例えばヌルポインタを返すべきではない: このようにすると、allocate(0)を2度呼んだときに条件2に違反することになる。

条件2は、例えば次のように実装することで満たせる。

void* allocate(size_type n)
{
  if (n == 0) n = 1;
  void* const p = std::malloc(n * sizeof_T_);
  // ...
}

void deallocate(void* p)

引数pで示される記憶領域を開放する。pがallocateで割り当てられた記憶領域でないときの動作は未定義。