C++比较器：return num2-num1与return num1<num2的差异及异常疑问

核心问题：整数减法转bool的陷阱 #

std::set的比较器必须是严格弱序的二元谓词——comp(a, b)返回true，就表示a应该排在b的前面。严格弱序有两个硬性要求：

• 如果comp(a, b)为true，那么comp(b, a)必须为false
• comp(a, a)必须为false

你用整数减法的结果隐式转成bool当返回值，完全违反了这个规则，导致结果全是巧合：

逐个分析你的测试情况 #

1. return num1 < num2（升序）
   这是标准的严格弱序实现：只有当num1确实小于num2时返回true，表示num1排在num2前面，最终set按升序排列，完全符合预期。

2. return num1 > num2（降序）
   同样符合严格弱序：num1大于num2时返回true，让大的数排在前面，得到降序set，逻辑正确。

3. return num1 - num2（看似降序）
   整数减法的结果，只要num1≠num2就是非零值，隐式转bool为true；只有相等时才是false。这时候comp(a,b)和comp(b,a)都会返回true（当a≠b时），已经违反严格弱序。你得到降序只是set内部实现的巧合，这种行为是未定义的，换个测试数据可能会出现元素丢失、顺序混乱等问题。

4. return num2 - num1（仍得到降序）
   和上面同理：只要num2≠num1，结果就是非零，转bool为true。这意味着不管num1和num2谁大谁小，comp(a,b)和comp(b,a)都返回true，完全不符合比较器的要求。你得到降序依然是巧合，不是正确的逻辑结果。

return num2 - num1和return num1 < num2的本质差异 #

• return num1 < num2是明确的大小比较：只有num1小于num2时才返回true，完全符合严格弱序，能稳定得到升序排列。
• return num2 - num1是判断是否不等：只要两个数不相等就返回true，根本不表达任何大小关系，属于无效的比较逻辑，无法控制set的排列顺序。

正确的做法 #

永远在比较器中使用布尔类型的比较表达式（<、>），不要用整数减法代替。比如正确的升序/降序比较器：

// 升序比较器
struct AscCmp {
    bool operator()(const int& num1, const int& num2) {
        return num1 < num2;
    }
};

// 降序比较器
struct DescCmp {
    bool operator()(const int& num1, const int& num2) {
        return num1 > num2;
    }
};

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