c++中的CRTP（奇特递归模板模式）是什么_c++中CRTP(奇特递归模板模式)原理与应用-C++-PHP中文网

c++中的CRTP（奇特递归模板模式）是什么_c++中CRTP(奇特递归模板模式)原理与应用

下次还敢

发布： 2025-11-15 20:53:09

原创

781人浏览过

CRTP通过派生类继承自身作为模板参数的基类实现静态多态，编译期绑定函数调用，避免虚函数开销，适用于性能敏感场景、接口约束、混入扩展等功能复用。

c++中的crtp（奇特递归模板模式）是什么_c++中crtp(奇特递归模板模式)原理与应用

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 foo() {<br>        interface();  // 调用派生类实现<br>    }<br>};<br><br>class Derived : public Base<Derived> {<br>public:<br>    void implementation() {<br>        // 具体实现<br>    }<br>};<br><br>int main() {<br>    Derived d;<br>    d.foo();  // 调用 Base::foo → Base::interface → Derived::implementation<br>}

登录后复制

在这个例子中，Base 是一个类模板，接受一个类型参数 Derived，而 Derived 又继承自 Base<Derived>。这种“递归”式的继承就是CRTP名称的由来。

CRTP的原理：静态多态

传统多态依赖虚函数表，在运行时决定调用哪个函数。而CRTP在编译期就完成了函数绑定，属于静态多态。

立即学习“C++免费学习笔记（深入）”；

关键点在于：

基类通过 static_cast<Derived*>(this) 将当前对象转为派生类指针
调用派生类的方法，这个方法在编译时已知
无需虚函数，没有vtable开销，性能更高
适用于模板库、工具类、接口封装等场景

CRTP的常见应用场景

CRTP在实际开发中有多个典型用途：

1. 实现静态接口约束

确保派生类实现了某些方法。如果没实现，编译时报错（因为 static_cast 后找不到 implementation）。

AiPPT模板广场

AiPPT模板广场-PPT模板-word文档模板-excel表格模板

147

查看详情

2. 混入（Mixin）功能扩展

多个功能可以通过CRTP组合进派生类：

template <typename T> class Comparable {<br>public:<br>    bool operator!=(const T& other) {<br>        return !static_cast<const T&>(*this).equals(other);<br>    }<br>};<br><br>class MyType : public Comparable<MyType> {<br>public:<br>    bool equals(const MyType& other) { /* ... */ }<br>};<br><br>MyType a, b;<br>bool result = (a != b); // 自动获得 != 操作符

登录后复制

3. 性能敏感的多态设计

在数学库、表达式模板、序列容器等对性能要求高的场景，CRTP替代虚函数，消除运行时开销。

4. 计数器或日志混入

可以为所有派生类自动添加计数、日志等功能：

template <typename T><br>class Counter {<br>private:<br>    static int count;<br>public:<br>    Counter() { ++count; }<br>    ~Counter() { --count; }<br>    static int get_count() { return count; }<br>};<br>template<typename T> int Counter<T>::count = 0;<br><br>class Widget : public Counter<Widget> { };<br><br>Widget w1, w2;<br>// get_count() 返回 2

登录后复制