C++中的CRTP(奇异递归模板模式)是什么_C++模板编程高级技巧与CRTP应用-C++-PHP中文网

C++中的CRTP(奇异递归模板模式)是什么_C++模板编程高级技巧与CRTP应用

裘德小鎮的故事

发布： 2025-11-26 12:29:02

原创

203人浏览过

CRTP通过派生类作为模板参数继承基类实现静态多态，避免虚函数开销。1. 基类用template<typename Derived>定义，派生类继承Base<Derived>；2. 成员函数通过static_cast<Derived*>调用具体实现，编译期解析；3. 用于替代虚函数、实现混入功能（如计数、日志）、生成比较操作符等；4. 优势为零运行时开销、支持泛型、利于内联；5. 缺点包括无法动态切换行为、模板膨胀和复杂错误信息。适合性能敏感与库设计场景。

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 func() {<br>        interface();<br>    }<br>};<br><br>class Derived : public Base<Derived> {<br>public:<br>    void implementation() {<br>        // 具体实现<br>    }<br>};

登录后复制

这里，Base 是一个类模板，接受一个类型参数 Derived，而 Derived 类继承自 Base<Derived>。这种“派生类作为模板参数传给基类”的结构就是CRTP的标志性写法。

由于调用是通过 static_cast 在编译期解析的，所以没有虚函数表的开销，属于静态多态，效率更高。

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

CRTP的典型应用场景

CRTP在实际开发中有多个高级用途，常见于库设计和性能敏感场景。

1. 静态多态替代虚函数

火山写作

字节跳动推出的中英文AI写作、语法纠错、智能润色工具，是一款集成创作、润色、纠错、改写、翻译等能力的中英文 AI 写作助手。

167

查看详情

当需要多态行为但希望避免虚函数带来的运行时开销时，CRTP是一个理想选择。
适用于接口固定、行为在编译期已知的场景。

2. 实现混入（Mixin）功能

通过CRTP可以将通用功能注入到多个类中，比如日志、计数、序列化等。
例如，实现一个自动计数对象构造和析构的 Mixin：

template<typename T><br>class Counter {<br>private:<br>    inline static int count = 0;<br>public:<br>    Counter() { ++count; }<br>    ~Counter() { --count; }<br>    static int get_count() { return count; }<br>};<br><br>class MyClass : public Counter<MyClass> { };<br>// 每次创建MyClass实例，计数自动增加

登录后复制

3. 接口统一与代码生成

CRTP可用于自动生成重复代码，如比较操作符、打印函数等。
例如，实现“小于”即可推导出其他关系操作符：

template<typename T><br>class Comparable {<br>public:<br>    bool operator>=(const T& other) const {<br>        return !static_cast<const T*>(this)->operator<(other);<br>    }<br>    bool operator>(const T& other) const {<br>        return other < *static_cast<const T*>(this);<br>    }<br>    // 可继续扩展 ==, != 等<br>};<br><br>class Value : public Comparable<Value> {<br>    int data;<br>public:<br>    bool operator<(const Value& other) const {<br>        return data < other.data;<br>    }<br>};

登录后复制