CRTP通过派生类继承模板化基类实现静态多态，消除虚函数开销，适用于高性能场景。其核心是基类通过模板参数调用派生类方法，编译期完成函数绑定，支持内联优化与行为复用，如数值计算中的向量操作和打印功能组合。使用时需注意派生类定义顺序、构造函数中不可调用虚接口、不支持运行时多态等问题，结合SFINAE或C++20 concepts可提升模板安全性。合理应用可显著提升性能与代码复用性。
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><br>class Derived : public Base<Derived> {<br>public:<br> void implementation() { /* 具体实现 */ }<br>};<br>
调用 interface() 时，编译器会根据模板实例化生成对应派生类的代码，实现“多态”效果，但无虚函数开销。
立即学习“C++免费学习笔记（深入）”；
避免虚函数开销的高性能接口设计
传统多态依赖虚函数表，每次调用都有间接跳转。CRTP将多态行为提前到编译期，适合对性能要求高的场景。
例如，在数学向量操作中，可以这样设计：
template<typename Vec><br>class VectorBase {<br>public:<br> Vec& self() { return static_cast<Vec&>(*this); }<br> const Vec& self() const { return static_cast<const Vec&>(*this); }<br><br> double operator[](size_t i) const {<br> return self()[i]; // 调用派生类实现<br> }<br><br> size_t size() const {<br> return self().size();<br> }<br>};<br><br>class MyVector : public VectorBase<MyVector> {<br> std::vector<double> data;<br>public:<br> double operator[](size_t i) const { return data[i]; }<br> size_t size() const { return data.size(); }<br>};<br>
这样，operator[] 和 size() 的调用完全内联，生成高效代码。
混合行为与代码复用技巧
CRTP不仅用于多态，还能实现行为组合。基类可以提供通用算法，依赖派生类实现基础操作。
比如实现通用的打印功能：
template<typename Derived><br>class Printable {<br>public:<br> void print() const {<br> const Derived& obj = static_cast<const Derived&>(*this);<br> for (size_t i = 0; i < obj.size(); ++i) {<br> std::cout << obj[i] << " ";<br> }<br> std::cout << std::endl;<br> }<br>};<br><br>class MyArray : public Printable<MyArray>,<br> public VectorBase<MyArray> {<br> // 实现 size() 和 operator[]<br>};<br>
多个CRTP基类组合，可实现模块化设计，提升代码复用性。
注意事项与常见陷阱
使用CRTP时需注意以下几点：
- 派生类必须在基类实例化前定义完整，否则 static_cast 会出错
- 不能在基类构造函数中调用派生类方法，因为派生类尚未构造完成
- 模板参数错误会导致编译错误，通常提示为“未定义的引用”
- 不支持运行时多态，无法用基类指针指向不同派生类型
可通过SFINAE或 concepts（C++20）增强模板约束，提升错误提示可读性。
基本上就这些。CRTP是C++元编程中的实用技巧，合理使用能显著提升性能和代码灵活性，但要避免过度设计。理解其静态分发机制是关键。不复杂但容易忽略细节。
评论（已关闭）
评论已关闭