命名空间
变体
操作

std::flat_multiset 的推导指南

来自 cppreference.com
 
 
 
 
定义在头文件 <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 满足 Allocator,并且 Comp 不满足 Allocator

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

[edit] 示例