CRTP静态多态

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

 

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

 

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

​​​​​​​

#include <iostream>template <typename Derived>class Base {public:void foo_function() {static_cast<Derived*>(this)->foo();}};class Derived1 : public Base<Derived1> {public:void foo() {std::cout << "Derived1::foo()" << std::endl;}};class Derived2 : public Base<Derived2> {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<Derived1>和Base<Derived2>。在这两个派生类中，分别实现了foo()函数，输出不同的信息。最后，在main()函数中，创建了Derived1和Derived2的实例，并调用它们的foo()函数。

 

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

 

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