有没有办法进行编译时检查，一个类的所有成员都在 operator== 中进行比较

Question

我想知道 C++ 中是否有一种方法可以进行编译时检查，以验证一个类的所有成员变量是否由operator== 进行比较？如果有的话，有一种方法可以明确地忽略某些成员上的这个约束也是有用的。

这对于我的用例很有用，其中在我们的开发过程中有一个数据结构随着时间的推移而变化，并且已经多次发生过调整现有的 operator== 被遗忘的情况。这是一个静默错误，它会导致我们称之为“误报行为”，这很难找到。

感谢任何信息。可能是解决问题的替代方法，或者解释为什么这个编译时检查可能不可能。

编辑：遗憾的是，我正在使用 C++17，并且在不久的将来无法更新到 C++20。

Answer 1

这里的根本问题是你不能迭代类成员。

快速的解决方案是将所有参与operator==的成员打包到std::tuple中。

Answer 2

对于 C++20，假设您的所有类成员本身都具有 == 可比性，您可以简单地提供一个默认定义：

class C {
    // members
public:
    bool operator==(C const&) const = default;
};

当您更新班级时，默认操作员将自动接收新成员。

---

至于忽略比较中的成员。这总是有点牵扯，因为有时可能会出现默认操作。一种方法是使用嵌套类

class C {
    // members
    struct NoEqCompare {
       mutable std::mutex mut; // A member you may want to omit.
       bool operator==(NoEqCompare const&) const { return true; }
    } eqIgnore;
public:
    bool operator==(C const&) const = default;
};

与 std::tie-ing 以每个运算符为基础的您想要的成员的旧技巧不同，如果我们需要将更多运算符添加到组合中，然后混合和匹配，这可能会更加棘手成员。权衡您的选择。