std::queue 的推导指引
来自cppreference.com
在标头 <queue> 定义 | ||
template<class Container > queue( Container ) | (1) | (C++17 起) |
template<class Container, class Alloc > queue( Container, Alloc ) | (2) | (C++17 起) |
template<class InputIt > queue( InputIt, InputIt ) | (3) | (C++23 起) |
template<class InputIt, class Alloc > queue( InputIt, InputIt, Alloc ) | (4) | (C++23 起) |
template<ranges::input_range R > queue(std::from_range_t, R&&) | (5) | (C++23 起) |
template<ranges::input_range R, class Allocator > queue(std::from_range_t, R&&, Allocator ) | (6) | (C++23 起) |
为 queue 提供推导指引以允许从底层容器类型推导。
1) 从实参推导底层容器类型。
2) 同 (1)，但提供了分配器。
3) 从迭代器推导元素类型，以 std::deque<typenamestd::iterator_traits<InputIt>::value_type> 为底层容器类型。
4) 同 (3)，但提供了分配器。
6) 同 (5)，但提供了分配器。
这些重载只有在
InputIt（若存在）满足老式输入迭代器(LegacyInputIterator) ，Container（若存在）不满足分配器(Allocator) ，- 对于 (3)(C++23 前)(4)(C++23 起)，
Alloc满足分配器(Allocator) ，以及 - 若
Container与Alloc均存在则 std::uses_allocator_v<Container, Alloc> 为 true
时才会参与重载决议。
注意：库确定类型是否满足老式输入迭代器(LegacyInputIterator) 的程度是未指定的，但最低要求是整数类型不具备输入迭代器的条件。类似地，确定类型是否满足分配器(Allocator) 是未指定的，但最低要求是成员类型 Alloc::value_type 必须存在，且表达式 std::declval<Alloc&>().allocate(std::size_t{}) 在作为不求值操作数时必须为良构。
[编辑]注解
| 功能特性测试宏 | 值 | 标准 | 功能特性 |
|---|---|---|---|
__cpp_lib_adaptor_iterator_pair_constructor | 202106L | (C++23) | 用于 std::queue 和 std::stack 的迭代器对构造函数；重载 (2) 和 (4) |
__cpp_lib_containers_ranges | 202202L | (C++23) | 按范围构造和插入；重载 (5) 和 (6) |
[编辑]示例
运行此代码
#include <queue>#include <vector> int main(){std::vector<int> v ={1, 2, 3, 4};std::queue s{v};// 指引 #1 推导 std::queue<int, vector<int>>}
