std:: set_symmetric_difference
|
定义于头文件
<algorithm>
|
||
|
template
<
class
InputIt1,
class
InputIt2,
class
OutputIt
>
OutputIt set_symmetric_difference
|
(1) | (自 C++20 起为 constexpr) |
|
template
<
class
ExecutionPolicy,
class
ForwardIt1,
class
ForwardIt2,
class
ForwardIt3
>
|
(2) | (自 C++17 起) |
|
template
<
class
InputIt1,
class
InputIt2,
class
OutputIt,
class
Compare
>
|
(3) | (自 C++20 起为 constexpr) |
|
template
<
class
ExecutionPolicy,
class
ForwardIt1,
class
ForwardIt2,
|
(4) | (自 C++17 起) |
计算两个已排序范围的对称差:将存在于任一范围但不同时存在于两个范围中的元素复制到始于 d_first 的范围。输出范围同样保持有序。
如果
[
first1
,
last1
)
包含
m
个彼此等价的元素,且
[
first2
,
last2
)
包含
n
个与它们等价的元素,则将有
std
::
abs
(
m
-
n
)
个此类元素被复制到输出范围,并保持原有顺序:
-
若
m
>
n
,则取
[first1,last1)区间的最后 m - n 个元素。 -
若
m
<
n
,则取
[first2,last2)区间的最后 n - m 个元素。
[
first1
,
last1
)
或
[
first2
,
last2
)
未按照
operator
<
(C++20 前)
std::
less
{
}
(C++20 起)
进行排序,则行为未定义。
[
first1
,
last1
)
或
[
first2
,
last2
)
未按
comp
排序,则行为未定义。
|
std:: is_execution_policy_v < std:: decay_t < ExecutionPolicy >> 为 true 。 |
(C++20 前) |
|
std:: is_execution_policy_v < std:: remove_cvref_t < ExecutionPolicy >> 为 true 。 |
(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 。
可能的实现
| set_symmetric_difference (1) |
|---|
template<class InputIt1, class InputIt2, class OutputIt> OutputIt set_symmetric_difference(InputIt1 first1, InputIt1 last1, InputIt2 first2, InputIt2 last2, OutputIt d_first) { while (first1 != last1) { if (first2 == last2) return std::copy(first1, last1, d_first); if (*first1 < *first2) *d_first++ = *first1++; else { if (*first2 < *first1) *d_first++ = *first2; else ++first1; ++first2; } } return std::copy(first2, last2, d_first); } |
| set_symmetric_difference (3) |
template<class InputIt1, class InputIt2, class OutputIt, class Compare> OutputIt set_symmetric_difference(InputIt1 first1, InputIt1 last1, InputIt2 first2, InputIt2 last2, OutputIt d_first, Compare comp) { while (first1 != last1) { if (first2 == last2) return std::copy(first1, last1, d_first); if (comp(*first1, *first2)) *d_first++ = *first1++; else { if (comp(*first2, *first1)) *d_first++ = *first2; else ++first1; ++first2; } } return std::copy(first2, last2, d_first); } |
示例
#include <algorithm> #include <iostream> #include <iterator> #include <vector> int main() { std::vector<int> v1{1, 2, 3, 4, 5, 6, 7, 8}; std::vector<int> v2{5, 7, 9, 10}; std::sort(v1.begin(), v1.end()); std::sort(v2.begin(), v2.end()); std::vector<int> v_symDifference; std::set_symmetric_difference(v1.begin(), v1.end(), v2.begin(), v2.end(), std::back_inserter(v_symDifference)); for (int n : v_symDifference) std::cout << n << ' '; std::cout << '\n'; }
输出:
1 2 3 4 6 8 9 10
缺陷报告
下列行为变更缺陷报告被追溯应用于先前发布的 C++ 标准。
| 缺陷报告 | 应用于 | 发布时的行为 | 正确行为 |
|---|---|---|---|
| LWG 291 | C++98 | 未说明如何处理输入范围中的等价元素 | 已明确说明 |
参见
|
若一个序列是另一个序列的子序列则返回
true
(函数模板) |
|
|
计算两个集合的差集
(函数模板) |
|
|
计算两个集合的并集
(函数模板) |
|
|
计算两个集合的交集
(函数模板) |
|
|
(C++20)
|
计算两个集合的对称差
(算法函数对象) |