C++的CRTP是什么_C++奇异递归模板模式实现静态多态的方法

新闻中心 NEWS CENTER

您当前位置：首页 > 新闻中心 > 网络学院

C++的CRTP是什么_C++奇异递归模板模式实现静态多态的方法

2025-12-01

浏览次数：次

返回列表

CRTP通过派生类继承自身作为模板参数的基类实现静态多态，编译期绑定函数调用，避免虚函数开销。1. 基类模板接收派生类为参数，派生类继承该特化基类；2. 基类通过static_cast调用派生类实现的方法；3. 实现零成本抽象，提升性能，适用于数值计算等高效场景；4. 广泛用于Eigen、Boost等库，支持编译期接口检查与代码复用；5. 不支持运行时多态，类型需在编译期确定。

c++的crtp是什么_c++奇异递归模板模式实现静态多态的方法

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>private:<br>    void implementation() {<br>        // 具体实现<br>    }<br>    friend class Base<Derived>; // 可选：控制访问权限<br>};<br>

在这个结构中，Base 是一个类模板，接收一个类型 Derived 作为参数。而 Derived 继承自 Base，形成“递归”外观——但这不是真正的递归，而是编译期的类型绑定。

实现静态多态

传统多态依赖虚函数表，在运行时决定调用哪个函数。CRTP则在编译期完成绑定，称为“静态多态”或“早绑定”。

例如，有多个派生类需要共享接口但各自实现不同行为：

GoEnhance

全能AI视频制作平台：通过GoEnhance AI让视频创作变得比以往任何时候都更简单。

347 查看详情 GoEnhance

template <typename Derived><br>class Shape {<br>public:<br>    void draw() {<br>        static_cast<Derived*>(this)->drawImpl();<br>    }<br>};<br><br>class Circle : public Shape<Circle> {<br>    void drawImpl() { cout << "Drawing Circle\n"; }<br>    friend class Shape<Circle>;<br>};<br><br>class Square : public Shape<Square> {<br>    void drawImpl() { cout << "Drawing Square\n"; }<br>    friend class Shape<Square>;<br>};<br>

调用 shape.draw() 时，编译器会根据实际类型展开为对应实现，无需虚函数机制。这提升了性能，尤其适用于对效率敏感的场景，如数值计算、嵌入式系统等。