CRTP是一种C++编译期静态多态惯用法，通过模板基类接收派生类自身作为参数（如template class Base; class D : public Base），使基类能安全static_cast访问派生接口，用于消除虚函数开销、强制接口实现、复用逻辑及策略组合。
CRTP（Curiously Recurring Template Pattern），中文常称“奇异递归模板模式”，不是传统意义上的运行时设计模式，而是一种C++模板元编程惯用法——它用编译期类型信息实现静态多态，本质是“让基类知道自己将被哪个派生类继承”，从而绕过虚函数、消除运行时开销。
CRTP的基本结构长什么样
核心就两行代码：
- 定义一个以类型为参数的模板基类：
templateclass Base { ... }; - 派生类继承时，把自身作为模板实参：
class Derived : public Base{ ... };
这种“自己继承自己传进去的模板”的写法，就是“奇异递归”的由来。注意：这里的“递归”不是语法上的循环定义，而是模板参数与派生类身份的自指关系。基类在实例化时就知道Derived的完整类型，因此可在成员函数中安全使用static_cast访问派生类接口。
它主要用来解决什么问题
CRTP不是万能替代，而是针对特定痛点的轻量级方案：
立即学习“C++免费学习笔记（深入）”；
- 去掉虚函数开销：高频调用场景（如数值计算、嵌入式驱动）中，避免vtable查找和间接跳转，性能更可控
-
强制接口实现：基类可定义
interface()调用derived->must_implement()，若派生类没提供该函数，编译直接报错 - 复用通用逻辑：比如自动计数、序列化包装、日志注入等，只需继承一个CRTP基类，无需重复写构造/析构逻辑
-
策略组合（Policy-Based Design）：像
Serializer或Iterator这类可配置行为，通过CRTP基类统一调度策略方法
写CRTP时容易踩的坑
看似简单，但几个细节不注意就会编译失败或语义出错：
- 派生类必须严格使用
public Base，写成Base会导致static_cast不安全，编译器通常报invalid static_cast - 基类中不能提前调用派生类未声明的成员（哪怕后面会定义）——C++名称查找发生在模板定义处，不是实例化处
- 同名函数会被隐藏：如果
Derived实现了foo()，则Base::foo()不可见，需显式用using Base::foo引入 - 不支持多继承同一CRTP基类（如同时继承
Base和Base），会引发ODR违规；若真需要，应改用组合或标签分发
它和普通继承、虚函数有什么区别
关键不在“能不能做”，而在“什么时候决定”：
- 虚函数：调用目标在运行时根据对象实际类型查vtable，支持动态绑定、多态容器（如
vector）> - CRTP：所有绑定在编译期完成，生成的代码等价于直接调用派生类函数，零运行时成本，但无法存异构对象到同一容器（除非额外封装）
- 普通非虚继承：无多态能力，基类无法反向调用派生类逻辑；CRTP补上了这个缺口，且不牺牲性能
一句话总结：CRTP是C++给系统程序员和库作者的一把“编译期手术刀”——用模板的确定性，换掉虚函数的灵活性，专治对延迟敏感、对体积苛刻、对类型安全要求高的场景。
