c++ - std::set 和 < 运算符重载的奇怪行为？

Question

我明白如果<运算符在 C++ 中重载(例如，将自定义结构插入 std::set )，实现必须是 strict weak order在底层类型上。

考虑以下 struct和实现。此实现不是严格的弱顺序，但代码编译和运行时不会抛出错误(考虑到严格的弱顺序的要求，我希望它会抛出错误):

#include <iostream>
#include <set>
using namespace std;

struct Pixel {
    int x;
    int y;
};

bool operator < (Pixel lhs, Pixel rhs){
    return lhs.x < rhs.x || lhs.y < rhs.y;
};

int main(){
    set<Pixel> mySet;

    Pixel *newPixelA = new Pixel;
    newPixelA->x = 1;
    newPixelA->y = 3;

    Pixel *newPixelB = new Pixel;
    newPixelB->x = 4;
    newPixelB->y = 2;

    mySet.insert(*newPixelA);
    mySet.insert(*newPixelB);

}

这是预期的行为吗？编辑:使用 Xcode。

Answer 1

编译器无法确定您的 operator< 是否正确。是一个严格的弱排序。相反，std::set 是什么意思？要求这是只有在你给它一个严格的弱排序时它才能正常工作。它不保证如果你给它其他东西会发生什么。

一般来说，当 C++ 需要某事时，它的意思是确保某事发生是你的责任。如果这样做，编译器和库将保证您获得正确的结果。