什么是CRTP？

这篇文章主要介绍一种静态多态编程技术Curiously Recurring Template Pattern（CRTP），它通过在派生类中使用基类的模板参数来实现静态多态。CRTP使用一个模板类作为基类，派生类中，使用基类的模板参数作为派生类的类型参数，从而实现了静态多态。

 

在CRTP中，通过将派生类作为模板参数传递给基类，实现了基类对派生类的访问。由于CRTP使用的是静态多态，因此在编译时就能够确定函数调用的具体实现，避免了动态多态带来的运行时开销。

 

下面是一个简单的示例代码：

 

#include 
template <typename Derived>
class Base {
public:
void foo_function() {
static_cast(this)->foo();
}
};
class Derived1 : public Base {
public:
void foo() {
std::cout << "Derived1::foo()" << std::endl;
}
};
class Derived2 : public Base {
public:
void foo() {
std::cout << "Derived2::foo()" << std::endl;
}
};
int main() {
Derived1 d1;
Derived2 d2;
d1.foo_function();   // Derived1::foo()
d2.foo_function();   // Derived2::foo()
return 0;
}

 

 

在这个示例中，定义了一个模板类Base，模板类中包含函数foo_function()，并使用模板参数Derived作为类型参数。在foo_function()函数中，使用static_cast将this指针转换为Derived*类型，然后调用Derived类中的foo()函数。

 

然后，我们定义了两个派生类Derived1和Derived2，它们分别继承自Base和Base。在这两个派生类中，分别实现了foo()函数，输出不同的信息。最后，在main()函数中，创建了Derived1和Derived2的实例，并调用它们的foo()函数。

 

由于使用了CRTP技术，因此在编译时就能够确定foo_function()函数的具体实现，从而避免了动态多态带来的运行时开销。

 

总结，CRTP是一种可以提高程序运行效率和代码重用性的编程技术，但因为是静态多态，支持度有限，且实现也较为复杂。在实际编程中，需要根据具体情况选择是否使用CRTP。

审核编辑 ：李倩