std::allocator_traits

定义于头文件 `<memory>`
template< class Alloc > struct allocator_traits;		(C++11 起)

allocator_traits 类模板提供了一种标准化的方式来访问 Allocator 的各种属性。标准容器和其他标准库组件通过此模板访问分配器，从而可以使用任何类类型作为分配器，只要用户提供的 std::allocator_traits 特化实现了所有必需的功能。

声明 std::allocator_traits 的显式或部分特化的程序是格式错误的，不需要诊断。

(C++23 起)

默认的、非特化的 std::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` 形式为 SomeAllocator<U, Args>，则为 `SomeAllocator<T, Args>`，其中 Args 是零个或多个类型参数
`rebind_traits<T>`	std::allocator_traits<rebind_alloc<T>>

allocate [静态]	使用分配器分配未初始化的存储 (public static member function) [编辑]
allocate_at_least [static] (C++23)	通过分配器分配至少请求大小的存储空间 (public static member function) [编辑]
deallocate [静态]	使用分配器释放存储 (public static member function) [编辑]
construct [静态]	在已分配的存储中构造一个对象 (function template) [编辑]
destroy [静态]	销毁存储在已分配存储中的对象 (function template) [编辑]
max_size [静态]	返回分配器支持的最大对象大小 (public static member function) [编辑]
select_on_container_copy_construction [静态]	获取复制标准容器后使用的分配器 (public static member function) [编辑]

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

缺陷报告	应用于	发布时的行为	正确的行为
LWG 2108	C++11	无法显示分配器是无状态的	提供 `is_always_equal`

AllocatorAwareContainer（分配器感知容器） (C++11)	使用分配器的容器；相关特性（例如 `propagate_on_container_swap`）用法（命名要求）
allocator	默认分配器 (类模板) [编辑]
scoped_allocator_adaptor (C++11)	为多层容器实现多层分配器 (类模板) [编辑]
pointer_traits (C++11)	提供有关类指针类型的信息 (类模板) [编辑]

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

目录