如何简化CRTP继承类API，实现Extension<Base>形式的多类扩展？

这个问题其实就是要把CRTP里嵌套的模板参数给藏起来，让API更清爽对吧？我给你两种可行的方案，看哪种更贴合你的需求：

方案一：反转CRTP继承方向（推荐） #

这种方案调整了Base和Extension的继承关系，让Extension作为派生类继承Base的CRTP实例，彻底避免嵌套参数，API完全符合你的期望：

#include <iostream>

// 定义CRTP基类Base1，接受最终的派生类作为模板参数
template <typename Derived>
class Base1 {
public:
    static void beep() { std::cout << "Base1 "; }

    // 如果Base需要调用扩展类的功能，通过Derived类型访问就行
    void call_extension_func() {
        static_cast<Derived*>(this)->extension_func();
    }
};

// 扩展类Extension，接受Base模板作为参数
template <template <typename> class Base>
class Extension : public Base<Extension<Base>> {
public:
    static void boop() {
        // 直接调用Base的方法
        Base<Extension<Base>>::beep();
        std::cout << "Extension boop!\n";
    }

    // 自定义的扩展功能
    void extension_func() {
        std::cout << "This is an extension function!\n";
    }
};

int main() {
    // 现在就能用你想要的简洁API了！
    Extension<Base1> my_object;
    
    my_object.boop(); // 输出：Base1 Extension boop!
    my_object.call_extension_func(); // 输出：This is an extension function!
    
    return 0;
}

原理说明：

• Base1改成了标准的CRTP基类，模板参数是最终的派生类（也就是Extension<Base1>），这样Base可以轻松调用扩展类的方法。
• Extension的模板参数是Base模板（比如Base1），然后它自动继承Base<Extension<Base>>，相当于把自己作为参数传给了Base，完成CRTP绑定。
• 这种方式没有递归依赖，代码逻辑清晰，主流编译器都能完美支持。

方案二：保留原有Base继承Extension的结构 #

如果你因为业务需求必须保留Base继承Extension的原有结构，可以用模板特化来封装嵌套：

#include <iostream>

// 你的原有Base定义，接受Extension模板作为参数并继承它
template <template <typename> class Extension>
class Base1 : public Extension<Base1<Extension>> {
public:
    static void beep() { std::cout << "Base1 "; }
};

// 主模板：接受Base模板，自动转发到特化版本
template <template <template <typename> class> class Base>
class Extension : public Extension<Base<Extension>> {};

// 特化版本：接受具体的Base实例，实现扩展功能
template <typename ConcreteBase>
class Extension<ConcreteBase> : public ConcreteBase {
public:
    static void boop() {
        ConcreteBase::beep();
        std::cout << "Extension boop!\n";
    }
};

int main() {
    Extension<Base1> my_object;
    my_object.boop(); // 输出：Base1 Extension boop!
    return 0;
}

原理说明：

• 主模板Extension接受Base模板作为参数，然后继承Extension<Base<Extension>>，相当于自动把Base实例化（传入Extension作为参数），然后交给特化版本处理。
• 特化版本Extension<ConcreteBase>接受具体的Base实例（比如Base1<Extension>），继承它并实现扩展功能。
• 这个方案保留了你原有代码的结构，但依赖编译器对递归模板的支持，主流编译器也都能处理。

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