std::flat_set 的推导指引

来自cppreference.com

[编辑模板]
 
C++
 
容器库
 
std::flat_set
 
在标头 <flat_set> 定义 
template< class KeyContainer,
          class Compare = std::less<typename KeyContainer::value_type> >
flat_set( KeyContainer, Compare = Compare() )
    -> flat_set<typename KeyContainer::value_type, Compare, KeyContainer>;
(1) (C++23 起) 
template< class KeyContainer, class Allocator >
flat_set( KeyContainer, Allocator )
    -> flat_set<typename KeyContainer::value_type,
                std::less<typename KeyContainer::value_type>, KeyContainer>;
(2) (C++23 起) 
template< class KeyContainer, class Compare, class Allocator >
flat_set( KeyContainer, Compare, Allocator )
    -> flat_set<typename KeyContainer::value_type, Compare, KeyContainer>;
(3) (C++23 起) 
template< class KeyContainer,
          class Compare = std::less<typename KeyContainer::value_type> >
flat_set( std::sorted_unique_t, KeyContainer, Compare = Compare() )
    -> flat_set<typename KeyContainer::value_type, Compare, KeyContainer>;
(4) (C++23 起) 
template< class KeyContainer, class Allocator >
flat_set( std::sorted_unique_t, KeyContainer, Allocator )
    -> flat_set<typename KeyContainer::value_type,
                std::less<typename KeyContainer::value_type>, KeyContainer>;
(5) (C++23 起) 
template< class KeyContainer, class Compare, class Allocator >
flat_set( std::sorted_unique_t, KeyContainer, Compare, Allocator )
    -> flat_set<typename KeyContainer::value_type, Compare, KeyContainer>;
(6) (C++23 起) 
template< class InputIt,
          class Compare = std::less</*iter-val-t*/<InputIt>> >
flat_set( InputIt, InputIt, Compare = Compare() )
    -> flat_set</*iter-val-t*/<InputIt>, Compare>;
(7) (C++23 起) 
template< class InputIt,
          class Compare = std::less</*iter-val-t*/<InputIt>> >
flat_set( std::sorted_unique_t, InputIt, InputIt, Compare = Compare() )
    -> flat_set</*iter-val-t*/<InputIt>, 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_set( std::from_range_t, R&&, Compare = Compare(), Allocator = Allocator() )
    -> flat_set<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_set( std::from_range_t, R&&, Allocator )
    -> flat_set<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_set( std::initializer_list<Key>, Compare = Compare() )
    -> flat_set<Key, Compare>;
(11) (C++23 起) 
template< class Key, class Compare = std::less<Key> >
flat_set( std::sorted_unique_t,
               std::initializer_list<Key>, Compare = Compare() )
    -> flat_set<Key, Compare>;
(12) (C++23 起)
仅用于阐释的辅助类型别名
 
template< class InputIt >
using /*iter-val-t*/ =
    typename std::iterator_traits<InputIt>::value_type;
(仅用于阐述*) 
template< class Allocator, class T >
using /*alloc-rebind*/ = 
    typename std::allocator_traits<Allocator>::template rebind_alloc<T>;
(仅用于阐述*)

为 提供这些推导指引以允许从以下各项推导：

1) 一个容器和一个比较器。
2) 一个容器和一个分配器。
3) 一个容器，一个比较器和一个分配器。
4) std::sorted_unique_t 标签，一个容器和一个比较器。
5) std::sorted_unique_t 标签，一个容器和一个分配器。a container and an allocator.
6) std::sorted_unique_t 标签，一个容器，一个比较器和一个分配器。
7) 一个迭代器范围和一个比较器。
8) std::sorted_unique_t 标签，一个迭代器范围和一个比较器。
9) std::from_range_t 标签，一个 input_range 范围，一个比较器和一个分配器。
10) std::from_range_t 标签，一个 input_range 范围和一个分配器。
11) std::initializer_list 和一个比较器。
12) std::sorted_unique_t 标签，std::initializer_list 和一个比较器。

这些重载只有在 InputIt 满足 老式输入迭代器 (LegacyInputIterator) ，Alloc 满足分配器 (Allocator) ，并且 Comp 不满足分配器 (Allocator) 时才会参与重载决议。

注意：库确定类型是否满足老式输入迭代器 (LegacyInputIterator) 的程度是未指定的，但最低要求是整数类型不具备输入迭代器的条件。类似地，确定类型是否满足分配器 (Allocator) 是未指定的，但最低要求是成员类型 Alloc::value_type 必须存在，且表达式 std::declval<Alloc&>().allocate(std::size_t{}) 在作为不求值操作数时必须为良构。

示例

本节未完成
原因：暂无示例