CRTP是一种C++模板技术，通过派生类继承基类模板并传入自身类型，实现编译期多态。基类使用static_cast调用派生类方法，避免虚函数开销，提升性能。典型应用包括混合器模式、表达式模板和接口增强，如对象计数。相比虚函数的运行时多态，CRTP在编译期绑定，支持内联优化，但不支持运行时动态切换，且可能引起代码膨胀与调试困难。它是静态多态的核心手段，体现现代C++零成本抽象的设计理念。
CRTP（Curiously Recurring Template Pattern），中文常译为“奇异递归模板模式”，是C++模板元编程中一个非常经典的技术，用来实现静态多态。它通过将派生类作为模板参数传给基类，使得基类在编译期就能“知道”派生类的类型，从而调用派生类的方法，而无需虚函数表机制。
什么是CRTP？
CRTP的基本形式如下：
template<typename Derived>
class Base {
public:
void interface() {
static_cast<Derived*>(this)->implementation();
}
};
class Derived : public Base<Derived> {
public:
void implementation() {
// 具体实现
}
};
这里的 Base 是一个类模板，接受一个类型参数 Derived，而具体的派生类 Derived 又继承自 Base<Derived>。这种“派生类出现在自身基类中”的结构看起来像是递归，但并不是真正的递归，因此被称为“奇异递归”。
静态多态：替代虚函数的高效方案
传统多态依赖虚函数和虚表（vtable），在运行时进行动态绑定。而CRTP在编译期完成函数绑定，避免了虚调用开销，属于静态多态。
立即学习“C++免费学习笔记（深入）”；
举个例子，对比虚函数与CRTP的调用方式：
- 虚函数：运行时查找虚表，有间接跳转，性能略低，但支持运行时多态。
- CRTP：编译期确定调用目标，内联优化更容易，性能更高，但必须在编译期知道具体类型。
如果你不需要运行时多态（比如对象类型已知），CRTP是一个更高效的替代方案。
典型应用场景
CRTP广泛用于各种高性能库中，常见用途包括：
- 混合器模式（Mixin）：为多个派生类提供通用功能，例如计数、序列化、比较操作等。
- 表达式模板：在Eigen、Blaze等数学库中用于延迟计算和优化链式表达式。
- 接口统一增强：基类定义通用接口，派生类提供具体实现，基类封装通用逻辑。
例如，实现一个自动计数对象创建和销毁的 Mixin：
template<typename T>
class ObjectCounter {
private:
inline static int count = 0;
protected:
ObjectCounter() { ++count; }
~ObjectCounter() { --count; }
public:
static int live() { return count; }
};
class Widget : public ObjectCounter<Widget> {
// 自动获得计数能力
};
注意事项与局限性
CRTP虽然强大，但也有使用限制：
- 不能在运行时切换行为，不支持动态多态。
- 模板实例化可能导致代码膨胀，每个派生类生成一份基类实例。
- 调试信息可能不如普通继承直观，错误提示有时较难理解。
- 派生类必须在继承时完整定义，不能前置声明后直接用于模板参数。
基本上就这些。CRTP是C++模板元编程的基石之一，理解它有助于深入掌握静态多态和零成本抽象的设计思想。它不复杂，但容易忽略其威力——把多态从运行时搬到编译期，正是现代C++追求效率的体现。
