crtp通过派生类继承自身作为模板参数的基类实现编译期多态，例如derived : base，使base中调用derived::implementation()无虚函数开销；它用于表达式模板、静态接口检查和mixin设计，如instancecounter独立计数；但存在无法动态切换、模板膨胀和调试困难等局限，适用于高性能泛型编程场景。
CRTP（Curiously Recurring Template Pattern），中文常译为“奇异递归模板模式”，是 C++ 中一种利用模板和继承实现编译期多态的经典技巧。它通过让基类以派生类作为模板参数来继承自身，从而在不使用虚函数的情况下实现静态分发，提升性能并支持泛型设计。
什么是 CRTP
CRTP 的基本结构是：一个类模板作为基类，其模板参数是派生类本身。这种“递归”看似奇怪，实则巧妙。例如：
template <typename derived><br>struct Base {<br> void interface() {<br> static_cast<derived>(this)->implementation();<br> }<br>};<br><br>struct Derived : Base<derived> {<br> void implementation() {<br> // 具体实现<br> }<br>};</derived></derived></typename>
这里 Base 是一个模板基类，Derived 继承自 Base
编译期多态：替代虚函数的高效方式
传统的多态依赖虚函数表，带来运行时开销。CRTP 在编译期就确定调用目标，避免了虚函数的间接跳转。
常见应用场景包括：
- 表达式模板：如 Eigen、Blaze 等数学库中用于优化向量运算，避免临时对象生成。
- 静态接口检查：基类可验证派生类是否实现了所需方法（通过 SFINAE 或 concepts）。
- 混合类（Mix-in）设计：提供通用功能（如计数、序列化）而不影响运行时性能。
模板继承中的代码复用与约束
CRTP 允许基类访问派生类的成员，实现高度通用的逻辑封装。比如实现一个自动计数对象创建的 Mixin：
template <typename t><br>class InstanceCounter {<br>private:<br> inline static int count = 0;<br>public:<br> InstanceCounter() { ++count; }<br> ~InstanceCounter() { --count; }<br> static int get_count() { return count; }<br>};<br><br>class MyType : public InstanceCounter<mytype> { };<br>// 每个 MyType 实例增减计数，独立于其他类型</mytype></typename>
这种设计既复用了逻辑，又保证类型间隔离，且无虚函数成本。
注意事项与局限性
CRTP 虽强大，但也有使用限制：
- 不能动态切换行为：所有绑定在编译期完成，无法像虚函数那样通过基类指针调用不同子类的同名函数。
- 模板膨胀：每个派生类都会实例化一份基类代码，可能增加二进制体积。
- 调试困难：错误信息可能冗长，尤其涉及复杂模板推导时。
- 必须正确继承：若派生类未正确继承模板实例（如写错类型），会导致静态断言或未定义行为。
基本上就这些。CRTP 是 C++ 模板元编程中非常实用的技巧，适合对性能敏感、需要静态多态的场景。掌握它有助于理解现代 C++ 库的设计思想，比如 STL 和各种高性能框架中的零成本抽象实现。不复杂但容易忽略的是，它的“递归”本质其实是编译期类型代入，而非真正运行时递归。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
