c++中的CRTP是什么模式_c++奇特递归模板模式应用【模板元编程】-C++-PHP中文网

c++中的CRTP是什么模式_c++奇特递归模板模式应用【模板元编程】

php中文网

发布： 2025-12-07 21:17:31

原创

889人浏览过

CRTP是C++中利用模板实现静态多态的惯用法，核心为派生类继承以自身为模板参数的基类，从而在编译期绑定函数调用、避免虚函数开销，并支持接口契约、功能注入与混入复用，但不支持动态多态且错误信息较复杂。

c++中的crtp是什么模式_c++奇特递归模板模式应用【模板元编程】

CRTP（Curiously Recurring Template Pattern），中文常译作“奇特递归模板模式”，是 C++ 中一种借助模板实现静态多态的经典技巧。它不是语言标准定义的设计模式，而是一种惯用法（idiom），核心思想是：派生类继承自一个以自身为模板参数的基类。

基本写法：让基类“知道”派生类类型

典型结构如下：

<font size="2">template <typename Derived>
struct Base {
    void interface() {
        static_cast<Derived*>(this)->implementation(); // 静态调用派生类函数
    }
};
<p>struct MyDerived : Base<MyDerived> {
void implementation() { /<em> 具体逻辑 </em>/ }
};</font>

登录后复制

关键点：

Base 是模板类，参数 Derived 就是子类自身（如 MyDerived）
子类通过 Base<myderived></myderived> 显式继承，构成“递归”外观（类名出现在自己的继承列表中）
基类内部可用 static_cast<derived>(this)</derived> 安全转换，直接调用子类的函数 —— 编译期绑定，无虚函数开销

常见应用场景：替代虚函数、注入通用能力

CRTP 主要用于需要“编译期多态”或“零成本抽象”的场合：

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

Animate AI

Animate AI是个一站式AI动画故事视频生成工具

234

查看详情

避免虚函数表开销：适合高频调用、性能敏感的接口（如数学向量库、小型容器）
实现静态接口契约：基类可强制要求派生类提供特定成员（如 size()、data()），否则编译失败
自动注入功能：比如给所有派生类添加统一的日志、计数、序列化支持，无需重复写代码
实现“混入（mixin）”风格复用：例如 EnableSharedFromThis 的简化版、可比较性增强（operator== 自动生成）

一个实用例子：自动实现 == 和 !=

利用 CRTP 让派生类只需定义 equal_to，就能获得完整的比较操作符：

<font size="2">template <typename Derived>
struct EqualityComparable {
    friend bool operator==(const Derived& a, const Derived& b) {
        return static_cast<const Derived&>(a).equal_to(b);
    }
    friend bool operator!=(const Derived& a, const Derived& b) {
        return !(a == b);
    }
};
<p>struct Point : EqualityComparable<Point> {
int x, y;
bool equal_to(const Point& other) const { return x == other.x && y == other.y; }
};</font>

登录后复制

这样 Point{1,2} == Point{1,2} 就能直接工作，且没有运行时开销。