C++自定义比较器失效问题求助（附最小可复现代码）

我来帮你排查这个自定义比较器无法正常工作的问题~

首先，C++排序算法要求自定义比较器必须满足严格弱序（Strict Weak Ordering），这是保证排序正确执行的核心前提。我们先来看你的比较器代码：

struct comparator {
    bool operator () ( pair<double,double> &a, pair<double,double> &b ) {
        if ( fabs(a.first-b.first) < tol ) return a.second < b.second;
        return a.first > b.first;
    }
};

问题根源 #

你的逻辑存在两个潜在问题：

1. 浮点数比较的传递性破坏：用fabs(a.first - b.first) < tol判断“相等”时，可能打破等价关系的传递性——比如a和b的first差0.5e-9，b和c的first差0.5e-9，a和c的first差1e-9刚好等于tol，此时a与b、b与c被视为相等，但a与c不被视为相等，这种矛盾会导致排序算法行为异常。
2. 严格弱序的逻辑模糊：当a.first略小于b.first但差值未超过tol时，你的逻辑会转而比较second，但此时没有明确对应“a应该排在b前面”的清晰规则，容易引发排序算法的逻辑混乱。

修正后的比较器 #

下面是符合严格弱序要求的修正版本，同时保留你想要的排序规则：先按first降序（带浮点数容差），first相等时按second升序：

struct comparator {
    bool operator () (const pair<double,double> &a, const pair<double,double> &b) {
        // 明确判断a的first是否严格大于b的first（超过容差）
        if (a.first - b.first > tol) {
            return true; // a排在b前面（降序）
        }
        // 如果first在容差内相等，按second升序排列
        else if (fabs(a.first - b.first) <= tol) {
            return a.second < b.second;
        }
        // 否则a的first小于b的first，a不排在b前面
        else {
            return false;
        }
    }
};

额外优化点 #

• 把参数改成const引用：比较器不需要修改元素，使用const引用更符合C++的编码规范，也能避免不必要的拷贝。
• 明确区分“严格大于”“相等”“严格小于”三种情况：让逻辑更清晰，完全满足排序算法对严格弱序的要求。

内容的提问来源于stack exchange，提问作者Ilonpilaaja