命名空间
变体
操作

std::deque 的推导指南

来自 cppreference.com
< cpp‎ | container‎ | deque
 
 
 
 
在头文件 <deque> 中定义
template< class InputIt,

          class Alloc = std::allocator<
              typename std::iterator_traits<InputIt>::value_type> >
deque( InputIt, InputIt, Alloc = Alloc() )

    -> deque<typename std::iterator_traits<InputIt>::value_type, Alloc>;
(1) (自 C++17 起)
template< ranges::input_range R,

          class Alloc = std::allocator<ranges::range_value_t<R>> >
deque( std::from_range_t, R&&, Alloc = Alloc() )

    -> deque<ranges::range_value_t<R>, Alloc>;
(2) (自 C++23 起)
1)推导指南 用于 deque,允许从迭代器范围推导。仅当 InputIt 满足 LegacyInputIteratorAlloc 满足 Allocator 时,此重载才参与重载解析。
2) 此推导指南用于 deque,允许从 std::from_range_t 标记和 input_range 推导。

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

[编辑] 注释

特性测试 Std 特性
__cpp_lib_containers_ranges 202202L (C++23) 范围感知 构造和插入;重载 (2)

[编辑] 示例

#include <deque>
#include <vector>
 
int main()
{
    std::vector<int> v = {1, 2, 3, 4};
 
    // uses explicit deduction guide to deduce std::deque<int>
    std::deque x(v.begin(), v.end());
 
    // deduces std::deque<std::vector<int>::iterator>
    // first phase of overload resolution for list-initialization selects the candidate
    // synthesized from the initializer-list constructor; second phase is not performed
    // and deduction guide has no effect
    std::deque y{v.begin(), v.end()};
}