CRTP是派生类以自身为模板参数继承基类的编译期静态多态惯用法，解决虚函数调用开销与运行时类型擦除问题，通过static_cast<Derived&>(*this)实现零成本派生类成员访问。
CRTP 是什么，它解决什么问题
CRTP（Curiously Recurring Template Pattern）不是语言特性，而是一种惯用法：派生类以自身为模板参数继承基类。它让基类在编译期“知道”派生类的具体类型，从而实现静态多态——绕过虚函数调用开销，也避免运行时类型擦除。
典型结构是：template<typename Derived> class Base，然后 class Derived : public Base<Derived>。关键在于基类中能通过 static_cast<Derived&>(*this) 安全调用派生类的成员函数，且整个过程零运行时成本。
如何正确写一个 CRTP 基类
基类必须是模板，并显式依赖 Derived 类型；派生类必须完整实例化该模板，不能只写 Base 或漏掉模板实参。
- 基类中访问派生类成员，一律用
static_cast<Derived&>(*this)，不要用dynamic_cast（CRTP 不涉及运行时类型信息） - 构造函数里不能调用派生类的非静态成员函数——此时派生类对象尚未构造完成，
static_cast虽语法合法，但行为未定义 - 如果基类需要默认构造，确保派生类也提供对应构造函数，否则
Derived()可能因基类构造失败而不可用 - 模板参数名（如
Derived）只是占位符，不强制要求和派生类同名，但语义清晰更重要
示例：
立即学习“C++免费学习笔记（深入）”；
template <typename Derived>
struct Countable {
static int count;
Countable() { ++count; }
~Countable() { --count; }
int id() const { return static_cast<const Derived*>(this)->m_id; }
};
<p>template <typename Derived> int Countable<Derived>::count = 0;</p><p>struct Widget : Countable<Widget> {
int m_id = next_id++;
private:
static int next_id;
};
int Widget::next_id = 0;</p>CRTP 和普通继承、虚函数的关键区别
CRTP 是编译期绑定，虚函数是运行时绑定。这意味着：
-
sizeof(Widget)不会因继承Countable<Widget>而增加 vptr 字段，内存布局完全由派生类决定 - 编译器能看到所有调用路径，能内联
id()这类函数，而虚函数调用通常无法跨虚表优化 - 没有虚析构函数风险：CRTP 基类通常不设计成被裸指针 delete，若真要多态销毁，仍需加
virtual ~Base() = default，但这已偏离 CRTP 初衷 - 不支持向上转型后向下转型：你不能写
Base<Widget><em> p = new Widget</em>再安全转回Widget，因为Base<Widget>和Base<Gadget>是完全不同类型
容易踩的坑：SFINAE、友元和模板推导失效
CRTP 常和模板元编程混用，这时几个隐性陷阱特别高发：
- 在基类里写
using Derived::foo可能触发 SFINAE 失败，应改用decltype(static_cast<Derived&>(*this).foo())配合std::declval做约束 - 派生类的私有成员无法被基类访问，即使用了
static_cast—— 必须显式声明friend class Base<Derived>，且 friend 声明必须出现在派生类内部 - 用
auto推导返回值时，若返回的是static_cast<Derived&>(*this)，实际类型是Derived&，但若派生类重载了operator T()，可能意外触发转换而非调用预期函数 - 模板别名（如
using base_t = Base<Derived>）在派生类中定义后，不能用于继承列表（class D : base_t是非法的），必须写全Base<D>
CRTP 看似简单，真正难的是控制好模板实例化边界和访问权限——一旦出错，错误信息往往横跨十几行模板展开，定位点常不在你写的那行。
