std::allocator_traits

在标头 `<memory>` 定义
template< class Alloc > struct allocator_traits;		(C++11 起)

allocator_traits 类模板提供访问分配器 (Allocator) 各种属性的标准化方式。标准容器和其他标准库组件通过此模板访问分配器，这使得能以任何类类型为分配器，只要用户提供的 allocator_traits 特化实现所有要求的功能。

声明 std::allocator_traits 的显式或部分特化的程序为非良构，不要求诊断。

(C++23 起)

默认的非特化 allocator_traits 含有下列成员：

类型	定义
`allocator_type`	`Alloc`
`value_type`	`Alloc::value_type`
`pointer`	如果存在就是 `Alloc::pointer`，否则是 `value_type*`
`const_pointer`	如果存在就是 `Alloc::const_pointer`，否则是 std::pointer_traits<pointer>::rebind<const value_type>
`void_pointer`	如果存在就是 `Alloc::void_pointer`，否则是 std::pointer_traits<pointer>::rebind<void>
`const_void_pointer`	如果存在就是 `Alloc::const_void_pointer`，否则是 std::pointer_traits<pointer>::rebind<const void>
`difference_type`	如果存在就是 `Alloc::difference_type`，否则是 std::pointer_traits<pointer>::difference_type
`size_type`	如果存在就是 `Alloc::size_type`，否则是 std::make_unsigned<difference_type>::type
`propagate_on_container_copy_assignment`	如果存在就是 `Alloc::propagate_on_container_copy_assignment`，否则是 std::false_type
`propagate_on_container_move_assignment`	如果存在就是 `Alloc::propagate_on_container_move_assignment`，否则是 std::false_type
`propagate_on_container_swap`	如果存在就是 `Alloc::propagate_on_container_swap`，否则是 std::false_type
`is_always_equal`	如果存在就是 `Alloc::is_always_equal`，否则是 std::is_empty<Alloc>::type

类型	定义
`rebind_alloc<T>`	如果存在就是 `Alloc::rebind<T>::other` ，否则在此 `Alloc` 是 Alloc<U, Args> 时就是 Alloc<T, Args>
`rebind_traits<T>`	std::allocator_traits<rebind_alloc<T>>

allocate [静态]	用分配器分配未初始化的存储 (公开静态成员函数)
allocate_at_least [静态] (C++23)	经由分配器分配至少与请求的大小一样大的存储 (公开静态成员函数)
deallocate [静态]	用分配器解分配存储 (公开静态成员函数)
construct [静态]	在分配的存储构造对象 (函数模板)
destroy [静态]	析构存储于已分配存储的对象 (函数模板)
max_size [静态]	返回分配器所支持的最大对象大小 (公开静态成员函数)
select_on_container_copy_construction [静态]	获得复制标准容器后使用的分配器 (公开静态成员函数)

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

缺陷报告	应用于	出版时的行为	正确行为
LWG 2108	C++11	没有方法确认分配器是否有状态	提供了 `is_always_equal`

成员函数
allocator_traits::allocate (C++11)
allocator_traits::allocate_at_least (C++23)
allocator_traits::deallocate (C++11)
allocator_traits::construct (C++11)
allocator_traits::destroy (C++11)
allocator_traits::max_size (C++11)
allocator_traits::select_on_container_copy_construction (C++11)