std::set_intersection
| 헤더 <algorithm>
|
||
template< class InputIt1, class InputIt2, class OutputIt >
OutputIt set_intersection( InputIt1 first1, InputIt1 last1,
InputIt2 first2, InputIt2 last2,
OutputIt d_first );
|
에 정의됨 (1) | (C++20부터 constexpr) |
template< class ExecutionPolicy,
class ForwardIt1, class ForwardIt2, class ForwardIt3 >
ForwardIt3 set_intersection( ExecutionPolicy&& policy,
ForwardIt1 first1, ForwardIt1 last1,
ForwardIt2 first2, ForwardIt2 last2,
ForwardIt3 d_first );
|
(2) | (C++17부터) |
template< class InputIt1, class InputIt2,
class OutputIt, class Compare >
OutputIt set_intersection( InputIt1 first1, InputIt1 last1,
InputIt2 first2, InputIt2 last2,
OutputIt d_first, Compare comp );
|
(3) | (C++20부터 constexpr) |
template< class ExecutionPolicy,
class ForwardIt1, class ForwardIt2,
class ForwardIt3, class Compare >
ForwardIt3 set_intersection( ExecutionPolicy&& policy,
ForwardIt1 first1, ForwardIt1 last1,
ForwardIt2 first2, ForwardIt2 last2,
ForwardIt3 d_first, Compare comp );
|
(4) | (C++17부터) |
d_first에서 시작하는 정렬된 범위를 구성하며, 이 범위는 두 정렬된 범위 [first1, last1) 및 [first2, last2)에서 모두 발견되는 요소들로 구성됩니다.
만약 [first1, last1)에 서로 동등한 m개의 요소가 있고, [first2, last2)에 그들과 동등한 n개의 요소가 있다면, 처음 std::min(m, n)개의 요소가 [first1, last1)에서 출력 범위로 순서를 유지하며 복사됩니다.
[first1, last1) 또는 [first2, last2)가 정렬된 상태가 아닌 경우 (operator<에 대해 (C++20까지)std::less{}(C++20부터)), 동작이 정의되지 않습니다.[first1, last1) 또는 [first2, last2)가 comp에 대해 정렬되지 않은 경우, 동작이 정의되지 않습니다.policy에 따라 실행됩니다.true인 경우에만 오버로드 해결에 참여합니다:
|
|
(C++20까지) |
|
|
(C++20부터) |
출력 범위가 [first1, last1) 또는 [first2, last2)과 겹치는 경우, 동작이 정의되지 않습니다.
매개변수
| first1, last1 | - | 검사할 첫 번째 정렬된 범위 를 정의하는 반복자 쌍 |
| first2, last2 | - | 검사할 두 번째 정렬된 범위 를 정의하는 반복자 쌍 |
| d_first | - | 출력 범위의 시작 |
| policy | - | 사용할 실행 정책 |
| comp | - |
비교 함수 객체 (즉,
Compare
요구 사항을 만족하는 객체)로, 첫 번째 인수가 두 번째 인수보다
작은 경우
(즉, 순서상
앞서는 경우
)
true
를 반환함.
비교 함수의 시그니처는 다음과 동일해야 함: bool cmp ( const Type1 & a, const Type2 & b ) ;
시그니처에
const
&
가 필요하지는 않지만, 함수는 전달된 객체를 수정해서는 안 되며,
값 범주
에 관계없이 (가능하면 const인)
|
| 타입 요구 사항 | ||
-
InputIt1, InputIt2
는
LegacyInputIterator
요구 사항을 충족해야 함.
|
||
-
OutputIt
는
LegacyOutputIterator
요구 사항을 충족해야 함.
|
||
-
ForwardIt1, ForwardIt2, ForwardIt3
는
LegacyForwardIterator
요구 사항을 충족해야 함.
|
||
-
Compare
는
Compare
요구 사항을 충족해야 함.
|
||
반환값
구성된 범위의 끝을 지난 반복자.
복잡도
N 1 를 std:: distance ( first1, last1 ) 로, N 2 를 std:: distance ( first2, last2 ) 로 정의할 때:
예외
ExecutionPolicy
라는 템플릿 매개변수를 사용하는 오버로드는 다음과 같이 오류를 보고합니다:
-
알고리즘의 일부로 호출된 함수 실행 중 예외가 발생하고
ExecutionPolicy가 표준 정책 중 하나인 경우, std::terminate 가 호출됩니다. 다른ExecutionPolicy의 경우 동작은 구현에 따라 정의됩니다. - 알고리즘이 메모리 할당에 실패할 경우, std::bad_alloc 이 throw됩니다.
가능한 구현
| set_intersection (1) |
|---|
template<class InputIt1, class InputIt2, class OutputIt> OutputIt set_intersection(InputIt1 first1, InputIt1 last1, InputIt2 first2, InputIt2 last2, OutputIt d_first) { while (first1 != last1 && first2 != last2) { if (*first1 < *first2) ++first1; else { if (!(*first2 < *first1)) *d_first++ = *first1++; // *first1과 *first2는 동등합니다. ++first2; } } return d_first; } |
| set_intersection (3) |
template<class InputIt1, class InputIt2, class OutputIt, class Compare> OutputIt set_intersection(InputIt1 first1, InputIt1 last1, InputIt2 first2, InputIt2 last2, OutputIt d_first, Compare comp) { while (first1 != last1 && first2 != last2) { if (comp(*first1, *first2)) ++first1; else { if (!comp(*first2, *first1)) *d_first++ = *first1++; // *first1과 *first2는 동등합니다. ++first2; } } return d_first; } |
예제
#include <algorithm> #include <iostream> #include <iterator> #include <vector> int main() { std::vector<int> v1{7, 2, 3, 4, 5, 6, 7, 8}; std::vector<int> v2{5, 7, 9, 7}; std::sort(v1.begin(), v1.end()); std::sort(v2.begin(), v2.end()); std::vector<int> v_intersection; std::set_intersection(v1.begin(), v1.end(), v2.begin(), v2.end(), std::back_inserter(v_intersection)); for (int n : v_intersection) std::cout << n << ' '; std::cout << '\n'; }
출력:
5 7 7
결함 보고서
다음의 동작 변경 결함 보고서들은 이전에 발표된 C++ 표준에 소급 적용되었습니다.
| DR | 적용 대상 | 게시된 동작 | 올바른 동작 |
|---|---|---|---|
| LWG 291 | C++98 | 입력 범위에서 동등한 요소를 어떻게 처리할지 명시되지 않았음 | 명시됨 |
참고
| 두 집합의 합집합을 계산합니다 (함수 템플릿 & 알고리즘 함수 객체) | |
(C++20) |
|
(C++20) |
두 집합의 교집합을 계산합니다 (알고리즘 함수 객체) |