std::unique_copy
| 定义于头文件 <algorithm>
|
||
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 的另一范围,使得不存在连续的相等元素。每个相等元素组中只复制第一个元素。
operator== 比较。operator== 不建立等价关系,则行为未定义。p 比较。p 不建立等价关系,则行为未定义。policy 执行。true 时才参与重载决议:
|
|
(C++20 前) |
|
|
(C++20 起) |
如果 *d_first = *first 无效(C++20 前)*first不是可写入到 d_first(C++20 起),程序非良构。
如果源范围和目标范围重叠,行为未定义。
给定 T 为 InputIt 的值类型,如果重载 (1) 或 (3)不满足以下所有条件,则行为未定义:
满足
|
满足 |
|
同时为 |
OutputIt老式向前迭代器 (LegacyForwardIterator) 的要求。- 的值类型也是
OutputIt。T T为 可复制赋值 (CopyAssignable)。
参数
| first, last | - | 定义待处理元素源 范围 的迭代器对 |
| d_first | - | 目标范围的起始位置 |
| policy | - | 要使用的 执行策略 |
| p | - |
返回
true
若元素应被视为相等的二元谓词
谓词函数的签名应等价于如下形式: bool pred ( const Type1 & a, const Type2 & b ) ;
虽然签名不需要包含
const
&
,但函数不得修改传递给它的对象,且必须能够接受所有(可能为 const 的)
|
| 类型要求 | ||
-
InputIt
必须满足
LegacyInputIterator
的要求。
|
||
-
OutputIt
必须满足
LegacyOutputIterator
的要求。
|
||
-
ForwardIt1, ForwardIt2
必须满足
LegacyForwardIterator
的要求。
|
||
返回值
指向最后一个被写入元素之后位置的输出迭代器。
复杂度
给定 N 为 std:: distance ( first, last ) :
对于重载
(2,4)
,如果
ForwardIt1
的值类型既不满足
可复制构造
也不满足
可复制赋值
要求,则可能存在性能损耗。
异常
带有名为
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 << "Before: " << 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 << "After: " << s2 << '\n'; }
输出:
Before: A string with mmmany letters! After: A string with many letters!
缺陷报告
以下行为变更缺陷报告被追溯应用于先前发布的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 |
当
OutputIt
为
LegacyForwardIterator
时
未要求
InputIt
的值类型满足
CopyConstructible
|
有条件要求 |
另见
| 查找相等(或满足给定谓词)的前两个相邻元素 (函数模板 & 算法函数对象) | |
(C++20) |
|
| 移除范围中连续的重复元素 (函数模板 & 算法函数对象) | |
(C++20) |
|
(C++11) |
将元素范围复制到新位置 (函数模板 & 算法函数对象) |
(C++20)(C++20) |
|
(C++20) |
创建某个元素范围的副本,其中不包含连续重复元素 (算法函数对象) |