这个算法是一个接口模板，在内部实现可能会根据不现情况使用不同的算法。在使用形式上存在两种方式，一种是使用小于运算符进行比较，一种使用传入的函数对象(仿函数)进行比较。
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 来保证这一点。