stl的sort函数是一个很有用且高效的排序方法。如果自行添加比较函数，可以很大程度上的扩展其功能，使之能灵活的适应各种场景。但是sort在使用过程中存在一些注意事项，如果不加注意，很容易发生bug满地跑，你却不知道bug的源头在哪里的情况。
1.sort需要迭代器是随机访问迭代器。如果使用list容器，可以使用list容器自带的sort成员函数，而不要使用使用这个泛型算法的sort。
2.sort的加比较函数的重载版本：sort（begin,end,comp），需要comp编译时不能被改变符号名。类成员函数无法作为比较函数，但是可以使用比较类或者重载类的比较运算符。一般采用的方法时定义comp为全局的函数，或者C++ 11可以使用lambda表达式。详情可以参考[1].
3.comp函数的书写需要注意严格弱序规则。所谓严格弱序规则，简单来讲就是只用一个严格弱序就能区分两个关键字的大小。比如 x大于y可以用y<x来表示，x小于y可以用x<y来表示,x等于y可以用 !(x<y) && !(y<x) 来表示。x和y的三种大小关系可以只用一个<就能区分了 。但是如果只使用<=,就x等于y就无法表示。
推广到比较函数，严格弱序的规则可以表示为：
- 两个关键字不能同时“严格弱序”于对方
- 如果a“严格弱序”于b，且b“严格弱序”于c，则a必须“严格弱序”于c
- 如果存在两个关键字，任何一个都不“严格弱序”于另一个，则这两个关键字是相等的。（参考[2]）
举个例子：
#include <iostream>
#include <vector>
#include <algorithm>
bool comp(int x1, int x2) {
return x1 > x2 ? true : false;
}
int main()
{
vector<int> vec(3);
vec[0] = 5;
vec[1] = 8;
vec[2] = 5;
sort(vec.begin(), vec.end(), comp);
for (auto v : vec) cout << v << endl;
return 0;
}为了清楚显示true和false，我在代码中写出了。这里可以验证一下这里的判断是否属于严格弱序。如果有数组vec[0]=5,vec[1]=8,vec[2]=5。
- 可以看出对于vec[1] > vec[0]成立 和vec[0] > vec[1]成立,显然只会有vec[1] > vec[0]成立（同理vec[1]和vec[2]）。
- 第二个条件这个情况下不存在，但是一个5改为4，就可以发现是满足的。
- vec[0] > vec[2]不成立，vec[2] > vec[0] 不成立，所以vec[0] == vec[2]。
但是 >=就不对了，因为不满足第一个种情况，5和5同时满足vec[0] >= vec[2]成立,vec[2] >= vec[0]成立。（注意这里成立为返回true，不成立为返回false，不理解这里，下文就无法理解）
这时候仔细思考下，是不是>=就不能放在比较函数中用来判断了吗？看下修改后的例子：
bool comp(int x1, int x2) {
return x1 >= x2 ? false : true;
}这个时候修改 >为 >= ,同时置换false和true的位置，再上机编译，输入5，8 ，5又能通过了（只是这里排序方式颠倒了）。主要问题就在于上文中的成立和不成立的判断。true代表成立，false代表不成立。
对5,8,5不满足的上文的第1个条件，在这种情况下再分析（这里成功转变为上文中第3条）：
- 可以看出对于vec[0] > =vec[2]返回false（不成立）的情况 和vec[0] > = vec[2]返回false（不成立）的情况,显然只会有vec[1] == vec[0]成立（返回ture）。
最后，如果被成功绕晕了。这里经验性的结论就是，不要在相等的情况下时候返回true。在>号时，5,5比较返回false。
在>= 时候，5和5比较，5>= 5,但是还是返回false。
最最后，如果在出现比较函数出错的情况，加上或者减去一个等号往往就会成功。
[1]http://www.wl566.com/biancheng/98907.html(原创地址，文章中为参考地址)
[2]https://blog.csdn.net/River_Lethe/article/details/78618788