std::queue 的推导指引

来自cppreference.com
See More

[编辑模板]
 
C++
 
容器库
 
std::queue
 
<tbody> </tbody>
在标头 <queue> 定义
template< class Container > queue( Container ) -> queue<typename Container::value_type, Container>;
 (1) (C++17 起)
template< class Container, class Alloc > queue( Container, Alloc ) -> queue<typename Container::value_type, Container>;
 (2) (C++17 起)
template< class InputIt > queue( InputIt, InputIt ) -> queue<typename std::iterator_traits<InputIt>::value_type>;
 (3) (C++23 起)
template< class InputIt, class Alloc > queue( InputIt, InputIt, Alloc ) -> queue<typename std::iterator_traits<InputIt>::value_type, {{#pad:|0}}std::deque<typename std::iterator_traits<InputIt>::value_type, Alloc>>;
 (4) (C++23 起)
template< ranges::input_range R > queue( std::from_range_t, R&& ) -> queue<ranges::range_value_t<R>>;
 (5) (C++23 起)
template< ranges::input_range R, class Allocator > queue( std::from_range_t, R&&, Allocator ) -> queue<ranges::range_value_t<R>, {{#pad:|0}}std::deque<ranges::range_value_t<R>, Allocator>>;
 (6) (C++23 起)

为 queue 提供推导指引以允许从底层容器类型推导。

1) 从实参推导底层容器类型。
2) 同 (1)，但提供了分配器。
3) 从迭代器推导元素类型，以 std::deque<typename std::iterator_traits<InputIt>::value_type> 为底层容器类型。
4) 同 (3)，但提供了分配器。
3) 从 std::from_range_t 标签和 std::ranges::input_range 推导元素类型。
6) 同 (5)，但提供了分配器。

这些重载只有在

时才会参与重载决议。

注意：库确定类型是否满足老式输入迭代器 (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>>
}