std::uses_allocator

 

C++

编译器支持

自由（freestanding）与宿主（hosted）

语言

标准库

标准库头文件

具名要求

特性测试宏 (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 [静态]

如果 T 使用分配器 Alloc 则为 true，否则为 false (public static 成员常量)

成员函数

operator bool	将对象转换为 bool，返回 value (公开成员函数)
operator() (C++14)	返回 value (公开成员函数)

成员类型

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

使用分配器构造

将分配器 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...) 调用），则使用分配器构造采用此形式。
• 如果 T 使用“尾随分配器约定”（可作为 T(args..., alloc) 调用），则使用分配器构造采用此形式。
• 否则，程序格式错误（这意味着 std::uses_allocator_v<T, Alloc> 为 true，但该类型不遵循两种允许的约定中的任何一种）。

• 作为特例，std::pair 被视为使用分配器类型，即使对于 pair 而言 std::uses_allocator 为 false（不像例如 std::tuple）：请参阅 std::pmr::polymorphic_allocator::construct 和 std::scoped_allocator_adaptor::construct 的 pair 特有重载(C++20 前)std::uses_allocator_construction_args(C++20 起)。

工具函数 std::make_obj_using_allocator 和 std::uninitialized_construct_using_allocator 可用于显式创建遵循上述协议的对象，而 std::uses_allocator_construction_args 可用于准备与类型期望的使用分配器构造方式匹配的参数列表。

(C++20 起)

特化

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

• 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)	准备与给定类型所需的使用分配器构造方式匹配的参数列表 (函数模板)
make_obj_using_allocator (C++20)	通过 uses-allocator 构造创建给定类型的对象 (函数模板)
uninitialized_construct_using_allocator (C++20)	通过使用分配器构造在指定内存位置创建给定类型的对象 (函数模板)
scoped_allocator_adaptor (C++11)	为多层容器实现多层分配器 (类模板)