unique_copy

类别：算法	组件类型：函数

原型

template <class InputIterator, class OutputIterator>
OutputIterator unique_copy(InputIterator first, InputIterator last,
                           OutputIterator result);

template <class InputIterator, class OutputIterator, class BinaryPredicate>
OutputIterator unique_copy(InputIterator first, InputIterator last,
                           OutputIterator result,
                           BinaryPredicate binary_pred);

描述

有两个不同版本的unique_copy原因是对于连续元素组如何定义为重复项，存在两种不同的定义。在第一个版本中，测试是简单的相等：范围中的元素[f, l)当范围中的每个迭代器时都会重复i例如i == f或者*i == *(i-1)。在第二个版本中，测试是任意 Binary Predicatebinary_pred：中的元素[f, l)当范围中的每个迭代器时都会重复i例如i == f或者binary_pred(*i, *(i-1))是true. [1]

定义

对类型的要求

• InputIterator是 Input Iterator 的一个模型。
• InputIterator的值类型是 Equality Comparable。
• OutputIterator是一个 Output Iterator 模型。
• InputIterator的值类型可转换为OutputIterator的值类型集中的一种类型。

• InputIterator是 Input Iterator 的一个模型。
• BinaryPredicate是 Binary Predicate 的一个模型。[2]
• InputIterator的值类型可转换为第一个参数类型和BinaryPredicate的第二个参数类型。
• OutputIterator是一个 Output Iterator 模型。
• InputIterator的值类型可转换为OutputIterator的值类型集中的一种类型。

前提条件

• [first, last)是一个有效范围。
• 有足够的空间来保存正在复制的所有元素。更正式地说，如果范围中有n个元素[first, last)从连续组中删除重复项后，则[result, result + n)必须是一个有效范围。

复杂性

示例

const int A[] = {2, 7, 7, 7, 1, 1, 8, 8, 8, 2, 8, 8};
unique_copy(A, A + sizeof(A) / sizeof(int), 
            ostream_iterator<int>(cout, " "));
// The output is "2 7 1 8 2 8".

注释

[1]严格来讲，unique_copy的第一个版本是多余的：你可以使用一个类对象来实现相同的功能equal_to作为 Binary Predicate 参数。提供第一个版本完全是为了方便：测试相等是一个重要的特例。

[2] BinaryPredicate无须等于关系。但是，在使用unique_copy含一个二元谓词（不等于关系）时要谨慎：可能会得到意外的结果。

请参阅