CRTP通过派生类继承自身作为模板参数的基类实现静态多态，编译期绑定函数调用，避免虚函数开销，适用于性能敏感场景、接口约束、混入扩展等功能复用。
CRTP（Curiously Recurring Template Pattern），中文常称为“奇特递归模板模式”，是C++中一种利用模板和继承实现静态多态的经典技术。它通过让基类以派生类作为模板参数来继承自身，从而在编译期就能确定调用的具体函数，避免了运行时虚函数的开销。
CRTP的基本形式
CRTP的典型结构如下：
template
class Base {
public:
void interface() {
static_cast(this)->implementation();
}
void foo() {
interface(); // 调用派生类实现
}
};
class Derived : public Base {
public:
void implementation() {
// 具体实现
}
};
int main() {
Derived d;
d.foo(); // 调用 Base::foo → Base::interface → Derived::implementation
}
在这个例子中，Base 是一个类模板，接受一个类型参数 Derived，而 Derived 又继承自 Base。这种“递归”式的继承就是CRTP名称的由来。
CRTP的原理：静态多态
传统多态依赖虚函数表，在运行时决定调用哪个函数。而CRTP在编译期就完成了函数绑定，属于静态多态。
立即学习“C++免费学习笔记（深入）”；
关键点在于：
基类通过 static_cast(this) 将当前对象转为派生类指针调用派生类的方法，这个方法在编译时已知无需虚函数，没有vtable开销，性能更高适用于模板库、工具类、接口封装等场景
CRTP的常见应用场景
CRTP在实际开发中有多个典型用途：
1. 实现静态接口约束
确保派生类实现了某些方法。如果没实现，编译时报错（因为 static_cast 后找不到 implementation）。
2. 混入（Mixin）功能扩展
多个功能可以通过CRTP组合进派生类：
template class Comparable {
public:
bool operator!=(const T& other) {
return !static_cast(*this).equals(other);
}
};
class MyType : public Comparable {
public:
bool equals(const MyType& other) { /* ... */ }
};
MyType a, b;
bool result = (a != b); // 自动获得 != 操作符
3. 性能敏感的多态设计
在数学库、表达式模板、序列容器等对性能要求高的场景，CRTP替代虚函数，消除运行时开销。
4. 计数器或日志混入
可以为所有派生类自动添加计数、日志等功能：
template
class Counter {
private:
static int count;
public:
Counter() { ++count; }
~Counter() { --count; }
static int get_count() { return count; }
};
template int Counter::count = 0;
class Widget : public Counter { };
Widget w1, w2;
// get_count() 返回 2
CRTP与虚函数的对比
CRTP不是要完全取代虚函数，而是提供另一种选择：
虚函数：运行时多态，灵活，支持动态绑定，但有性能开销CRTP：编译期多态，零成本抽象，但必须在编译时知道类型CRTP不支持通过基类指针操作不同派生类的集合（如 vector）
基本上就这些。CRTP是一种巧妙利用C++模板机制的技术，适合在需要高性能、类型安全和代码复用的场合使用。虽然初看有点“奇怪”，但理解其动机和结构后，会发现它非常实用。
以上就是c++++中的CRTP（奇特递归模板模式）是什么_c++中CRTP(奇特递归模板模式)原理与应用的详细内容，更多请关注创想鸟其它相关文章！
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。
如发现本站有涉嫌抄袭侵权/违法违规的内容， 请发送邮件至 chuangxiangniao@163.com 举报，一经查实，本站将立刻删除。
发布者：程序猿，转转请注明出处：https://www.chuangxiangniao.com/p/1484214.html
微信扫一扫 
支付宝扫一扫 
