命名空间
变体
操作

std::list 的推导指南

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

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

    -> list<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>> >
list( std::from_range_t, R&&, Alloc = Alloc() )

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

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

[编辑] 注释

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

[编辑] 示例

#include <list>
#include <vector>
 
int main()
{
    std::vector<int> v = {1, 2, 3, 4};
 
    // uses explicit deduction guide to deduce std::list<int>
    std::list x(v.begin(), v.end());
 
    // deduces std::list<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::list y{v.begin(), v.end()};
}