如何为Boost.Hana结构体正确实现相等比较运算符？

这个问题的核心是Boost.Hana的Struct类型与自定义operator==/operator!=之间的重载决议冲突——当你给用BOOST_HANA_DEFINE_STRUCT定义的结构体添加相等运算符后，boost::hana::equal会有两个候选重载：一个是针对实现了operator==的EqualityComparable类型，另一个是针对hana::Struct类型的专用实现，编译器无法区分，导致编译失败。

下面是两种可靠的解决方案，无论结构体是否有嵌套的Hana结构体，都能正常工作，同时满足std::optional<SomeStruct>的相等比较需求：

方案一：转换为Tuple后比较 #

通过boost::hana::to_tuple将结构体转换为对应的tuple，再调用hana::equal比较。这种方式会自动递归处理嵌套的Hana结构体，因为tuple的相等比较会逐个元素调用hana::equal，而嵌套的Hana结构体同样会被转换为tuple参与比较。

#include <boost/hana.hpp>
namespace hana = boost::hana;

// 嵌套结构体示例
struct NestedStruct {
    BOOST_HANA_DEFINE_STRUCT(NestedStruct, (int, a), (float, b));

    constexpr bool operator==(NestedStruct const& other) const {
        return hana::equal(hana::to_tuple(*this), hana::to_tuple(other));
    }

    constexpr bool operator!=(NestedStruct const& other) const {
        return !(*this == other);
    }
};

struct SomeStruct {
    BOOST_HANA_DEFINE_STRUCT(SomeStruct, (int, x), (double, y), (char, c), (NestedStruct, nested));

    constexpr bool operator==(SomeStruct const& other) const {
        // 转换为tuple后比较，避免重载歧义
        return hana::equal(hana::to_tuple(*this), hana::to_tuple(other));
    }

    constexpr bool operator!=(SomeStruct const& other) const {
        return !(*this == other);
    }
};

方案二：直接调用Struct专用的Equal实现 #

绕过自动重载决议，直接调用Boost.Hana为Struct类型提供的equal_impl实现，从根源上避免歧义问题。这种方式同样支持嵌套结构体的递归比较，因为Hana的Struct比较逻辑本身就会遍历所有成员进行递归比较。

#include <boost/hana.hpp>
namespace hana = boost::hana;

struct SomeStruct {
    BOOST_HANA_DEFINE_STRUCT(SomeStruct, (int, x), (double, y), (char, c));

    constexpr bool operator==(SomeStruct const& other) const {
        // 明确调用Struct类型的equal实现，不触发EqualityComparable重载
        return hana::equal_impl<hana::tag_of_t<SomeStruct>, hana::tag_of_t<SomeStruct>>::apply(*this, other);
    }

    constexpr bool operator!=(SomeStruct const& other) const {
        return !(*this == other);
    }
};

为什么之前的方法不行？ #

1. 直接调用hana::equal(*this, other)：此时编译器会看到两个候选重载（EqualityComparable和Struct），导致重载决议模糊，编译失败。
2. 使用hana::members比较：hana::members返回的是结构体成员的访问器序列（而非成员值的直接序列），虽然在简单场景下能间接比较成员值，但嵌套结构体时会因为序列的嵌套结构导致比较逻辑不符合预期，无法正确递归处理嵌套的结构体成员。

这两种方案都能完美支持std::optional<SomeStruct>的相等比较——std::optional会自动调用你定义的operator==来比较内部的SomeStruct对象。

内容的提问来源于stack exchange，提问作者Nevermore