命名空间
变体
操作

std::flat_multiset 的推导指南

来自 cppreference.cn
 
 
 
 
在头文件 <flat_set> 中定义
template< class KeyContainer,

          class Compare = std::less<typename KeyContainer::value_type> >
flat_multiset( KeyContainer, Compare = Compare() )

    -> flat_multiset<typename KeyContainer::value_type, Compare, KeyContainer>;
(1) (C++23 起)
template< class KeyContainer, class Allocator >

flat_multiset( KeyContainer, Allocator )
    -> flat_multiset<typename KeyContainer::value_type,

                     std::less<typename KeyContainer::value_type>, KeyContainer>;
(2) (C++23 起)
template< class KeyContainer, class Compare, class Allocator >

flat_multiset( KeyContainer, Compare, Allocator )

    -> flat_multiset<typename KeyContainer::value_type, Compare, KeyContainer>;
(3) (C++23 起)
template< class KeyContainer,

          class Compare = std::less<typename KeyContainer::value_type> >
flat_multiset( std::sorted_equivalent_t, KeyContainer, Compare = Compare() )

    -> flat_multiset<typename KeyContainer::value_type, Compare, KeyContainer>;
(4) (C++23 起)
template< class KeyContainer, class Allocator >

flat_multiset( std::sorted_equivalent_t, KeyContainer, Allocator )
    -> flat_multiset<typename KeyContainer::value_type,

                     std::less<typename KeyContainer::value_type>, KeyContainer>;
(5) (C++23 起)
template< class KeyContainer, class Compare, class Allocator >

flat_multiset( std::sorted_equivalent_t, KeyContainer, Compare, Allocator )

    -> flat_multiset<typename KeyContainer::value_type, Compare, KeyContainer>;
(6) (C++23 起)
template< class InputIter,

          class Compare = std::less</*iter-value-type*/<InputIter>> >
flat_multiset( InputIter, InputIter, Compare = Compare() )

    -> flat_multiset</*iter-value-type*/<InputIter>, Compare>;
(7) (C++23 起)
template< class InputIter,

          class Compare = std::less</*iter-value-type*/<InputIter>> >
flat_multiset( std::sorted_equivalent_t, InputIter, InputIter, Compare = Compare() )

    -> flat_multiset</*iter-value-type*/<InputIter>, Compare>;
(8) (C++23 起)
template< ranges::input_range R,

          class Compare = std::less<ranges::range_value_t<R>>,
          class Allocator = std::allocator<ranges::range_value_t<R>> >
flat_multiset( std::from_range_t, R&&, Compare = Compare(), Allocator = Allocator() )
    -> flat_multiset<ranges::range_value_t<R>, Compare,
                     std::vector<ranges::range_value_t<R>,

                     /*alloc-rebind*/<Allocator, ranges::range_value_t<R>>>>;
(9) (C++23 起)
template< ranges::input_range R, class Allocator >

flat_multiset( std::from_range_t, R&&, Allocator )
    -> flat_multiset<ranges::range_value_t<R>, std::less<ranges::range_value_t<R>>,
                     std::vector<ranges::range_value_t<R>,

                     /*alloc-rebind*/<Allocator, ranges::range_value_t<R>>>>;
(10) (C++23 起)
template< class Key, class Compare = std::less<Key> >

flat_multiset( std::initializer_list<Key>, Compare = Compare() )

    -> flat_multiset<Key, Compare>;
(11) (C++23 起)
template< class Key, class Compare = std::less<Key> >

flat_multiset( std::sorted_equivalent_t,
               std::initializer_list<Key>, Compare = Compare() )

    -> flat_multiset<Key, Compare>;
(12) (C++23 起)

提供了这些推导指南,以允许从以下情况进行推导:

1) 一个容器和一个比较器。
2) 一个容器和一个分配器。
3) 一个容器、一个比较器和一个分配器。
4) std::sorted_equivalent_t 标签、一个容器和一个比较器。
5) std::sorted_equivalent_t 标签、一个容器和一个分配器。
6) std::sorted_equivalent_t 标签、一个容器、一个比较器和一个分配器。
7) 迭代器范围和比较器。
8) std::sorted_equivalent_t 标签、一个迭代器范围和一个比较器。
9) std::from_range_t 标签、一个 input_range 范围、一个比较器和一个分配器。
10) std::from_range_t 标签、一个 input_range 范围和一个分配器。
11) std::initializer_list 和比较器。
12) std::sorted_equivalent_t 标签、std::initializer_list 和一个比较器。

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

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

[编辑] 示例