std::uses_allocator

è‹¥ T 拥有：1）内嵌定义类型 allocator_type ，并且该类型能从 Alloc 转换，2）或者该类型是 std::experimental::erased_type 的别名 (库基础 TS)，则成员常量 value 为 true 。否则 value 为 false 。

辅助变量模板

使用分配器构造

传递分配器 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::uses_allocator 的自定义特化对无成员 typedef allocator_type 的类型允许，但必须满足下列二个要求之一：

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

标准库已提供下列特化：

注意

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

参阅