命名空间
变体
操作

std::vector 的推导指南

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

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

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

    -> vector<ranges::range_value_t<R>, Alloc>;
(2) (自 C++23 起)
1) 为了允许从迭代器范围进行推导,vector 提供了此 推导指南。只有当 InputIt 满足 传统输入迭代器Alloc 满足 分配器 时,此重载才会参与重载解析。
2) 此推导指南是为 vector 提供的,以允许从 std::from_range_t 标记和 输入范围 进行推导。

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

[编辑] 注释

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

[编辑] 示例

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