std::allocator_traits

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

功能特性测试宏(C++20)

语言支持库

概念库(C++20)

诊断库

内存管理库

元编程库(C++11)

通用工具库

容器库

迭代器库

范围库(C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库(C++17)

并发支持库(C++11)

执行控制库(C++26)

技术规范

符号索引

外部库

 

内存管理库

voidify (仅用于阐述*) 分配器 allocator allocator_traits (C++11) allocation_result (C++23) scoped_allocator_adaptor (C++11) pmr::polymorphic_allocator (C++17) allocator_arg (C++11) uses_allocator (C++11) uses_allocator_construction_args (C++20) make_obj_using_allocator (C++20) uninitialized_construct_using_allocator (C++20) 未初始化内存算法 uninitialized_copy uninitialized_fill uninitialized_move (C++17) uninitialized_copy_n (C++11) uninitialized_fill_n uninitialized_move_n (C++17) construct_at (C++20) uninitialized_default_construct (C++17) uninitialized_value_construct (C++17) destroy (C++17) uninitialized_default_construct_n (C++17) uninitialized_value_construct_n (C++17) destroy_n (C++17) destroy_at (C++17) 受约束的未初始化内存算法 ranges::uninitialized_copy (C++20) ranges::uninitialized_fill (C++20) ranges::uninitialized_move (C++20) ranges::uninitialized_copy_n (C++20)  ranges::uninitialized_fill_n (C++20) ranges::uninitialized_move_n (C++20) ranges::construct_at (C++20) ranges::uninitialized_default_construct (C++20) ranges::uninitialized_value_construct (C++20) ranges::destroy (C++20) ranges::uninitialized_default_construct_n (C++20)  ranges::uninitialized_value_construct_n (C++20) ranges::destroy_n (C++20) ranges::destroy_at (C++20) 内存资源 pmr::memory_resource (C++17) pmr::get_default_resource (C++17) pmr::set_default_resource (C++17) pmr::new_delete_resource (C++17) pmr::pool_options (C++17) pmr::null_memory_resource (C++17) pmr::synchronized_pool_resource (C++17) pmr::unsynchronized_pool_resource (C++17) pmr::monotonic_buffer_resource (C++17) 显式生存期管理 start_lifetime_as (C++23) start_lifetime_as_array (C++23) 用于复合类设计的类型 indirect (C++26) polymorphic (C++26) 未初始化存储(C++20 前) raw_storage_iterator (C++17 弃用) get_temporary_buffer (C++17 弃用) return_temporary_buffer (C++17 弃用) 垃圾收集器支持(C++23 前) declare_reachable (C++11)(C++23 前) declare_no_pointers (C++11)(C++23 前) pointer_safety (C++11)(C++23 前) undeclare_reachable (C++11)(C++23 前) undeclare_no_pointers (C++11)(C++23 前) get_pointer_safety (C++11)(C++23 前)

低层内存管理 operator newoperator new[] operator deleteoperator delete[] nothrow_t nothrow new_handler set_new_handler get_new_handler (C++11) bad_alloc bad_array_new_length (C++11) align_val_t (C++17) destroying_delete_t (C++20) launder (C++17) 智能指针 unique_ptr (C++11) shared_ptr (C++11) weak_ptr (C++11) auto_ptr (C++17 前*) owner_less (C++11) owner_less<void> (C++17) owner_hash (C++26) owner_equal (C++26) enable_shared_from_this (C++11) bad_weak_ptr (C++11) default_delete (C++11) out_ptr_t (C++23) inout_ptr_t (C++23) 杂项 pointer_traits (C++11) to_address (C++20) addressof (C++11) align (C++11) assume_aligned (C++20) is_sufficiently_aligned (C++26) C 库 malloc calloc realloc free aligned_alloc (C++17)

 

std::allocator_traits

成员类型

成员函数

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

 

在标头 <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<constvoid>
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

参阅

AllocatorAwareContainer知分配器容器 (C++11)	使用分配器的容器；关联特征（例如 propagate_on_container_swap）的用法 (具名要求)
allocator	默认的分配器 (类模板)
scoped_allocator_adaptor (C++11)	为多级容器实现的多级分配器 (类模板)
pointer_traits (C++11)	提供关于指针式类型的信息 (类模板)