摘要： 存在相等的值，cmp写小于等于会RE。 So tell me why? 发现不是小于等于的问题，我认为应该是一些逻辑矛盾的问题。 也有同样的人遇到这个问题 cmp(x,y)是strict weak ordering严格的弱序列，满足： 1.$f(x,y)$和$f(y,x)$不能同时为$true$，则 阅读全文