参考: http://blog.csdn.net/heweijietulifang/article/details/45920583
http://blog.sina.com.cn/s/blog_532f6e8f01014c7y.html
comp函数应该怎么写
带着这个疑问我去查了下c++ stl手册(http://www.cplusplus.com/reference/algorithm/sort/),发现sort函数对于comp函数还真有一个特殊的要求,叫做“Strict Weak Ordering”。什么意思呢,它大概可以这么解释:如果一个comp函数要满足“Strict Weak Ordering”,意味着它应该满足如下特征(更多细节可以参见SGI版实现相关描述http://www.sgi.com/tech/stl/StrictWeakOrdering.html):
(a) 反自反性:也即comp(x, x)必须是false
(b) 非对称性:也即如果comp(x, y)和comp(y, x)的结果必然相反
(c) 可传递性:也即如果comp(x, y)为true,comp(y, z)为true,那么comp(x, z)必然为true
这么看到,示例代码的comp定义明显违反了(a)\(b)两条,所以sort使用它时就可能工作不正常。解决办法也很简单,去掉那个“=”,再对照下”Strict Weak Ordering”的定义,应该是满足了的。