如何实现C++23模板基类，为派生类提供运算符实现？

问题背景 #

需要实现一个基于CRTP（奇异递归模板模式）的模板基类，既要包含公共属性，又能为派生类提供运算符重载，同时确保运算符仅适用于派生类自身，或同模板参数的基类派生对象。最初的尝试因类型未定义、requires约束报错等问题受阻。

可行解决方案 #

方案1：调整约束逻辑，适配不完全类型 #

CRTP基类定义时，派生类属于不完全类型，而std::derived_from要求类型完全定义，因此改用std::is_base_of（支持不完全类型检查）配合自定义概念，来约束CRTP的派生关系：

#include <concepts>
#include <optional>
#include <type_traits>

// 前向声明基类
template <class CLAZZ>
class MyBaseClass;

// 自定义概念：约束CLAZZ必须是MyBaseClass<CLAZZ>的派生类
template <class Derived>
concept DerivedFromMyBase = std::is_base_of_v<MyBaseClass<Derived>, Derived>;

template <DerivedFromMyBase CLAZZ>
class MyBaseClass
{
    // 公共属性示例
protected:
    int base_id = 0;

public:
    // 与派生类对象直接比较
    bool operator==(const CLAZZ& other) const
    {
        // 实际逻辑：先比较基类属性，后续可扩展调用派生类的自定义比较
        return base_id == other.base_id;
    }

    // 与optional包装的派生类对象比较
    bool operator==(const std::optional<const CLAZZ&> other) const
    {
        if (!other) return false;
        return *this == *other;
    }

    // 支持同模板参数的基类对象比较
    bool operator==(const MyBaseClass<CLAZZ>& other) const
    {
        return base_id == other.base_id;
    }
};

// 派生类示例
class MyDerivedClass : public MyBaseClass<MyDerivedClass>
{
    // 派生类自定义属性
    std::string name;
public:
    // 可选：补充派生类自身的比较逻辑
    bool operator==(const MyDerivedClass& other) const
    {
        return MyBaseClass::operator==(other) && name == other.name;
    }
};

// 测试：不同派生类无法比较（编译报错，符合预期）
// class AnotherDerived : public MyBaseClass<AnotherDerived> {};
// bool invalid_compare() { return MyDerivedClass{} == AnotherDerived{}; }

方案2：用SFINAE替代requires约束（兼容C++20之前版本） #

如果需要兼容C++20之前的标准，可以用SFINAE机制配合静态断言，实现相同的约束效果：

#include <optional>
#include <type_traits>

template <class CLAZZ>
class MyBaseClass
{
    // 静态断言：强制检查CRTP派生关系
    static_assert(std::is_base_of_v<MyBaseClass<CLAZZ>, CLAZZ>,
                  "CLAZZ must inherit from MyBaseClass<CLAZZ>");

protected:
    int base_id = 0;

public:
    // 仅允许与CLAZZ或同模板参数的基类对象比较
    template <class T>
    std::enable_if_t<std::is_same_v<T, CLAZZ> || std::is_same_v<T, MyBaseClass<CLAZZ>>, bool>
    operator==(const T& other) const
    {
        return base_id == other.base_id;
    }

    bool operator==(const std::optional<const CLAZZ&> other) const
    {
        if (!other) return false;
        return *this == *other;
    }
};

class MyDerivedClass : public MyBaseClass<MyDerivedClass>
{
    std::string name;
public:
    bool operator==(const MyDerivedClass& other) const
    {
        return MyBaseClass::operator==(other) && name == other.name;
    }
};

关键说明 #

• CRTP场景下，基类定义时派生类是不完全类型，std::derived_from无法直接使用，std::is_base_of是更合适的选择，它支持对不完全类型的继承关系检查。
• 通过概念、静态断言或SFINAE，确保只有正确的CRTP派生类能实例化基类，彻底避免不同派生类之间的错误比较。
• 派生类可以自行补充专属属性的比较逻辑，优先调用自身的operator==，再回退到基类的公共属性比较。

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