CRTP是一种编译期多态技术,派生类以自身为模板参数继承基类,实现零开销静态分发;支持mixin、类型安全接口等,避免虚函数开销并增强编译期检查。

CRTP(Curiously Recurring Template Pattern)是C++中一种编译期多态技术,核心思想是:派生类以自身作为模板参数,继承自一个以它为模板实参的基类。它不依赖虚函数,零运行时开销,常用于实现静态多态、mixin、类型安全的接口等。
基本结构与原理
CRTP的关键在于“递归”——子类在定义时就把自己传给父类模板,让父类能在编译期“知道”子类的具体类型。父类可直接调用子类的静态或非虚成员,无需虚表、无需动态绑定。
典型骨架如下:
template <typename derived>
class Base {
public:
void interface() {
static_cast<derived>(this)->implementation(); // 向下调用
}
};
<p>class MyConcrete : public Base<myconcrete> {
public:
void implementation() {
// 具体逻辑
}
};</myconcrete></p></derived></typename>实用示例:简易计数器Mixin
用CRTP给任意类自动添加构造/析构计数功能,无需修改原类逻辑,也不用虚函数:
template <typename t>
class Counter {
private:
inline static size_t count_ = 0;
public:
Counter() { ++count_; }
~Counter() { --count_; }
static size_t count() { return count_; }
};
<p>class Widget : public Counter<widget> {}; // 自动获得计数能力</widget></p><div class="aritcle_card flexRow artxards">
<div class="artcardd flexRow">
<a class="aritcle_card_img" rel="nofollow" href="/xiazai/gongju/2823" title="C++14"><img
src="https://img.php.cn/upload/manual/001/431/639/6ac8b33c327c4749.png" alt="C++14" onerror="this.onerror='';this.src='/static/lhimages/moren/morentu.png'" ></a>
<div class="aritcle_card_info flexColumn">
<a rel="nofollow" href="/xiazai/gongju/2823" title="C++14" class="overflowclass">C++14</a>
<p class="overflowclass">C++14 对 C++11 的修正与增强版本,适合旧系统维护和较老工具链兼容。</p>
</div>
<a rel="nofollow" href="/xiazai/gongju/2823" title="C++14" class="aritcle_card_btn flexRow flexcenter"><b></b><span>下载</span>
</a>
</div>
</div>
<p>int main() {
std::cout </p></typename>为什么不用虚函数?优势在哪?
CRTP本质是静态分发,所有调用在编译期确定:
- 无虚表指针开销,对象尺寸更小
- 函数可被内联,性能更高
- 编译期类型检查更严格(比如子类漏实现 required 方法,直接编译失败)
- 支持SFINAE、constexpr、模板特化等高级元编程场景
注意事项与常见陷阱
使用CRTP需留意几点:
- 子类必须完整定义后才能实例化基类模板(不能前置声明后就继承)
- 基类中访问子类成员时,务必用 static_cast
(this) ,不能直接写 this->xxx(此时 this 是 Base* 类型) - 避免在基类构造函数中调用子类方法——子类对象尚未构造完成
- 若需多层继承(如 A ← B ← C),通常只在最底层应用 CRTP,中间层保持普通继承
基本上就这些。CRTP不是银弹,但当你需要零成本抽象、类型安全的复用或深度定制接口行为时,它非常有力。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!







