一次stl sort调用导致的进程崩溃

参考: 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”的定义，应该是满足了的。