std::ranges::set_symmetric_difference, std::ranges::set_symmetric_difference_result
| 헤더 <algorithm>
|
||
| 에 정의됨 |
||
template< std::input_iterator I1, std::sentinel_for<I1> S1,
std::input_iterator I2, std::sentinel_for<I2> S2,
std::weakly_incrementable O, class Comp = ranges::less,
class Proj1 = std::identity, class Proj2 = std::identity >
requires std::mergeable<I1, I2, O, Comp, Proj1, Proj2>
constexpr set_symmetric_difference_result<I1, I2, O>
set_symmetric_difference( I1 first1, S1 last1, I2 first2, S2 last2,
O result, Comp comp = {},
Proj1 proj1 = {}, Proj2 proj2 = {} );
|
호출 시그니처 | (1) |
template< ranges::input_range R1, ranges::input_range R2,
std::weakly_incrementable O, class Comp = ranges::less,
class Proj1 = std::identity, class Proj2 = std::identity >
requires std::mergeable<ranges::iterator_t<R1>, ranges::iterator_t<R2>,
O, Comp, Proj1, Proj2>
constexpr set_symmetric_difference_result<ranges::borrowed_iterator_t<R1>,
ranges::borrowed_iterator_t<R2>, O>
set_symmetric_difference( R1&& r1, R2&& r2, O result, Comp comp = {},
Proj1 proj1 = {}, Proj2 proj2 = {} );
|
(C++20부터) | (2) |
| (C++20부터) |
||
template< class I1, class I2, class O >
using set_symmetric_difference_result = ranges::in_in_out_result<I1, I2, O>;
|
헬퍼 타입 | (3) |
(C++20부터)result두 정렬된 범위의 대칭 차집합을 계산합니다: 두 범위 중 하나에 있지만 둘 다에는 없는 요소들이
을 시작으로 하는 범위에 복사됩니다. 결과 범위도 정렬됩니다.
m만약 어떤 요소가 [first1, last1)에 n번, [first2, last2)에 result번 발견되면, │m - n│에 정확히 m > n번 복사됩니다. 만약 m - n이면, 해당 요소의 마지막 [first1, last1)개가 n - m에서 복사되고, 그렇지 않으면 마지막 [first2, last2)개 요소가
에서 복사됩니다. 결과 범위는 입력 범위 중 하나와 겹칠 수 없습니다.
- 다음의 경우 동작이 정의되지 않습니다:
comp입력 범위가proj1및proj2또는 - 에 대해 각각 정렬되지 않은 경우, 또는
comp 요소는 주어진 이진 비교 함수 r1과 동일하지만, r2을 첫 번째 범위로, ranges::begin(r1)을 두 번째 범위로 사용하며, first1을 ranges::end(r1)으로, last1을 ranges::begin(r2)으로, first2을 ranges::end(r2)으로, last2을 으로 사용하는 것과 같습니다.이 페이지에서 설명하는 함수형 엔티티는 알고리즘 함수 객체입니다 (비공식적으로 niebloids
- 로 알려져 있음). 즉:
- 이들 중 하나를 호출할 때 명시적 템플릿 인자 목록을 지정할 수 없습니다.이들 중 어느 것도 인자 종속 검색
- 에 보이지 않습니다.이들 중 하나가 일반적인 비한정 검색에 의해 함수 호출 연산자의 왼쪽 이름으로 발견되면, 인자 종속 검색
매개변수
| first1, last1 | - | 첫 번째 입력 정렬된 range 의 요소들을 정의하는 iterator-sentinel 쌍 |
| first2, last2 | - | 두 번째 입력 정렬된 range 의 요소들을 정의하는 iterator-sentinel 쌍 |
| r1 | - | 첫 번째 정렬된 입력 범위 |
| r2 | - | 두 번째 정렬된 입력 범위 |
| result | - | 출력 범위의 시작점 |
| comp | - | 투영된 요소들에 적용할 비교 연산 |
| proj1 | - | 첫 번째 범위의 요소들에 적용할 투영(projection) |
| proj2 | - | 두 번째 범위의 요소들에 적용할 투영(projection) |
반환값
{ last1, last2, result_last } , 여기서 result_last 는 생성된 범위의 끝을 나타냅니다.
복잡도
최대 2·(N 1 +N 2 )-1 번의 비교와 각 프로젝션의 적용이 필요하며, 여기서 N 1 과 N 2 는 각각 ranges:: distance ( first1, last1 ) 와 ranges:: distance ( first2, last2 ) 입니다.
가능한 구현
struct set_symmetric_difference_fn { template<std::input_iterator I1, std::sentinel_for<I1> S1, std::input_iterator I2, std::sentinel_for<I2> S2, std::weakly_incrementable O, class Comp = ranges::less, class Proj1 = std::identity, class Proj2 = std::identity> requires std::mergeable<I1, I2, O, Comp, Proj1, Proj2> constexpr ranges::set_symmetric_difference_result<I1, I2, O> operator()(I1 first1, S1 last1, I2 first2, S2 last2, O result, Comp comp = {}, Proj1 proj1 = {}, Proj2 proj2 = {}) const { while (!(first1 == last1 or first2 == last2)) { if (std::invoke(comp, std::invoke(proj1, *first1), std::invoke(proj2, *first2))) { *result = *first1; ++first1; ++result; } else if (std::invoke(comp, std::invoke(proj2, *first2), std::invoke(proj1, *first1))) { *result = *first2; ++first2; ++result; } else { ++first1; ++first2; } } auto res1 {ranges::copy(std::move(first1), std::move(last1), std::move(result))}; auto res2 {ranges::copy(std::move(first2), std::move(last2), std::move(res1.out))}; return {std::move(res1.in), std::move(res2.in), std::move(res2.out)}; } template<ranges::input_range R1, ranges::input_range R2, std::weakly_incrementable O, class Comp = ranges::less, class Proj1 = std::identity, class Proj2 = std::identity> requires std::mergeable<ranges::iterator_t<R1>, ranges::iterator_t<R2>, O, Comp, Proj1, Proj2> constexpr ranges::set_symmetric_difference_result< ranges::borrowed_iterator_t<R1>, ranges::borrowed_iterator_t<R2>, O> operator()(R1&& r1, R2&& r2, O result, Comp comp = {}, Proj1 proj1 = {}, Proj2 proj2 = {}) const { return (*this)(ranges::begin(r1), ranges::end(r1), ranges::begin(r2), ranges::end(r2), std::move(result), std::move(comp), std::move(proj1), std::move(proj2)); } }; inline constexpr set_symmetric_difference_fn set_symmetric_difference {}; |
예제
#include <algorithm> #include <iostream> #include <iterator> #include <vector> void visualize_this(const auto& v, int min = 1, int max = 9) { for (auto i {min}; i <= max; ++ i) { std::ranges::binary_search(v, i) ? std::cout << i : std::cout << '.'; std::cout << ' '; } std::cout << '\n'; } int main() { const auto in1 = {1, 3, 4, 6, 7, 9}; const auto in2 = {1, 4, 5, 6, 9}; std::vector<int> out {}; std::ranges::set_symmetric_difference(in1, in2, std::back_inserter(out)); visualize_this(in1); visualize_this(in2); visualize_this(out); }
출력:
1 . 3 4 . 6 7 . 9 1 . . 4 5 6 . . 9 . . 3 . 5 . 7 . .
참고
(C++20) |
두 집합의 합집합을 계산합니다 (알고리즘 함수 객체) |
(C++20) |
두 집합의 차집합을 계산합니다 (알고리즘 함수 객체) |
(C++20) |
두 집합의 교집합을 계산합니다 (알고리즘 함수 객체) |
(C++20) |
하나의 시퀀스가 다른 시퀀스의 부분 수열인지 결정합니다 (알고리즘 함수 객체) |
| 두 집합의 대칭 차집합을 계산합니다 (함수 템플릿) |