C++ CRTP（Curiously Recurring Template Pattern）模式的起源

最新推荐文章于 2025-05-19 12:41:13 发布

泡沫o0

最新推荐文章于 2025-05-19 12:41:13 发布

阅读量1.5k

点赞数 36

分类专栏： C/C++ 编程世界: 探索C/C++的奥妙文章标签： c++ 开发语言 qt 嵌入式 ui c++11 c++20

本文链接：https://blog.csdn.net/qq_21438461/article/details/146403797

版权

C/C++ 编程世界: 探索C/C++的奥妙专栏收录该内容

652 篇文章

订阅专栏

目录标题

引言
结语

引言

Curiously Recurring Template Pattern (CRTP)，即奇异递归模板模式，是C++中一种重要的编程技术，广泛用于实现静态多态（compile-time polymorphism）。本文将详细探讨CRTP的起源及其“奇异递归”的具体含义，旨在为读者提供全面的理解。

CRTP的起源与历史背景

研究表明，CRTP的正式命名和识别可以追溯到1995年。这一模式由James Coplien首次提出，他在观察早期C++模板代码时发现了这种结构，并将其命名为“Curiously Recurring Template Pattern”。Coplien的发现不仅基于C++，还受到Timothy Budd的多范式语言Leda的启发，其中类似的自引用继承模式已被使用。

此外，1995年，Jan Falkin在Microsoft的Active Template Library (ATL)中独立发现了CRTP。他在开发过程中偶然将基类派生自派生类，从而实现了类似的效果。这一独立发现进一步验证了CRTP在实际项目中的实用性。

CRTP的命名和推广得益于Coplien的文章《Curiously Recurring Template Patterns》，该文章详细描述了这种模式的特性及其在C++中的应用。自1995年以来，CRTP被广泛应用于各种库开发，例如Boost库（包括Boost.Iterator、Boost.Python和Boost.Serialization）以及Windows的ATL和WTL库。

“奇异递归”的具体含义

CRTP之所以被称为“奇异递归”，源于其独特的自引用结构。以下是其核心定义和特点：

模式的定义：

CRTP涉及一个类X从一个模板类Y派生，而Y的模板参数是X本身。例如：

template <typename T>
class Base {
public:
    void interface() {
        static_cast<T*>(this)->implementation();
    }
};

class Derived : public Base<Derived> {
public:
    void implementation() {
        // 具体实现
    }
};

在上述例子中，Derived类从Base<Derived>派生，即基类模板Base的模板参数是Derived自身。这种结构在传统面向对象继承中是不常见的。

“奇异”的来源：
- “Curiously”意为“奇异的”，因为这种自引用继承在C++社区中被认为是一种反直觉的设计。传统继承通常是基类固定，派生类扩展，但CRTP中基类本身是一个模板，而派生类通过将自身作为参数传递给基类，形成了循环引用。
- 这种设计允许基类在编译时访问派生类的成员（通过static_cast），从而实现静态多态，而无需运行时的虚函数表（vtable）。
“递归”的含义：
- “Recurring”意为“递归的”，体现在派生类X在其继承层次中“循环”地引用了自身。例如，X派生自Y，这种自引用在编译时被解析，但从逻辑上看，类层次结构中包含了自身的影子。
- 这种递归结构使得CRTP能够利用模板元编程（metaprogramming）在编译时确定类型和行为，避免了运行时开销。

CRTP的特点与应用

CRTP的主要优势在于其静态多态特性。以下是其关键特点：

性能优势：
- 与传统虚函数（动态多态）相比，CRTP通过编译时多态避免了vtable的查询和运行时类型检查的开销。这在性能敏感的场景中尤为重要，例如嵌入式系统或高频调用的函数。
- 例如，GeeksforGeeks提到，虚拟函数的每次调用都需要通过VTable查找地址，而CRTP完全避免了这种开销。
应用场景：
- CRTP被广泛用于库开发，例如Windows的ATL和WTL库，以及Boost库的多个组件。
- 它还被C++标准库用于实现std::enable_shared_from_this，允许类在共享指针上下文中安全地获取自身的共享指针。
- Fluent C++指出，CRTP在代码中表达了静态多态的潜力，特别是在需要避免虚函数开销的场景中。
与虚函数的对比：
- CRTP通常不使用虚函数，因为其目标是编译时多态。然而，在某些特殊情况下（如需要动态多态或运行时类型检查），可能结合使用虚函数。
- 例如，Reddit的讨论提到，在CRTP基类中使用虚函数可能导致复杂性增加，且可能削弱性能优势。

以下表格总结了CRTP与传统虚函数继承的差异：

特性	CRTP	传统虚函数继承
多态类型	静态多态（编译时）	动态多态（运行时）
性能	高效，无运行时开销	有vtable开销，稍慢
灵活性	编译时确定，灵活性较低	运行时分派，灵活性较高
使用场景	性能敏感，库开发（如ATL/WTL）	需要运行时多态，复杂继承层次
虚函数需求	通常不需要	必须使用虚函数

争议与社区看法

尽管CRTP在C++社区中被广泛接受，但其结合虚函数的使用存在一定争议。例如，C++ Forum的讨论指出，CRTP适合单层次抽象，而多层次继承可能更适合传统虚函数继承。此外，Foonathan.net提到，在某些接口实现中，非成员函数无法设为虚函数，这限制了CRTP与虚函数的结合。

结论

证据倾向于认为，CRTP起源于1995年，由James Coplien命名，其“奇异递归”指的是类从使用自身作为模板参数的模板类派生，这种自引用结构在C++中不寻常。CRTP通过编译时多态实现高效的静态多态，广泛应用于库开发和性能敏感的场景。尽管在某些情况下可能结合虚函数，但这不是标准做法，可能影响性能。

关键引用

结语

在我们的编程学习之旅中，理解是我们迈向更高层次的重要一步。然而，掌握新技能、新理念，始终需要时间和坚持。从心理学的角度看，学习往往伴随着不断的试错和调整，这就像是我们的大脑在逐渐优化其解决问题的“算法”。

这就是为什么当我们遇到错误，我们应该将其视为学习和进步的机会，而不仅仅是困扰。通过理解和解决这些问题，我们不仅可以修复当前的代码，更可以提升我们的编程能力，防止在未来的项目中犯相同的错误。

我鼓励大家积极参与进来，不断提升自己的编程技术。无论你是初学者还是有经验的开发者，我希望我的博客能对你的学习之路有所帮助。如果你觉得这篇文章有用，不妨点击收藏，或者留下你的评论分享你的见解和经验，也欢迎你对我博客的内容提出建议和问题。每一次的点赞、评论、分享和关注都是对我的最大支持，也是对我持续分享和创作的动力。