Curiously Recurring Template Pattern（CRTP）是一种利用模板实现多态性、代码复用和静态多态的设计模式。它通过在派生类中使用自身类型作为基类模板的参数，从而让编译器在编译阶段就能完成类型绑定，避免了运行时的虚函数开销。CRTP 在 C++ 标准库中被广泛使用，例如 std::vector 的 allocator_traits，以及第三方库中的 boost::static_assert 等。本文将从基本原理、典型应用、性能优势以及使用注意事项四个方面，对 CRTP 进行系统阐述。
1. CRTP 的基本原理
典型的 CRTP 代码如下：
template <typename Derived>
class Base {
public:
void interface() {
// 在基类中调用派生类实现
static_cast<Derived*>(this)->implementation();
}
};
class Derived : public Base <Derived> {
public:
void implementation() {
std::cout << "Derived implementation\n";
}
};这里，Base 是一个模板基类，接受派生类 Derived 作为参数。在 Base 的成员函数 interface 中，使用 static_cast<Derived*>(this) 将基类指针转换为派生类指针，从而调用派生类中重写的 implementation。
这种模式的核心是 递归：派生类 Derived 在继承基类时，将自身类型作为模板参数传递给基类。编译器在生成 Derived 的代码时，已知 Derived 的完整定义，因而可以把 interface 中的 static_cast<Derived*>(this) 解析为真正的派生类对象，进而调用派生类的实现。
2. 典型应用场景
2.1 代码复用
CRTP 可以用来实现类似于多重继承的代码复用，而不需要使用虚函数。比如，实现一个计数器工具类：
template <typename Derived>
class Counter {
public:
int get() const { return static_cast<const Derived*>(this)->value_; }
void inc() { static_cast<Derived*>(this)->value_++; }
};
class MyClass : public Counter <MyClass> {
public:
int value_{0};
};2.2 静态多态
在某些算法或容器需要根据不同策略做不同实现时，CRTP 可以在编译时决定行为。例如：
template <typename Derived, typename T>
class Sorter {
public:
void sort(std::vector <T>& data) {
static_cast<Derived*>(this)->sort_impl(data);
}
};
class QuickSort : public Sorter<QuickSort, int> {
public:
void sort_impl(std::vector <int>& data) { /* 快速排序实现 */ }
};
class MergeSort : public Sorter<MergeSort, int> {
public:
void sort_impl(std::vector <int>& data) { /* 归并排序实现 */ }
};2.3 友元访问与编译时断言
CRTP 还常被用来实现友元访问的技巧：基类可以访问派生类的私有成员。
template <typename Derived>
class FriendAccess {
friend class Derived;
private:
int secret_{42};
};
class MyClass : public FriendAccess <MyClass> {
public:
void reveal() { std::cout << secret_; } // 可以访问 secret_
};3. 性能与优缺点
3.1 性能优势
- 消除虚函数开销：CRTP 通过模板展开在编译阶段完成多态，调用时不需要虚表查找，提升了函数调用效率。
- 编译期优化：编译器可以根据具体的派生类实现进行内联、常量折叠等优化，进一步提升性能。
3.2 潜在缺点
- 编译时间增加：大量模板实例化会导致编译时间显著增长。
- 错误信息难懂：模板错误往往伴随冗长且难以理解的编译错误信息。
- 代码可读性：对不熟悉 CRTP 的开发者，代码结构可能显得晦涩。
4. 实际使用注意事项
- 避免循环依赖：派生类在使用 CRTP 时，必须在派生类定义完成后才可以使用
static_cast。 - 使用
using继承成员：若基类模板中有成员函数模板，需要使用 `using Base ::member;` 显式继承，以免因 ADL 而导致隐式查找失败。 - 保持派生类的完整性：如果派生类在基类定义之前出现，编译器无法正确解析，导致错误。
- 慎用递归：CRTP 适用于多态、代码复用，但不适用于需要真正运行时多态的场景（例如接口定义、回调）。
5. 结语
CRTP 是 C++ 中一种强大且优雅的技术，既能实现编译时多态，又能保持代码的可维护性和可读性。掌握 CRTP 后，你可以在不牺牲性能的前提下，编写出高度可复用、可组合的模板库。下一个练习，可以尝试使用 CRTP 实现一个轻量级的 Optional 类，或者用它来实现多策略的设计模式。祝你编码愉快！