std::uses_allocator
定义于头文件 <memory>
|
||
template< class T, class Alloc > struct uses_allocator; |
(C++11 起) | |
若 T
拥有:1)内嵌定义类型 allocator_type
,并且该类型能从 Alloc
转换,2)或者该类型是 std::experimental::erased_type 的别名 (库基础 TS),则成员常量 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 起) |
特化
类型特性 std::uses_allocator 的自定义特化对无成员 typedef allocator_type
的类型允许,但必须满足下列二个要求之一:
2)
T
拥有接收 Alloc
为最后参数的构造函数。上述情况中, Alloc
是满足分配器 (Allocator) 要求的类型,或是可转换到 std::experimental::pmr::memory_resource* 的指针类型 (库基础 TS)。
标准库已提供下列特化:
特化 std::uses_allocator 类型特征 (类模板特化) | |
特化 std::uses_allocator 类型特征 (类模板特化) | |
特化 std::uses_allocator 类型特征 (类模板特化) | |
特化 std::uses_allocator 类型特征 (类模板特化) | |
(C++11) (C++17 前) |
特化 std::uses_allocator 类型特性 (类模板特化) |
特化 std::uses_allocator 类型特征 (类模板特化) | |
(C++11)(C++17 前) |
特化 std::uses_allocator 类型特征 (类模板特化) |
注意
std::scoped_allocator_adaptor 、 std::tuple 及 std::pmr::polymorphic_allocator 使用此类型特性。自定义分配器或封装类型亦可使用之,以确定要构造的对象或成员是否足以使用分配器(例如是容器的情况),该情况下应传递分配器给其构造函数。
参阅
(C++11) |
用于选择具分配器的构造函数的 std::allocator_arg_t 对象 (常量) |
(C++11) |
标签类型,用于选择具分配器的构造函数重载 (类) |
准备匹配给定类型所要求的使用分配器构造的口味的参数列表 (函数模板) | |
(C++20) |
以使用分配器构造的手段创建给类型的对象 (函数模板) |
以使用分配器构造的手段在指定的内存位置创建给定类型的对象 (函数模板) | |
(C++11) |
为多级容器实现的多级分配器 (类模板) |