std::unique_copy - cppreference.com
来自cppreference.com
| 在标头 |
||
template< class InputIt, class OutputIt > OutputIt unique_copy( InputIt first, InputIt last, OutputIt d_first ); |
(1) | (C++20 起为 constexpr) |
template< class ExecutionPolicy, class ForwardIt1, class ForwardIt2 > ForwardIt2 unique_copy( ExecutionPolicy&& policy, ForwardIt1 first, ForwardIt1 last, ForwardIt2 d_first ); |
(2) | (C++17 起) |
template< class InputIt, class OutputIt, class BinaryPred > OutputIt unique_copy( InputIt first, InputIt last, OutputIt d_first, BinaryPred p ); |
(3) | (C++20 起为 constexpr) |
template< class ExecutionPolicy, class ForwardIt1, class ForwardIt2, class BinaryPred > ForwardIt2 unique_copy( ExecutionPolicy&& policy, ForwardIt1 first, ForwardIt1 last, ForwardIt2 d_first, BinaryPred p ); |
(4) | (C++17 起) |
从范围 [first, last) 复制元素到从 d_first 开始的另一范围,使得目标范围不存在连续的相等元素。只复制每组相等元素的首元素。
1) 用 operator== 比较元素。
如果 operator== 没有建立等价关系,那么行为未定义。
3) 用给定的二元谓词 p 比较元素。
如果 p 没有建立等价关系,那么行为未定义。
2,4) 同 (1,3),但按照 policy 执行。
这些重载只有在满足以下所有条件时才会参与重载决议:
|
|
(C++20 前) |
|
|
(C++20 起) |
如果 *d_first = *first 非法(C++20 前)*first 不可写入 d_first(C++20 起),那么程序非良构。
如果源范围与目标范围有重叠,那么行为未定义。
给定 T 为 InputIt 的值类型,如果重载 (1) 或 (3) 不满足以下所有条件,那么行为未定义:
T既可复制构造 (CopyConstructible) 也可复制赋值 (CopyAssignable) 。- 满足以下所有条件:
OutputIt满足老式向前迭代器 (LegacyForwardIterator) 的要求。OutputIt的值类型也是T。T可复制赋值 (CopyAssignable) 。
参数
| first, last | - | 要处理的源元素范围的迭代器对 |
| d_first | - | 目标范围的起始 |
| policy | - | 所用的执行策略 |
| p | - | 若元素应被当做相等则返回 true 的二元谓词
谓词函数的签名应等价于如下:
虽然签名不必有 |
| 类型要求 | ||
-InputIt 必须满足老式输入迭代器 (LegacyInputIterator) 。
| ||
-OutputIt 必须满足老式输出迭代器 (LegacyOutputIterator) 。
| ||
-ForwardIt1, ForwardIt2 必须满足老式向前迭代器 (LegacyForwardIterator) 。
| ||
返回值
指向最后被写入元素后一元素的输出迭代器。
复杂度
给定 N 为 std::distance(first, last):
1,2) 应用 max(0,N-1) 次 operator== 进行比较。
3,4) 应用 max(0,N-1) 次谓词 p。
异常
拥有名为 ExecutionPolicy 的模板形参的重载按下列方式报告错误:
- 如果作为算法一部分调用的函数的执行抛出异常,且
ExecutionPolicy是标准策略之一,那么调用 std::terminate。对于任何其他ExecutionPolicy,行为由实现定义。 - 如果算法无法分配内存,那么抛出 std::bad_alloc。
可能的实现
注解
如果 InputIt 满足老式向前迭代器 (LegacyForwardIterator) ,那么此函数重读取输入,以检测重复。
否则,如果 OutputIt 满足老式向前迭代器 (LegacyForwardIterator) ,且 InputIt 的值类型与 OutputIt 的相同,那么此函数比较 *d_first 与 *first。
否则,此函数比较 *first 和局部元素副本。
示例
#include <algorithm> #include <iostream> #include <iterator> #include <string> int main() { std::string s1 {"A string with mmmany letters!"}; std::cout << "去重前:" << s1 << '\n'; std::string s2; std::unique_copy(s1.begin(), s1.end(), std::back_inserter(s2), [](char c1, char c2) { return c1 == 'm' && 'm' == c2; }); std::cout << "去重后:" << s2 << '\n'; }
输出:
去重前:A string with mmmany letters! 去重后:A string with many letters!
Defect reports
下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。
| 缺陷报告 | 应用于 | 出版时的行为 | 正确行为 |
|---|---|---|---|
| LWG 239 | C++98 | 谓词会应用 std::distance(first, last) 次
|
(对于非空范围)少应用一次 |
| LWG 241 | C++98 | InputIt 的值类型不需要 可复制构造 (CopyConstructible)
|
特定条件下需要 |
| LWG 538 | C++98 | InputIt 的值类型不需要 可复制赋值 (CopyAssignable)
|
特定条件下需要 |
| LWG 2439 | C++98 | InputIt 的值类型在 OutputIt 是 老式向前迭代器 (LegacyForwardIterator) 时不需要 可复制构造 (CopyConstructible) |
特定条件下需要 |