名前付き要件: Erasable

提供: cppreference.com

その型のオブジェクトが与えられた Allocator によって破棄可能であることを指定します。

以下の内容を満たす場合、型 T は T と同一の value_type を持つ Container X から Erasable です。

が与えられたとき、以下の式が well-formed でなければなりません。ただし X::allocator_type は std::allocator_traits<A>::rebind_alloc<T> と同一です。

std::allocator_traits<A>::destroy(m, p);

この項は、アロケータ対応でない場合、アロケータオブジェクトを作成する必要がないことと std::allocator のユーザ定義の特殊化が実体化されないことを除いて、 A が std::allocator<T> であるかのように定義��れます。

すべての標準ライブラリのコンテナはその要素の型が Erasable を満たすことを要求します。

デフォルトのアロケータでは、この要件は p->~T() の有効性と同等です。アクセス可能なデストラクタを持つクラス型およびすべてのスカラー型を受理しますが、配列型、関数型、参照型および void を拒否します。