如何使用 boost/operators.hpp 自动生成 == 运算符？

Question

由于我问的是一个略有不同的问题，因此请继续跟进： What's the difference between using boost::equality_comparable<T> versus overriding bool operator ==?

这是我尝试编写的代码。

#include <boost/operators.hpp>

enum class AnEnum : uint64_t;

struct Base : boost::equality_comparable<Base, Base> {
    std::shared_ptr<AnEnum > units;

    std::shared_ptr<int> value;

    bool operator ==(Base const& rhs) { 
        return (*value == *rhs.value)
            && (*units == *rhs.units); 
    }

    friend bool operator == (const Base & lhs, const Base & rhs) {
        return (*lhs.value == *rhs.value)
            && (*lhs.units == *rhs.units);
    };
};

我希望 Boost 会自动实现 operator == 但编译器抱怨缺少实现错误。如何自动实现以下功能：

bool operator == (const Base & lhs, const Base & rhs);

我以此为参考：https://www.boost.org/doc/libs/1_71_0/libs/utility/operators.htm#arithmetic

编辑：

如何自动定义 == 运算符，如下所示：

#include <boost/operators.hpp>

enum class AnEnum : uint64_t;

struct Base : boost::equality_comparable<Base, Base> {
    std::shared_ptr<AnEnum > units;

    std::shared_ptr<int> value;

    friend bool operator == (const Base & lhs, const Base & rhs);
};

Answer 1

boost::equality_comparable<T> 期望T 提供operator==，并基于此提供operator!=。它并不神奇地知道如何比较任意类。它就在in the reference you cite - 请注意需求列和供应操作列中的内容。

boost::equality_comparable<Base, Base> 有点毫无意义。 equality_comparable 的双参数形式旨在综合不同类型对象之间的异构比较。