std::set::insert中operator<重载行为异常，自定义结构体插入不符合预期

核心根因 #

• std::set 底层为红黑树结构，所有排序、重复值判定逻辑完全依赖用户提供的比较运算符，不会主动调用自定义的operator==判断重复。判定两个元素等效（即不重复插入）的规则为：若元素a、b满足 !(a < b) && !(b < a)，则视为二者相同，直接跳过插入流程。
• 你当前实现的operator<不符合严格弱序要求：返回值为x < obj.x && y < obj.y，意味着只有当前坐标在两个维度上都严格小于目标坐标时，才判定为更小。这种逻辑会导致大量坐标被错误判定为等效：
  代入你示例的场景计算：
  1. 集合内已有元素Coordinate(1,2)，待插入元素为Coordinate(1,3)
  2. 计算(1,3) < (1,2)：x值相等，不满足x < 1的条件，返回false
  3. 计算(1,2) < (1,3)：x值同样相等，不满足x < 1的条件，返回false
  4. 两个方向的比较都返回false，直接触发等效判定，待插入元素被判定为重复，因此不会完成插入。
• 代码中存在两个附带的逻辑bug：
  • operator==、operator!=未添加const修饰：const属性的Coordinate实例无法调用非const成员函数，在const上下文使用时会触发编译错误。
  • operator!=逻辑错误：当前实现判定不等的条件为x != obj.x && y != obj.y，但实际上两个坐标只要x或y任意一个属性不同就属于不等，逻辑运算符误用为&&，会导致值不同的坐标被误判为相等。

修复后的完整实现 #

#include <set>

struct Coordinate
{
    int x;
    int y;

    Coordinate(int x = 0, int y = 0) : x(x), y(y) {}

    bool operator==(const Coordinate& obj) const noexcept
    {
        return x == obj.x && y == obj.y;
    }

    // 复用operator==逻辑，避免重复代码
    bool operator!=(const Coordinate& obj) const noexcept
    {
        return !(*this == obj);
    }

    // 实现符合严格弱序要求的字典序比较
    bool operator<(const Coordinate& obj) const noexcept
    {
        // 优先比较x值，x更小的坐标整体判定为更小
        if (x != obj.x)
        {
            return x < obj.x;
        }
        // x值相等时，比较y值
        return y < obj.y;
    }
};

int main(){
    std::set<Coordinate> current_set = {Coordinate(1, 2)};
    Coordinate new_coordinate(1, 3);
    current_set.insert(new_coordinate);
    // 插入后集合元素数量为2，符合预期
}

修复后逻辑验证 #

• 仍以上述插入场景为例：
  1. 比较(1,3)和(1,2)：x值相等，进一步比较y值，2 < 3，因此(1,2) < (1,3)返回true
  2. 反向比较(1,3) < (1,2)返回false
  3. 不满足“双向比较都为false”的等效判定条件，因此待插入元素会被正常存入集合。

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