CRTP通过派生类继承自身作为模板参数的基类实现编译期多态，例如Derived : Base，使Base中调用Derived::implementation()无虚函数开销；它用于表达式模板、静态接口检查和Mixin设计，如InstanceCounter独立计数；但存在无法动态切换、模板膨胀和调试困难等局限，适用于高性能泛型编程场景。
CRTP（Curiously Recurring Template Pattern），中文常译为“奇异递归模板模式”，是 C++ 中一种利用模板和继承实现编译期多态的经典技巧。它通过让基类以派生类作为模板参数来继承自身，从而在不使用虚函数的情况下实现静态分发，提升性能并支持泛型设计。
什么是 CRTP
CRTP 的基本结构是：一个类模板作为基类，其模板参数是派生类本身。这种“递归”看似奇怪，实则巧妙。例如：
template
struct Base {
void interface() {
static_cast(this)->implementation();
}
};
struct Derived : Base {
void implementation() {
// 具体实现
}
};
这里 Base 是一个模板基类，Derived 继承自 Base。由于模板在编译期实例化，调用 interface() 时会静态绑定到 Derived::implementation()，没有运行时开销。
编译期多态：替代虚函数的高效方式
传统的多态依赖虚函数表，带来运行时开销。CRTP 在编译期就确定调用目标，避免了虚函数的间接跳转。
立即学习“C++免费学习笔记（深入）”；
常见应用场景包括：
表达式模板：如 Eigen、Blaze 等数学库中用于优化向量运算，避免临时对象生成。 静态接口检查：基类可验证派生类是否实现了所需方法（通过 SFINAE 或 concepts）。 混合类（Mix-in）设计：提供通用功能（如计数、序列化）而不影响运行时性能。
模板继承中的代码复用与约束
CRTP 允许基类访问派生类的成员，实现高度通用的逻辑封装。比如实现一个自动计数对象创建的 Mixin：
template
class InstanceCounter {
private:
inline static int count = 0;
public:
InstanceCounter() { ++count; }
~InstanceCounter() { --count; }
static int get_count() { return count; }
};
class MyType : public InstanceCounter { };
// 每个 MyType 实例增减计数，独立于其他类型
这种设计既复用了逻辑，又保证类型间隔离，且无虚函数成本。
注意事项与局限性
CRTP 虽强大，但也有使用限制：
不能动态切换行为：所有绑定在编译期完成，无法像虚函数那样通过基类指针调用不同子类的同名函数。 模板膨胀：每个派生类都会实例化一份基类代码，可能增加二进制体积。 调试困难：错误信息可能冗长，尤其涉及复杂模板推导时。 必须正确继承：若派生类未正确继承模板实例（如写错类型），会导致静态断言或未定义行为。
基本上就这些。CRTP 是 C++ 模板元编程中非常实用的技巧，适合对性能敏感、需要静态多态的场景。掌握它有助于理解现代 C++ 库的设计思想，比如 STL 和各种高性能框架中的零成本抽象实现。不复杂但容易忽略的是，它的“递归”本质其实是编译期类型代入，而非真正运行时递归。
以上就是C++的CRTP(奇异递归模板模式)是什么_C++模板继承与编译期多态技巧的详细内容，更多请关注创想鸟其它相关文章！
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。
如发现本站有涉嫌抄袭侵权/违法违规的内容， 请发送邮件至 chuangxiangniao@163.com 举报，一经查实，本站将立刻删除。
发布者：程序猿，转转请注明出处：https://www.chuangxiangniao.com/p/1480854.html
微信扫一扫 
支付宝扫一扫 
