Namespaces
Variants

deduction guides for std::flat_set

From cppreference.net

定义于头文件 <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 ( <span

这些 推导指引 提供,允许从以下内容进行推导:

1) 一个容器和一个比较器。
2) 一个容器与一个分配器。
3) 一个容器、一个比较器和一个分配器。
4) std::sorted_unique_t 标签、一个容器和一个比较器。
5) std::sorted_unique_t 标签,一个容器和一个分配器。
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 { } ) 在作为未求值操作数处理时必须具有良好形态。

示例