c++ - 使用带有结构数据的 std::set 查找

Question

typedef struct Edge
{
    int v1, v2, w;
    bool operator <(const Edge &rhs) const{
        bool b = v1 < rhs.v1 || v2 < rhs.v2;
        return (b);
    }
} edge;


template <class T>
struct my_less
{
    bool operator()(const T& _Left, const T& _Right) const
    {
        return (_Left < _Right);
    }
};

int main(int argc, char *argv[])
{
    set <edge, my_less<edge> > F;

    edge e3 = { 3, 3, 3};
    edge e4 = { 3, 7, 3};
    edge e5 = { 2, 7, 3};

    F.insert(e3);
    printf("e3 ? %d\n", F.find(e3)!=F.end()); // O
    printf("e4 ? %d\n", F.find(e4)!=F.end()); // O
    printf("e5 ? %d\n", F.find(e5)!=F.end()); // X

    //printf("%d\n", e3<e4);

    return 0;
}

如果运行此代码，我会在“F.find(e5)!=F.end()”处收到错误消息，并显示以下消息。
“调试断言失败！。表达式：无效的运算符<”

'(x,y), (p,q)' 相等的两条边的条件是
 !(x < p || y < q) && !(p < x || q < y)

它可以是'(x>=p && y>=q) && (p>=x && q>=y)'

我真的不知道为什么会提出断言。
有什么不对？

Answer 1

您的比较不会强制执行严格的排序。例如：

Edge e1;
Edge e2;

e1.v1 = 5;
e1.v2 = 4;

e2.v1 = 4;
e2.v2 = 5;

// e1 < e2 is true
// e2 < e1 is true
// So which one should we really trust? Neither, let's abort the program!

您需要让您的<操作员真正按照<应有的方式工作。如果e1 < e2是真的，那么e2 < e1必须是假的。

我认为这可能是您想要的，但请注意我尚未对其进行测试：

return v1 < rhs.v1 || (v1 == rhs.v1 && v2 < rhs.v2);

理论上，这应该v1按 排序，并用于v2打破平局。