命名空间
变体
操作

std::set 的推导指南

来自 cppreference.cn
< cpp‎ | 容器‎ | set
 
 
 
 
在头文件 <set> 中定义
template<

    class InputIt,
    class Comp = std::less<typename std::iterator_traits<InputIt>::value_type>,
    class Alloc = std::allocator<typename std::iterator_traits<InputIt>::value_type>>
set( InputIt, InputIt, Comp = Comp(), Alloc = Alloc() )

    -> set<typename std::iterator_traits<InputIt>::value_type, Comp, Alloc>;
(1) (C++17 起)
template<

    class Key, class Comp = std::less<Key>,
    class Alloc = std::allocator<Key> >
set( std::initializer_list<Key>, Comp = Comp(), Alloc = Alloc() )

    -> set<Key, Comp, Alloc>;
(2) (C++17 起)
template< class InputIt, class Alloc >

set( InputIt, InputIt, Alloc )
    -> set<typename std::iterator_traits<InputIt>::value_type,

           std::less<typename std::iterator_traits<InputIt>::value_type>, Alloc>;
(3) (C++17 起)
template< class Key, class Alloc >

set( std::initializer_list<Key>, Alloc )

    -> set<Key, std::less<Key>, Alloc>;
(4) (C++17 起)
template< ranges::input_range R, class Compare = less<ranges::range_value_t<R>>,

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

    -> set<ranges::range_value_t<R>, Compare, Alloc>;
(5) (C++23 起)
template< ranges::input_range R, class Alloc >

set( std::from_range_t, R&&, Alloc )

    -> set<ranges::range_value_t<R>, std::less<ranges::range_value_t<R>>, Alloc>;
(6) (C++23 起)
1-4) 这些推导指南是为 set 提供的,允许从迭代器范围(重载 (1,3))和 std::initializer_list(重载 (2,4))进行推导。
5,6) 这些推导指南是为 set 提供的,允许从 std::from_range_t 标签和 input_range 进行推导。

这些重载只有在 InputIt 满足 LegacyInputIteratorAlloc 满足 AllocatorComp 不满足 Allocator 时才参与重载决议。

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

[编辑] 注意

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

[编辑] 示例

#include <set>
 
int main()
{
    // guide #2 deduces std::set<int>
    std::set s = {1, 2, 3, 4};
 
    // guide #1 deduces std::set<int>
    std::set s2(s.begin(), s.end());
}