std::uses_allocator

 

C++

编译器支持

独立和宿主式

语言

标准库

标准库头文件

具名要求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

诊断库

内存管理库

元编程库 (C++11)

通用工具库

容器库

迭代器库

范围库 (C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库 (C++17)

并发支持库 (C++11)

执行控制库 (C++26)

技术规范

符号索引

外部库

 

内存管理库

voidify (仅作演示*) 未初始化内存算法 uninitialized_copy uninitialized_fill uninitialized_move (C++17) uninitialized_default_construct (C++17) uninitialized_value_construct (C++17) destroy (C++17) destroy_at (C++17) uninitialized_copy_n (C++11) uninitialized_fill_n uninitialized_move_n (C++17) uninitialized_default_construct_n (C++17) uninitialized_value_construct_n (C++17) destroy_n (C++17) construct_at (C++20) 受约束的未初始化 内存算法 ranges::uninitialized_copy (C++20) ranges::uninitialized_fill (C++20) ranges::uninitialized_move (C++20) ranges::construct_at (C++20) ranges::destroy (C++20) ranges::destroy_n (C++20) ranges::destroy_at (C++20) ranges::uninitialized_copy_n (C++20) ranges::uninitialized_fill_n (C++20) ranges::uninitialized_move_n (C++20) ranges::uninitialized_default_construct (C++20) ranges::uninitialized_value_construct (C++20) ranges::uninitialized_default_construct_n (C++20)  ranges::uninitialized_value_construct_n (C++20) C 库 malloc calloc realloc aligned_alloc (C++17) free

分配器 allocator allocator_traits (C++11) allocation_result (C++23) 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)  scoped_allocator_adaptor (C++11) pmr::polymorphic_allocator (C++17) 内存资源 pmr::memory_resource (C++17) pmr::get_default_resource (C++17) pmr::set_default_resource (C++17) pmr::new_delete_resource (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) pmr::pool_options (C++17) 垃圾回收支持 declare_reachable (C++11)(直到 C++23) undeclare_reachable (C++11)(直到 C++23) declare_no_pointers (C++11)(直到 C++23) undeclare_no_pointers (C++11)(直到 C++23) pointer_safety (C++11)(直到 C++23) get_pointer_safety (C++11)(直到 C++23) 未初始化存储 raw_storage_iterator (直到 C++20*) get_temporary_buffer (直到 C++20*) return_temporary_buffer (直到 C++20*) 显式生命周期管理 start_lifetime_asstart_lifetime_as_array (C++23)(C++23)

智能指针 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) 底层内存 管理 operator new operator new[] operator delete operator delete[] get_new_handler (C++11) set_new_handler launder (C++17) bad_alloc bad_array_new_length (C++11) nothrow_t align_val_t (C++17) destroying_delete_t (C++20) new_handler nothrow 杂项 pointer_traits (C++11) to_address (C++20) addressof (C++11) align (C++11) assume_aligned (C++20) is_sufficiently_aligned (C++26)

 

定义于头文件 <memory>
template< class T, class Alloc > struct uses_allocator;		(自 C++11 起)

如果 T 拥有一个嵌套类型 allocator_type，且该类型可从 Alloc 转换而来，则成员常量 value 为 true。否则 value 为 false。

辅助变量模板

template< class T, class Alloc > constexpr bool uses_allocator_v = uses_allocator<T, Alloc>::value;		(自 C++17 起)

继承自 std::integral_constant

成员常量

value [静态]

true 如果 T 使用分配器 Alloc，否则为 false (public static member constant)

成员函数

operator bool	将对象转换为 bool，返回 value (public member function)
operator() (C++14)	返回 value (public member function)

成员类型

类型	定义
value_type	bool
type	std::integral_constant<bool, value>

Uses-allocator 构造

将分配器 alloc 传递给类型 T 的构造函数有三种约定

• 如果 T 不使用兼容的分配器（std::uses_allocator_v<T, Alloc> 为 false），则 alloc 会被忽略。
• 否则，std::uses_allocator_v<T, Alloc> 为 true，并且

• 如果 T 使用前导分配器约定（可调用为 T(std::allocator_arg, alloc, args...)），则 uses-allocator 构造使用此形式。
• 如果 T 使用尾随分配器约定（可调用为 T(args..., alloc)），则 uses-allocator 构造使用此形式。
• 否则，程序是非良构的（这意味着 std::uses_allocator_v<T, Alloc> 为 true，但该类型不遵循两种允许的约定中的任何一种）。

• 作为特殊情况，即使 std::uses_allocator 对于 pair 为 false（与 std::tuple 等不同），std::pair 也被视为 uses-allocator 类型：参见 std::pmr::polymorphic_allocator::construct 和 std::scoped_allocator_adaptor::construct(直到 C++20)std::uses_allocator_construction_args(自 C++20 起) 的 pair 特有重载。

实用工具函数 std::make_obj_using_allocator 和 std::uninitialized_construct_using_allocator 可用于显式地按照上述协议创建对象，而 std::uses_allocator_construction_args 可用于准备与类型期望的 uses-allocator 构造风格相匹配的参数列表。

(自 C++20 起)

特化

给定一个程序定义的类型 T，它没有嵌套的 allocator_type，如果满足以下任何要求，程序可以特化 std::uses_allocator 以从 T 的 std::true_type 派生

• T 有一个构造函数，它接受 std::allocator_arg_t 作为第一个参数，以及 Alloc 作为第二个参数。
• T 有一个构造函数，它接受 Alloc 作为最后一个参数。

在上面，Alloc 是一种满足 Allocator 或可转换为 std::experimental::pmr::memory_resource* 的指针类型的类型(库基础 TS)。

标准库已经提供了以下特化

std::uses_allocator<std::tuple> (C++11)	特化 std::uses_allocator 类型特征 (类模板特化)
std::uses_allocator<std::queue> (C++11)	特化 std::uses_allocator 类型特征 (类模板特化)
std::uses_allocator<std::priority_queue> (C++11)	特化 std::uses_allocator 类型特征 (类模板特化)
std::uses_allocator<std::stack> (C++11)	特化 std::uses_allocator 类型特征 (类模板特化)
std::uses_allocator<std::flat_map> (C++23)	特化 std::uses_allocator 类型特征 (类模板特化)
std::uses_allocator<std::flat_set> (C++23)	特化 std::uses_allocator 类型特征 (类模板特化)
std::uses_allocator<std::flat_multimap> (C++23)	特化 std::uses_allocator 类型特征 (类模板特化)
std::uses_allocator<std::flat_multiset> (C++23)	特化 std::uses_allocator 类型特征 (类模板特化)
std::uses_allocator<std::function> (C++11) (直到 C++17)	特化 std::uses_allocator 类型特征 (类模板特化)
std::uses_allocator<std::promise> (C++11)	特化 std::uses_allocator 类型特征 (类模板特化)
std::uses_allocator<std::packaged_task> (C++11) (直到 C++17)	特化 std::uses_allocator 类型特征 (类模板特化)

注解

此类型特征被 std::tuple、std::scoped_allocator_adaptor 和 std::pmr::polymorphic_allocator 使用。自定义分配器或包装器类型也可以使用它来确定正在构造的对象或成员本身是否能够使用分配器（例如，是否为容器），在这种情况下，应将分配器传递给其构造函数。

参见

allocator_argallocator_arg_t (C++11)	用于选择分配器感知构造函数的标签 (标签)
uses_allocator_construction_args (C++20)	准备给定类型所需的 uses-allocator 构造风格的参数列表 (函数模板)
make_obj_using_allocator (C++20)	通过 uses-allocator 构造创建给定类型的对象 (函数模板)
uninitialized_construct_using_allocator (C++20)	通过 uses-allocator 构造在指定的内存位置创建给定类型的对象 (函数模板)
scoped_allocator_adaptor (C++11)	为多层容器实现多层分配器 (类模板)