C++ 具名要求：知分配器容器 (AllocatorAwareContainer)

知分配器容器 (AllocatorAwareContainer) 是容器 (Container) ，其保有一个分配器 (Allocator) 实例，并于其所有成员函数中用该实例来分配及解分配内存，并于这个内存中构造及销毁对象的（这种对象可以是容器元素，结点，或对于无序容器为桶数组）。

下列规则适用于容器的构造

• 知分配器容器 (AllocatorAwareContainer) 的复制构造函数，通过在正在复制的容器的分配器上调用 std::allocator_traits<allocator_type>::select_on_container_copy_construction 获得自己的分配器实例。
• 移动构造函数通过从属于旧容器的分配器进行移动构造，获得其自己的分配器实例。
• 所有其他构造函数均接收一个分配器形参。

仅有的替换分配器的方式是进行移动赋值、复制赋值及交换：

• 仅当 std::allocator_traits<allocator_type>::propagate_on_container_copy_assignment::value 为 true 时，复制赋值才会替换分配器
• 仅当 std::allocator_traits<allocator_type>::propagate_on_container_move_assignment::value 为 true 时，移动赋值才会替换分配器
• 仅当 std::allocator_traits<allocator_type>::propagate_on_container_swap::value 为 true 时，交换才会替换分配器。特别是它将通过对非成员函数 swap 的无限定的调用来交换分配器实例，见可交换 (Swappable) 。

注：若 propagate_on_container_swap 为 false，则交换两个拥有不相等分配器的容器是未定义行为。

• 访问器 get_allocator() 获得构造容器时所用的，或为最近的分配器替换操作所安装的分配器的一个副本。

要求

概念要求

A

• 可默认构造 (DefaultConstructible)

T

• 可复制插入 (CopyInsertable)

X

• 可复制赋值 (CopyAssignable)

注解

具分配器容器始终调用 std::allocator_traits<A>::construct(m, p, args) 在 p 中用 args 来构造一个 A 类型的对象，其中 m == get_allocator()。std::allocator 中默认的 construct 调用 ::new((void*)p) T(args)，但特化的分配器可以选择不同的定义。

标准库

所有标准库容器，除了 std::array，都是知分配器容器 (AllocatorAwareContainer) ：

• std::basic_string
• std::deque
• std::forward_list
• std::list
• std::vector
• std::map
• std::multimap
• std::set
• std::multiset
• std::unordered_map
• std::unordered_multimap
• std::unordered_set
• std::unordered_multiset