c++ - 比较器 - 重载运算符 <

Question

我正在尝试使用std::set来包含三个成员变量的结构。

 struct blah{
       int  a,b,c;
       bool operator < ( const blah& blo  ) const{
           return ( a < blo.a || (a == blo.a && (b != blo.b || c != blo.c ) ) );
       }
 };

但我不断收到我的运算符 < 无效的错误。我的方法有什么问题？

    struct blah {
           int  a,b,c;
                blah(int aa,int bb,int cc){ a=aa; b=bb; c=cc; }
           bool operator < ( const blah& blo  ) const{
               return ( a < blo.a 
                              || (a == blo.a && b < blo.b  )
                              || (a == blo.a && b == blo.b && c < blo.c  ) 
                      );
           }
     };

    int main() {
            std::set<blah> st;

            st.insert(blah(1,2,3));
            st.insert(blah(1,1,1));
            st.insert(blah(1,3,2));
            return 0;
    }

在更改@paxdiablo 代码之后的代码后，效果很好。谢谢大家！

Answer 1

该代码在以下完整程序中对我来说编译得很好：

#include <iostream>

struct blah {
       int  a,b,c;
       bool operator < ( const blah& blo  ) const{
           return ( a < blo.a || (a == blo.a && (b != blo.b || c != blo.c ) ) );
       }
 };

int main (void) {
    blah x, y;
    x.a=2; x.b=2; x.c=2;
    y.a=2; y.b=2; y.c=2;
    if (x < y) std::cout << "x<y\n";
    if (y < x) std::cout << "x>y\n";
    if (!(y < x) && !(x < y)) std::cout << "x=y\n";
    return 0;
}

更改x和y输出不同消息的字段。

但我发现该功能存在一个主要问题。它可以告诉您x < y 和 y < x，在两个a字段相同但b两者之间的字段不同的情况下。如果将两个a字段都设置为 1 并将b字段设置为2and 1，您会看到：

x<y
y<x

这不会很好地结束:-)

你得到的是一个调试断言（专门为在大多数调试代码中捕获运行时错误而构建的东西）这一事实使我相信运行时库可能operator<通过检测后一种情况来明确检查不正确的重载（即，两者x < y 和 y < x是真的）。

你真的应该解决这个问题，因为它会导致集合的各种问题（例如）你需要保持排序。

例如，假设您想使用a,b和c作为该优先级的键。执行此操作的函数将包含以下内容：

// Check primary key.

if (a < blo.a) return true;
if (a > blo.a) return false;

// Primary key equal here, use secondary key.

if (b < blo.b) return true;
if (b > blo.b) return false;

// Primary and secondary keys equal here, use tertiary key.

return (c < blo.c);