CRTP通过派生类作为模板参数继承基类实现静态多态，避免虚函数开销。1. 基类用template定义，派生类继承Base；2. 成员函数通过static_cast调用具体实现，编译期解析；3. 用于替代虚函数、实现混入功能（如计数、日志）、生成比较操作符等；4. 优势为零运行时开销、支持泛型、利于内联；5. 缺点包括无法动态切换行为、模板膨胀和复杂错误信息。适合性能敏感与库设计场景。
CRTP（Curiously Recurring Template Pattern），中文常译为“奇异递归模板模式”，是C++模板编程中一种重要的惯用法。它通过让基类以派生类作为模板参数来继承自身，实现静态多态，在不使用虚函数的情况下完成类似多态的行为，从而提升性能并减少运行时开销。
CRTP的基本结构与原理
CRTP的核心形式如下：
template<typename Derived><br>class Base {<br>public:<br> void interface() {<br> static_cast<Derived*>(this)->implementation();<br> }<br><br> void func() {<br> interface();<br> }<br>};<br><br>class Derived : public Base<Derived> {<br>public:<br> void implementation() {<br> // 具体实现<br> }<br>};
这里，Base 是一个类模板，接受一个类型参数 Derived，而 Derived 类继承自 Base
由于调用是通过 static_cast 在编译期解析的，所以没有虚函数表的开销，属于静态多态，效率更高。
立即学习“C++免费学习笔记（深入）”；
CRTP的典型应用场景
CRTP在实际开发中有多个高级用途，常见于库设计和性能敏感场景。
1. 静态多态替代虚函数
- 当需要多态行为但希望避免虚函数带来的运行时开销时，CRTP是一个理想选择。
- 适用于接口固定、行为在编译期已知的场景。
2. 实现混入（Mixin）功能
- 通过CRTP可以将通用功能注入到多个类中，比如日志、计数、序列化等。
- 例如，实现一个自动计数对象构造和析构的 Mixin：
template<typename T><br>class Counter {<br>private:<br> inline static int count = 0;<br>public:<br> Counter() { ++count; }<br> ~Counter() { --count; }<br> static int get_count() { return count; }<br>};<br><br>class MyClass : public Counter<MyClass> { };<br>// 每次创建MyClass实例，计数自动增加
3. 接口统一与代码生成
- CRTP可用于自动生成重复代码，如比较操作符、打印函数等。
- 例如，实现“小于”即可推导出其他关系操作符：
template<typename T><br>class Comparable {<br>public:<br> bool operator>=(const T& other) const {<br> return !static_cast<const T*>(this)->operator<(other);<br> }<br> bool operator>(const T& other) const {<br> return other < *static_cast<const T*>(this);<br> }<br> // 可继续扩展 ==, != 等<br>};<br><br>class Value : public Comparable<Value> {<br> int data;<br>public:<br> bool operator<(const Value& other) const {<br> return data < other.data;<br> }<br>};
CRTP的优势与注意事项
优势：
- 零运行时开销：所有调用在编译期绑定。
- 支持泛型编程：可与模板结合构建高度可复用组件。
- 提高内联机会：编译器更容易优化。
注意事项：
- 不能动态切换行为：不像虚函数，CRTP无法在运行时决定调用哪个实现。
- 模板膨胀：每个派生类都会实例化一份基类代码，可能增加二进制体积。
- 错误信息复杂：模板嵌套深时，编译报错可能难以理解。
基本上就这些。CRTP是一种强大但需谨慎使用的技巧，适合在追求性能、构建基础库或实现通用组件时采用。掌握它能显著提升C++模板编程的能力。
