std::uses_allocator

来自cppreference.com
< cpp‎ | memory
 
 
工具库
通用工具
格式化库 (C++20)
(C++11)
关系运算符 (C++20 中弃用)
整数比较函数
(C++20)(C++20)(C++20)
(C++20)
swap 与类型运算
(C++14)
(C++11)
(C++11)
(C++11)
(C++17)
常用词汇类型
(C++11)
(C++17)
(C++17)
(C++17)
(C++11)
(C++17)

初等字符串转换
(C++17)
(C++17)
栈踪
 
动态内存管理
智能指针
(C++11)
(C++11)
(C++11)
(C++17 前)
(C++11)
(C++23)
分配器
uses_allocator
(C++11)
内存资源
未初始化存储
未初始化内存算法
受约束的未初始化内存算法
垃圾收集支持
(C++11)(C++23 前)
(C++11)(C++23 前)
(C++11)(C++23 前)
(C++11)(C++23 前)
(C++11)(C++23 前)
(C++11)(C++23 前)
杂项
(C++20)
(C++11)
(C++11)
C 库
低层内存管理
 
定义于头文件 <memory>
template< class T, class Alloc > struct uses_allocator;
(C++11 起)

T 拥有:1)内嵌定义类型 allocator_type ,并且该类型能从 Alloc 转换,2)或者该类型是 std::experimental::erased_type 的别名 (库基础 TS),则成员常量 valuetrue 。否则 valuefalse

辅助变量模板

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_allocatorpairfalse (不同于 std::tuple 等);见 std::polymoprhic_allocator::constructstd::scoped_allocator_adaptor::construct (C++20 前)std::uses_allocator_construction_args (C++20 起)pair 特定重载。

工具函数 std::make_obj_using_allocatorstd::uninitialized_construct_using_allocator 可用于显式创建遵循上述协议的对象,而 std::uses_allocator_construction_args 能用于准备匹配类型所期待的使用分配器构造的口味的实参列表。

(C++20 起)

特化

类型特性 std::uses_allocator 的自定义特化对无成员 typedef allocator_type 的类型允许,但必须满足下列二个要求之一:

1) T 拥有接收 std::allocator_arg_t 为首参数, Alloc 为第二参数的构造函数。
2) T 拥有接收 Alloc 为最后参数的构造函数。

上述情况中, Alloc 是满足分配器 (Allocator) 要求的类型,或是可转换到 std::experimental::pmr::memory_resource* 的指针类型 (库基础 TS)

标准库已提供下列特化:

特化 std::uses_allocator 类型特征
(类模板特化)
特化 std::uses_allocator 类型特征
(类模板特化)
特化 std::uses_allocator 类型特征
(类模板特化)
特化 std::uses_allocator 类型特征
(类模板特化)
特化 std::uses_allocator 类型特性
(类模板特化)
特化 std::uses_allocator 类型特征
(类模板特化)
特化 std::uses_allocator 类型特征
(类模板特化)

注解

std::scoped_allocator_adaptorstd::tuplestd::pmr::polymorphic_allocator 使用此类型特性。自定义分配器或封装类型亦可使用之,以确定要构造的对象或成员是否足以使用分配器(例如是容器的情况),该情况下应传递分配器给其构造函数。

参阅

用于选择具分配器的构造函数的 std::allocator_arg_t 对象
(常量)
标签类型,用于选择具分配器的构造函数重载
(类)
准备匹配给定类型所要求的使用分配器构造的口味的参数列表
(函数模板)
以使用分配器构造的手段创建给类型的对象
(函数模板)
以使用分配器构造的手段在指定的内存位置创建给定类型的对象
(函数模板)
为多级容器实现的多级分配器
(类模板)