Namespaces
Variants

deduction guides for std::set

From cppreference.net

헤더에 정의됨 <set>
template <

class InputIt,
class Comp = std:: less < typename std:: iterator_traits < InputIt > :: value_type > ,
class Alloc = std:: allocator < typename std:: iterator_traits < InputIt > :: value_type >>
set ( InputIt, InputIt, Comp = Comp ( ) , Alloc = Alloc ( ) )

- > set < typename std:: iterator_traits < InputIt > :: value_type , Comp, Alloc > ;
(1) (C++17 이후)
template <

class Key, class Comp = std:: less < Key > ,
class Alloc = std:: allocator < Key > >
set ( std:: initializer_list < Key > , Comp = Comp ( ) , Alloc = Alloc ( ) )

- > set < Key, Comp, Alloc > ;
(2) (C++17부터)
template < class InputIt, class Alloc >

set ( InputIt, InputIt, Alloc )
- > set < typename std:: iterator_traits < InputIt > :: value_type ,

std:: less < typename std:: iterator_traits < InputIt > :: value_type > , Alloc > ;
(3) (C++17부터)
template < class Key, class Alloc >

set ( std:: initializer_list < Key > , Alloc )

- > set < Key, std:: less < Key > , Alloc > ;
(4) (C++17부터)
template < ranges:: input_range R, class Compare = less < ranges:: range_value_t < R >> ,

class Alloc = std:: allocator < ranges:: range_value_t < R >> >
set ( std:: from_range_t , R && , Compare = Compare ( ) , Alloc = Alloc ( ) )

- > set < ranges:: range_value_t < R > , Compare, Alloc > ;
(5) (C++23부터)
template < ranges:: input_range R, class Alloc >

set ( std:: from_range_t , R && , Alloc )

- > set < ranges:: range_value_t < R > , std:: less < ranges:: range_value_t < R >> , Alloc > ;
(6) (C++23부터)
1-4) deduction guides 는 반복자 범위(오버로드 (1,3) )와 std::initializer_list (오버로드 (2,4) )로부터의 추론을 허용하기 위해 set 에 제공됩니다.
5,6) 이 추론 가이드들은 set std::from_range_t 태그와 input_range 로부터의 추론을 허용하기 위해 제공됩니다.

이 오버로드들은 다음 조건에서만 오버로드 해결에 참여합니다: InputIt LegacyInputIterator 요구 사항을 충족하고, Alloc Allocator 요구 사항을 충족하며, Comp Allocator 요구 사항을 충족하지 않는 경우입니다.

참고: 라이브러리가 특정 타입이 LegacyInputIterator 요구사항을 만족하지 않는다고 판단하는 범위는 명시되지 않았으나, 최소한 정수 타입들은 입력 반복자로 적합하지 않습니다. 마찬가지로, 특정 타입이 Allocator 요구사항을 만족하지 않는다고 판단하는 범위도 명시되지 않았으나, 최소한 멤버 타입 Alloc::value_type 이 존재해야 하며 표현식 std:: declval < Alloc & > ( ) . allocate ( std:: size_t { } ) 가 평가되지 않은 피연산자로 취급될 때 형식이 올바르게 구성되어야 합니다.

참고 사항

기능 테스트 매크로 표준 기능
__cpp_lib_containers_ranges 202202L (C++23) Ranges-aware 생성 및 삽입; 오버로드 (5,6)

예제

#include <set>
int main()
{
    // 가이드 #2는 std::set<int>로 추론됨
    std::set s = {1, 2, 3, 4};
    // 가이드 #1은 std::set<int>로 추론됨
    std::set s2(s.begin(), s.end());
}