C++ STL 中的 sort 和 unique 函数,详细说明
时间: 2024-02-09 22:10:12 浏览: 29
C++ STL 中的 sort 和 unique 函数都是算法函数,用于对指定范围内的元素进行排序和去重。
sort 函数用于对指定范围内的元素进行升序排列,默认使用 operator< 进行比较。sort 函数的定义如下:
```c++
template<class RandomAccessIterator>
void sort(RandomAccessIterator first, RandomAccessIterator last);
template<class RandomAccessIterator, class Compare>
void sort(RandomAccessIterator first, RandomAccessIterator last, Compare comp);
```
其中,first 和 last 分别表示要排序的元素范围的起始和终止位置,包括起始位置但不包括终止位置。如果要排序的元素是一个数组,可以使用数组名和数组名加上元素个数来表示起始和终止位置。
sort 函数的第二个参数 comp 是一个可选的比较函数,用于自定义元素之间的大小关系。如果不指定比较函数,则默认使用 operator<。比较函数需要满足严格弱序关系,即满足:
1. 自反性:对于所有的 x,都有 x <= x。
2. 反对称性:对于所有的 x 和 y,如果 x < y,则 y > x。
3. 传递性:对于所有的 x、y 和 z,如果 x < y 且 y < z,则 x < z。
4. 可比较性:元素之间必须可以进行比较。
unique 函数用于去重,可以将指定范围内相邻的重复元素保留一个,并返回去重后的数组末尾的迭代器。unique 函数的定义如下:
```c++
template<class ForwardIterator>
ForwardIterator unique(ForwardIterator first, ForwardIterator last);
template<class ForwardIterator, class BinaryPredicate>
ForwardIterator unique(ForwardIterator first, ForwardIterator last, BinaryPredicate pred);
```
其中,first 和 last 分别表示要去重的元素范围的起始和终止位置,包括起始位置但不包括终止位置。unique 函数的第二个参数 pred 是一个可选的二元谓词函数,用于自定义元素之间的相等关系。如果不指定二元谓词函数,则默认使用 operator==。二元谓词函数需要满足等价关系,即满足:
1. 自反性:对于所有的 x,都有 pred(x, x) = true。
2. 对称性:对于所有的 x 和 y,有 pred(x, y) = pred(y, x)。
3. 传递性:对于所有的 x、y 和 z,如果 pred(x, y) 且 pred(y, z),则 pred(x, z)。
需要注意的是,unique 函数并不会改变数组的大小,只是将重复元素移到了数组的末尾,并返回去重后的数组末尾的迭代器。因此,去重后的元素个数可以通过数组的起始地址和返回值的差来计算。