命名空间
变体
操作

std::queue 的推导指南

来自 cppreference.com
< cpp‎ | container‎ | queue
定义在头文件 <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,

       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>,

       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) 相同,只是提供了分配器。
5)std::from_range_t 标签和 input_range 推导出元素类型。
6)(5) 相同,只是提供了分配器。

这些重载仅在以下情况下参与重载解析

注意:库确定类型不满足 LegacyInputIterator 的程度未指定,只是作为最小值,整型不符合输入迭代器。同样,确定类型不满足 Allocator 的程度未指定,只是作为最小值,成员类型 Alloc::value_type 必须存在,并且表达式 std::declval<Alloc&>().allocate(std::size_t{}) 当被视为未求值操作数时,必须是格式良好的。

[编辑] 说明

功能测试 Std 功能
__cpp_lib_adaptor_iterator_pair_constructor 202106L (C++23) std::queuestd::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}; // guide #1 deduces std::queue<int, vector<int>>
}