std::uses_allocator

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

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

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

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

并发支持库 (C++11)

技术规范

符号索引

外部库

 

工具库

语言支持 类型支持（基本类型、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 > inline 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 对 pair 为 false（与 std::tuple 等不同）；见 std::polymoprhic_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 能用于准备匹配类型所期待的使用分配器构造的形式的实参列表。

(C++20 起)

特化

给定某个没有嵌套 allocator_type 的由程序定义的类型 T，只要满足以下任意条件，程序就可以为 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++11)	特化 std::uses_allocator 类型特征 (类模板特化)
std::uses_allocator<std::flat_set> (C++11)	特化 std::uses_allocator 类型特征 (类模板特化)
std::uses_allocator<std::flat_multimap> (C++11)	特化 std::uses_allocator 类型特征 (类模板特化)
std::uses_allocator<std::flat_multiset> (C++11)	特化 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)	为多级容器实现的多级分配器 (类模板)