c++ - boost operator totally_ordered 由 less_than_comparable 和 equality_comparable 组成

Question

作为boost operator document比如，模板totally_ordered由模板less_than_comparable和模板equality_comparable组成。

这意味着如果一个类继承自模板 totally_ordered，则在使用 operator== 或 operator!= 时必须实现 operator==。

在我看来，如果实现了 operator<，operator== 可以像 (!(lhs < rhs) && !(rhs < lhs)) 一样自动生成。那么，operator== 是必要的吗？

代码片段:

#include <boost/operators.hpp>
class Foo : public boost::totally_ordered<Foo>
{
        public:
                explicit Foo(const int num) : m_nMem(num){}
                friend bool operator< (const Foo& lhs, const Foo& rhs)
                {
                        return lhs.m_nMem < rhs.m_nMem;
                }
                // Is operator== necessary ?
                // Is operator== equal to (!(lhs < rhs) && !(rhs < lhs)) ?
                //friend bool operator== (const Foo& lhs, const Foo& rhs)
                //{
                //      return lhs.m_nMem == rhs.m_nMem;
                //}
        private:
                int m_nMem;

};

int main()
{
        Foo foo_1(1), foo_2(2);
        foo_1 == foo_2; // compiler error , no operator==
        return 0;
}

Answer 1

严格的弱排序可能会将不相等的元素评为等价的¹例如:

struct Point { 
     int x,y; 
     bool operator<(Point const& other) const { return x < other.x; }
};

在这里，积分将按 x 排序, 和等于 x 的点根据您建议的实现，将等效。

但是，由于 y可能不同，显然不能保证这些点相等。

只有当比较实际上是全序时，我们才能使用相对比较运算符生成相等运算。我只能怀疑图书馆的作者

• 希望用户非常清楚这种影响
• 意识到使用(!(lhs < rhs) && !(rhs < lhs))可能导致性能不佳

¹ https://www.sgi.com/tech/stl/StrictWeakOrdering.html