C++20中CRTP继承下operator==歧义问题的解决方案优劣分析

已知有CRTP基类CRTPBase<Child, T>，子类Child<T>继承自该基类，目标是实现Child<T>对象的相等比较。仅在基类中定义接受Child<T>引用的operator==时，会触发C++20特有的运算符歧义警告。以下是三种实现方案的正确性验证及优缺点对比：

方案1：默认实现接受基类引用的operator== #

bool operator== (const CRTPBase<Child, T> &other) const = default;

正确性 #

完全合法且正确。C++允许编译器默认生成基类的相等运算符，它会自动逐成员比较基类的所有非静态成员（即示例中的a、b、c）。当比较两个Child<T>对象时，子类对象会隐式转换为基类引用，调用该运算符完成基类部分的比较。

优缺点 #

• 优点：
  • 代码极简，无需手动编写比较逻辑，编译器自动生成无错误的逐成员比较
  • 从根源避免C++20中因隐式转换导致的运算符歧义问题
  • 天然支持与基类对象的比较（若业务有此需求）
• 缺点：
  • 仅覆盖基类成员的比较，若子类有自定义成员，这部分不会被纳入比较逻辑——即两个子类对象可能基类成员相同但子类成员不同，却被判定为相等，不符合完整对象相等的预期
  • 无法自定义比较逻辑，只能依赖编译器的逐成员比较规则

方案2：成员operator==（接受子类）+友元非成员operator== #

bool operator== (const Child<T> &other) const {
    return (a == other.a) && (b == other.b) && (c == other.c);
}

friend bool operator== (const Child<T> &c1, const Child<T> &c2) {
    return (c1.a == c2.a) && (c1.b == c2.b) && (c1.c == c2.c);
}

正确性 #

该方案是正确的，但需注意：当前实现未包含子类自定义成员的比较，若子类有额外成员，需手动添加对应比较逻辑。另外，友元非成员函数的存在是为了消除C++20的歧义——仅定义成员版时，编译器会自动生成对称的非成员operator==，导致调用时出现重载歧义；显式定义友元版后，编译器不会再生成默认的对称版本，歧义问题得以解决。

优缺点 #

• 优点：
  • 比较逻辑完全可控，后续子类扩展成员时，可灵活添加对应比较代码
  • 友元函数消除了C++20的歧义问题，同时支持左右操作数的隐式转换（若存在）
• 缺点：
  • 代码冗余：成员版和友元版的比较逻辑完全重复，维护成本高——修改基类成员时需同时修改两处代码
  • 手动编写比较逻辑容易出错，比如遗漏某个成员的比较
  • 默认不支持与基类对象的比较，需额外重载运算符

方案3：默认实现三路比较运算符<=> #

auto operator<=>(const CRTPBase&) const = default;

正确性 #

合法且正确。C++20中，默认的三路比较运算符会自动生成完整的逐成员比较逻辑，同时编译器会自动推导生成对应的operator==（<=>的默认实现会同时提供相等性比较能力）。比较Child<T>对象时，子类会隐式转换为基类引用，完成基类成员的比较。

优缺点 #

• 优点：
  • 一次定义即可支持==、!=、<、<=、>、>=所有比较运算符，无需重复编写多个重载
  • 代码简洁，编译器自动生成逻辑，避免手动编写的错误
  • 天然适配C++20的比较规则，不会产生歧义
• 缺点：
  • 存在语义冗余：若仅需要相等性比较，三路比较会额外生成不需要的关系比较运算符（虽然性能上几乎无影响）
  • 仅比较基类成员，子类自定义成员不会被纳入比较，不符合完整对象相等的预期
  • 依赖C++20及以上标准，无法兼容旧版本编译器

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