CRTP通过派生类继承模板化基类实现静态多态，编译期确定调用，避免虚函数开销。1. 基类用模板参数获取派生类类型，通过static_cast调用其方法。2. 适用于性能敏感场景如数值计算，支持接口统一与代码复用。3. 注意模板膨胀、无法运行时多态及多重继承复杂性。4. 可结合static_assert确保正确继承，提升安全性。
CRTP（Curiously Recurring Template Pattern）是一种在C++中实现静态多态的经典技术，它通过模板和继承在编译期完成多态行为，避免了虚函数表带来的运行时开销。与传统的动态多态不同，CRTP在不牺牲性能的前提下提供类似多态的接口统一性。
CRTP基本结构与原理
CRTP的核心是派生类将自身作为模板参数传给基类。基类通过模板参数知道派生类的具体类型，从而在编译期调用正确的方法。
典型结构如下：
template <typename Derived><br>class Base {<br>public:<br> void interface() {<br> static_cast<Derived*>(this)->implementation();<br> }<br>};<br><br>class Derived : public Base<Derived> {<br>public:<br> void implementation() {<br> // 具体实现<br> }<br>};<br>
调用 interface() 时，基类通过 static_cast 将 this 指针转为派生类指针，调用其 implementation() 方法。这个过程在编译期完成，没有虚函数调用开销。
立即学习“C++免费学习笔记（深入）”；
实现静态多态的技巧
利用CRTP可以实现多种静态多态场景，关键在于设计灵活的基类接口和约束派生类行为。
常见技巧包括：
- 通用接口封装：基类提供统一的 public 接口，内部通过静态分发调用派生类实现，对外隐藏细节。
- 混合行为注入：使用CRTP实现代码复用，例如为多个类注入计数、日志、序列化等通用功能。
- 避免对象切片问题：由于没有虚函数，CRTP适用于值语义场景，避免继承中常见的切片问题。
- 编译期类型检查：可在基类构造函数中加入 static_assert 确保派生类正确继承，例如：
Base() {<br> static_assert(std::is_base_of_v<Base<Derived>, Derived>,<br> "Derived must inherit from Base<Derived>");<br>}<br>
应用场景与注意事项
CRTP适用于接口稳定、性能敏感的场景，如数值计算库、嵌入式系统、DSL实现等。
使用时需注意：
- 不能在运行时更换行为：CRTP是编译期多态，无法像虚函数那样通过指针动态切换实现。
- 模板膨胀：每个派生类实例化一份基类代码，可能增加代码体积。
- 友元与访问权限：若基类需访问派生类私有成员，可通过友元声明或要求派生类提供公共访问接口。
- 多重CRTP继承需谨慎：多个模板基类可能导致命名冲突或复杂性上升。
基本上就这些。CRTP是一种强大但需要理解模板机制的技术，用好它能让代码既高效又整洁。不复杂但容易忽略细节。
