pointer

型Tのオブジェクトを指すポインタの型。通常はT*。

const_pointer

型Tのconstオブジェクトを指すポインタの型。通常はconst T*。

reference

型Tのオブジェクトへの参照の型。通常はT&。

const_reference

型Tのconstオブジェクトへの参照の型。通常はconst T&。

array_marker_t

多重定義メンバ関数constructの多重定義解決のために使用される型。空クラスなど、型const_referenceと区別可能な任意の型定義を与えてよい。

backend()

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

backend(const backend& rhs)

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

~backend()

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

backend& operator=(const backend&)

存在しない。

void swap(backend& rhs)

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

void construct(void* p)

型Tのオブジェクト1つを格納するのに充分な大きさを持つ記憶領域p上に型Tのオブジェクトを1つ構築する。構築時に引数を与えない。pが構築済みのオブジェクトを指しているとき、pのアラインメントに問題があるときの動作は未定義。

void construct(void* p, const_reference v)

型Tのオブジェクト1つを格納するのに充分な大きさを持つ記憶領域p上に型Tのオブジェクトを1つ構築する。構築時に引数vを与える。pが構築済みのオブジェクトを指しているとき、pのアラインメントに問題があるときの動作は未定義。

void destruct(pointer p)

引数pで示される記憶領域上の1つのオブジェクトを破壊する。pがconstructで構築したオブジェクトを指していないときの動作は未定義。

pointer construct(void* p, S n, array_marker_t)

型Tのオブジェクトn個を連続して格納するのに充分な大きさを持つ記憶領域p上に、型Tのオブジェクトをn個構築する。構築時に引数を与えない。static_cast<pointer>(p) + nを返す。範囲[p, p + n)の一部または全体が使用可能記憶領域でないとき、同範囲上に何らかの構築済みオブジェクトが存在するとき、pのアラインメントに問題があるときの動作は未定義。

pointer construct(void* p, S n, const_reference v)

型Tのオブジェクトn個を連続して格納するのに充分な大きさを持つ記憶領域p上に、型Tのオブジェクトをn個構築する。構築時に引数vを与える。static_cast<pointer>(p) + nを返す。範囲[p, p + n)の一部または全体が使用可能記憶領域でないとき、同範囲上に何らかの構築済みオブジェクトが存在するとき、pのアラインメントに問題があるときの動作は未定義。

template <typename In> pointer construct(void* p, In first, In last)

型Tのオブジェクトn個を連続して格納するのに充分な大きさを持つ記憶領域p上に、型Tのオブジェクトをn個構築する。ただし、nはstd::distance(first, last)に等しいものとする。構築時に、static_cast<pointer>(p) + 0に位置する要素に*firstを、static_cast<pointer>(p) + 1に位置する要素に*firstの次の要素を与える。これをlastの直前まで同様に行う。static_cast<pointer>(p) + nを返す。範囲[p, p + n)の一部または全体が使用可能記憶領域でないとき、同範囲上に何らかの構築済みオブジェクトが存在するとき、pのアラインメントに問題があるときの動作は未定義。

void destruct(pointer first, pointer last)

範囲[first, last)で示される記憶領域上のすべてのオブジェクトを破壊する。対象範囲がconstructで構築したオブジェクトで満たされていないときの動作は未定義。