C++ 具名要求：可默认插入 (DefaultInsertable)
来自cppreference.com
指定该类型的实例能以给定的分配器原位默认构造。
要求
以下情况下，类型 T 可默认插入 (DefaultInsertable) 进容器 (Container) X（其 value_type 等同于 T）：给定
A
|
分配器类型 |
m
|
A 类型的左值
|
p
|
容器所准备的 T* 类型的指针
|
其中 X::allocator_type 等同于 std::allocator_traits<A>::rebind_alloc<T>，
下列表达式良构：
std::allocator_traits<A>::construct(m, p);
若 X 非知分配器或为 std::basic_string 特化，则如同 A 就是 std::allocator<T> 一样进行定义，但并不需要创建分配器对象，且不会实例化用户定义的 std::allocator 的特化。
注解
默认情况下，这会调用布置 new，如用 ::new((void*)p) T() (C++20 前)std::construct_at(p) (C++20 起) 一样（即值初始化 p 所指向的对象）。若不欲值初始化，例如当对象是非类类型且不需要清零时，则可通过提供定制的 Allocator::construct 予以避免。
尽管 C++23 前要求在构造 std::basic_string 的元素时使用定制的 construct，所有实现都使用默认机制。P1072R10 更正了该要求以匹配既存实现。
参阅
| 可默认构造 (DefaultConstructible) | |
| 可复制插入 (CopyInsertable) | |
| 可移动插入 (MoveInsertable) | |
| 可就位构造 (EmplaceConstructible) | |
| 可擦除 (Erasable) |