函数模板
<algorithm>

std::unique

相等 (1)
template <class ForwardIterator>  ForwardIterator unique (ForwardIterator first, ForwardIterator last);
谓词 (2)
template <class ForwardIterator, class BinaryPredicate>  ForwardIterator unique (ForwardIterator first, ForwardIterator last,                          BinaryPredicate pred);
移除范围内的连续重复元素
移除范围 [first,last) 中每组连续等效元素中的除第一个之外的所有元素。

该函数不能改变包含元素范围的对象的属性(例如,它不能改变数组或容器的大小):移除操作通过用下一个非重复元素替换重复元素来完成,并通过返回一个指向应被视为新“结束之后”元素的迭代器来指示缩短范围的新大小。

未移除元素的相对顺序被保留,而返回的迭代器与 last 之间的元素处于有效但未指定的状态。

该函数使用 operator== 比较元素对(或版本 (2) 中的 pred)。

此函数模板的行为等同于
1
2
3
4
5
6
7
8
9
10
11
12
13
template <class ForwardIterator>
  ForwardIterator unique (ForwardIterator first, ForwardIterator last)
{
  if (first==last) return last;

  ForwardIterator result = first;
  while (++first != last)
  {
    if (!(*result == *first))  // or: if (!pred(*result,*first)) for version (2)
      *(++result)=*first;
  }
  return ++result;
}

参数

first, last
Forward 迭代器,指向序列的初始位置和结束位置,这些序列包含的是*可移动赋值*的元素。使用的范围是 [first,last),它包含 firstlast 之间的所有元素,包括 first 指向的元素,但不包括 last 指向的元素。
pred
二元函数,接受范围内的两个元素作为参数,并返回一个可转换为 bool 的值。返回的值指示两个参数是否被视为等效(如果为 true,则它们等效,其中一个将被移除)。
该函数不得修改其任何参数。
这可以是指向函数的指针,也可以是函数对象。

返回值

指向序列中最后一个未移除元素的下一个元素的迭代器。
介于 first 和此迭代器之间的范围包含序列中所有未被视为重复的元素。

示例

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
// unique algorithm example
#include <iostream>     // std::cout
#include <algorithm>    // std::unique, std::distance
#include <vector>       // std::vector

bool myfunction (int i, int j) {
  return (i==j);
}

int main () {
  int myints[] = {10,20,20,20,30,30,20,20,10};           // 10 20 20 20 30 30 20 20 10
  std::vector<int> myvector (myints,myints+9);

  // using default comparison:
  std::vector<int>::iterator it;
  it = std::unique (myvector.begin(), myvector.end());   // 10 20 30 20 10 ?  ?  ?  ?
                                                         //                ^

  myvector.resize( std::distance(myvector.begin(),it) ); // 10 20 30 20 10

  // using predicate comparison:
  std::unique (myvector.begin(), myvector.end(), myfunction);   // (no changes)

  // print out content:
  std::cout << "myvector contains:";
  for (it=myvector.begin(); it!=myvector.end(); ++it)
    std::cout << ' ' << *it;
  std::cout << '\n';

  return 0;
}

输出
myvector contains: 10 20 30 20 10


复杂度

对于非空范围,其复杂度为 firstlast 之间*距离*减一的线性复杂度:比较每对连续元素,并可能对其进行赋值。

数据竞争

范围 [first,last) 中的对象被访问并可能被修改。

异常

如果 pred、元素比较、元素赋值或迭代器操作抛出异常,则抛出异常。
请注意,无效参数会导致未定义行为

另见