C++ std::set自定义类型仅按x字段判重的原理疑问

从你提供的代码和输出结果来看，当插入x相同但y不同的Point实例时，std::set的大小始终没有增加，直到插入x不同的元素才变为2。这一行为的核心原因是：std::set的元素唯一性判断完全依赖于它使用的比较规则，而非显式的operator==。

核心原理：std::set的等价性判断逻辑 #

std::set是有序关联容器，默认使用std::less<T>（即你重载的operator<）来维护元素的严格弱序关系。对于容器内的两个元素a和b，std::set判定它们等价（视为同一元素）的条件是：!(a < b) && !(b < a)——也就是两者互相都不小于对方。

在你的Point类中，operator<仅比较x字段：

bool operator<(const Point& other) const {
    return x < other.x;
}

这意味着只要两个Point的x值相同，无论y字段是什么，都会满足：

• a < b 为false（x相等，不满足x < other.x）
• b < a 也为false（同理）

因此std::set会认为这两个Point是等价的，后续插入的等价元素会被容器拒绝，这就是插入x相同的Point时，set大小始终保持1的原因。

修正方案 #

若要让std::set区分x相同但y不同的Point，需要修改比较逻辑，让它同时兼顾x和y，实现完整的严格弱序：

方案1：修改operator< #

bool operator<(const Point& other) const {
    if (x != other.x) {
        return x < other.x;
    }
    // x相等时比较y字段
    return y < other.y;
}

方案2：自定义比较器 #

struct PointCompare {
    bool operator()(const Point& a, const Point& b) const {
        if (a.x != b.x) return a.x < b.x;
        return a.y < b.y;
    }
};

// 声明set时指定自定义比较器
std::set<Point, PointCompare> points;

修改后，只有当x和y完全相同时，两个Point才会被视为等价，std::set的插入逻辑就符合预期了。

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