【重要概念】CRTP：奇异递归模板模式、零开销多态的编译期魔法

编译期多态的优雅实现。

CRTP（Curiously Recurring Template Pattern，奇异递归模板模式）是 C++ 中一种基于模板的静态多态 / 代码复用技术，核心思想是：让基类模板的参数是派生类本身，通过模板特化和编译期绑定，实现 “静态多态”（无虚函数开销）和 “代码复用”（避免动态继承的冗余）。

本质：通过基类的实现中访问特定类型的this指针。

CRTP通过模板和继承的组合实现静态多态：

• ✅基类模板以派生类为模板参数

• ✅在基类中通过static_cast调用派生类方法

• ✅实现编译期的多态行为

  // 基类模板，模板参数 T 是派生类 template <typename T> class Base { public: // 基类中可通过 static_cast<T*>(this) 访问派生类的成员 void func() { // 差异化逻辑：派生类实现 // 通用逻辑：所有派生类都需要的前置处理 std::cout << "通用逻辑前置处理\n"; static_cast<T*>(this)->impl(); // 调用派生类的实现 // 通用逻辑：所有派生类都需要的后置处理 std::cout << "通用逻辑后置处理\n"; } }; // 派生类继承基类，且将自身作为模板参数传给基类 class Derived : public Base<Derived> { public: // 派生类实现具体逻辑 void impl() { /* 自定义逻辑 */ } }; // 主函数：使用 CRTP 类 int main() { // 使用派生类 Derived d1; d1.func(); // 调用基类的 func()，最终执行 Derived1::impl() return 0; }

  CRTP 的核心优势：编译期确定调用关系，无虚函数表（vtable）开销，比动态多态（虚函数）更快；同时支持基类复用派生类的接口 / 数据。

  ---