名稱空間
變體
操作

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 滿足 AllocatorComp 不滿足 Allocator 時,這些過載才參與過載決議。

注意:庫確定型別不滿足 LegacyInputIterator 的程度未指定,但至少整數型別不符合輸入迭代器的條件。同樣,它確定型別不滿足 Allocator 的程度未指定,但至少成員型別 Alloc::value_type 必須存在,並且表示式 std::declval<Alloc&>().allocate(std::size_t{}) 在作為未求值運算元處理時必須是格式良好的。

[編輯] 示例