名前付き要件: CopyInsertable - cppreference.com

その型のインスタンスが与えられたアロケータによってその場でコピー構築可能であることを指定します。

要件

以下の内容を満たす場合、型 T は T と同一の value_type を持つコンテナ X に CopyInsertable です。

T が X に MoveInsertable であり、さらに

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

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

また、評価の後、 *p の値は v の値と同等です。 v の値は変更されません。

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

ノート

A が std::allocator<T> の場合、これは ::new((void*)p) T(v) によって行われたかのように配置 new を呼びます。