假设我有一个自定义的多标准比较器,尽管多部分可能并不重要.为了简单起见,我们假设我们正在排序由3个表示坐标的双精度组成的数组.
我知道go-to比较运算符是“<”,但我有这种唠叨的感觉,如果所有部分相等,“< =”可能会保存交换.分拣机(例如std :: sort)是否会,“嘿,如果比较器返回false,我正在交换你！”,或者这是不正确的假设？谢谢.
// Compare based on X,then Y,then Z
bool PointComparer(const array<double,3>& a,const array<double,3>& b)
{
if (a[0] < b[0]) return true;
if (a[0] > b[0]) return false;
if (a[1] < b[1]) return true;
if (a[1] > b[1]) return false;
return a[2] < b[2]; // If instead was a[2] <= b[2],would it save a swap in equal case?
}
// Later sort a collection of these arrays
解决方法
你不能使用< = for std :: sort()和类似的标准算法,因为它不满足需要
strict weak ordering的
Compare concept并且违反了这个条件：
For all x in S,it is not the case that x < x (irreflexivity).
所以使用这个运算符会导致UB,如果它会阻止交换,那就毫无意义.
