6.3.2. 要件

6.3.2. 要件
前のページ	6.3. スカラー構築ポリシー	次のページ

スカラー構築ポリシーの実装が満たすべき要件について述べる。

ポリシーは、2相テンプレートと状態を持ち得るポリシークラスで構成される。フロントエンドのクラス名をpolicy_sample、バックエンド導出のために与えられた操作対象の型をTとすると、バックエンドのクラスは

typename policy_sample::template bind<T>::type

という記述で得られる。以降、バックエンドのクラス名をbackendと表記する。

backendは次のpublicなメンバ型を持つ。

backendは次のprotectedなメンバ関数を持つ。

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で構築したオブジェクトを指していないときの動作は未定義。

ポリシークラスが通常満たすべき例外安全性と計算量の条件は次の通り。

表 6.3. スカラー構築ポリシーの例外安全性と計算量

前のページ	上に戻る	次のページ
6.3.1. 概要	ホーム	6.3.3. `scalar_construction_policy::standard`