std::uses_allocator

 

C++

编译器支持

独立和托管

语言

标准库

标准库头文件

命名需求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用实用程序库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

并发支持库 (C++11)

执行支持库 (C++26)

技术规范

符号索引

外部库

 

实用程序库

语言支持 类型支持 (基本类型，RTTI) 库特性测试宏 (C++20) 动态内存管理 程序实用程序 协程支持 (C++20) 可变参数函数 is_constant_evaluated (C++20) is_within_lifetime (C++26) initializer_list (C++11) source_location (C++20) 调试支持 is_debugger_present (C++26) breakpoint_if_debugging (C++26) breakpoint (C++26) 三路比较 three_way_comparablethree_way_comparable_with (C++20)(C++20) strong_ordering (C++20) weak_ordering (C++20) partial_ordering (C++20) common_comparison_category (C++20) compare_three_way_result (C++20) compare_three_way (C++20) strong_order (C++20) weak_order (C++20) partial_order (C++20) compare_strong_order_fallback (C++20) compare_weak_order_fallback (C++20) compare_partial_order_fallback (C++20)    is_eqis_ltis_lteq (C++20)(C++20)(C++20) is_neqis_gtis_gteq (C++20)(C++20)(C++20)

通用实用程序 日期和时间 函数对象 格式化库 (C++20) bitset hash (C++11) 关系运算符 (C++20 中已弃用) rel_ops::operator!=rel_ops::operator>     rel_ops::operator<=rel_ops::operator>= 整数比较函数 cmp_equalcmp_lesscmp_less_than (C++20)(C++20)(C++20)    cmp_not_equalcmp_greatercmp_greater_than (C++20)(C++20)(C++20) in_range (C++20) 交换 和 类型操作 swap ranges::swap (C++20) exchange (C++14) declval (C++11) to_underlying (C++23) forward (C++11) forward_like (C++23) move (C++11) move_if_noexcept (C++11) as_const (C++17) 通用词汇类型 pair tuple (C++11) optional (C++17) any (C++17) variant (C++17) tuple_size (C++11) tuple_element (C++11) apply (C++17) make_from_tuple (C++17) expected (C++23) 基本字符串转换 to_chars (C++17) from_chars (C++17) chars_format (C++17) to_chars_result (C++17) from_chars_result (C++17)

 

动态内存管理

未初始化内存算法 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) voidify (C++20) 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) 分配器 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) C 库 malloc calloc realloc    aligned_alloc (C++17) free

 

定义在头文件 <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 (公共静态成员常量)

成员函数

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

成员类型

类型	定义
value_type	bool
type	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 被视为使用分配器类型，即使 std::uses_allocator 对 pairs（不像例如 std::tuple）为 false：参见 std::pmr::polymorphic_allocator::construct 和 std::scoped_allocator_adaptor::construct(直到 C++20)std::uses_allocator_construction_args(自 C++20 起) 的特定于 pairs 的重载。

实用函数 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 具有一个构造函数，它将 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)	通过使用分配器构造创建给定类型的对象 (函数模板)
uninitialized_construct_using_allocator (C++20)	通过使用分配器构造在指定内存位置创建给定类型的对象 (函数模板)
scoped_allocator_adaptor (C++11)	实现多级容器的多级分配器 (类模板)