std::sort()
这个算法是一个接口模板,在内部实现可能会根据不现情况使用不同的算法。在使用形式上存在两种方式,一种是使用小于运算符进行比较,一种使用传入的函数对象(仿函数)进行比较。
std::sort 的声明语法:
template <class RandomAccessIterator> void sort ( RandomAccessIterator first, RandomAccessIterator last ); template <class RandomAccessIterator, class Compare> void sort ( RandomAccessIterator first, RandomAccessIterator last, StrictWeakOrdering comp );
sort算法要求迭代器是随机迭代器,并且是可写的。如果迭代器不是随机的,那么排序在理论上将变得非常低效;如果迭代器是不可写,那么将无法进行排序,因为排序要求对迭代器指向的元素进行赋值操作。如此 STL sort 算法要求迭代器是可写的随机迭代器。这一点要求使得我们不能在std::set、std::list 等以结点形式存储的容器里。
sort 算法接受的比较函数是一个“严格偏序”操作,其中最易被忽略的要求是 comp(a,a) 不能真,同时还有其它一些要求。
sort 不保证相等元素的相对位置保持不变,可能恰好没有变,也可能恰好变了。
示例:
对一个整数的向量进行排序,第一次使用小于操作排序,第二次使用大于操作排序:
#include<algorithm> #include<vector> #include<functional> std::vector<int> vec; vec.push_back(5); vec.push_back(3); vec.push_back(4); //使用小于运算符进行比较 std::sort(vec.begin(), vec.end()); //默认行为就是使用小于运算符 //或者手工指定小于运算符 std::sort(vec.begin(), vec.end(), std::less<int>()); //使用大于运算符进行比较 std::sort(vec.begin(), vec.end(), std::greater<int>()); //或者可以自己定义一个大于比较函数 //自定义的函数 static inline my_greater(int a, int b) { return a>b; } std::sort(vec.begin(), vec.end(), my_greater);
错误示例:
#include<algorithm> #include<list> #include<functional> std::list<int> vec; vec.push_back(5); vec.push_back(3); vec.push_back(4); //这个语句将无法编译,原因是迭代器不是随机的 std::sort(vec.begin(), vec.end()); //这个语句的行为是未定义的,原因是 std::greater_equal<int>(a,a) 为真 std::sort(vec.begin(), vec.end(), std::greater_equal<int>());
std::sort 封装了快速排序算法,但它对参数的有自己的要求,在没有太在意的情况下 std::sort 工作得可能很好,也可能不工作,我需要对它的基本原理有个了解。要知道什么是严格偏序,也要知道什么随机迭代器,同时也要知道 std::sort 不是稳定的排序算法,它不保证“相等”元素的相对位置,使用 std::stable_sort 来保证这一点。