CRTP介绍、使用和原理

CRTP（Curiously Recurring Template Pattern）是一种使用C++模板元编程技术的设计模式，用于实现静态多态性。它是通过在派生类中继承基类，并将派生类自身作为基类的模板参数来实现的。具体而言，CRTP允许派生类在编译时通过继承和重载来覆盖基类的行为，而不需要运行时的虚函数调用。

使用CRTP模式时，基类将自身定义为一个模板类，其中派生类作为模板参数。然后，派生类通过继承基类，并使用自身作为模板参数，从而获得基类的接口和行为。通过在派生类中重新定义基类中的函数，派生类可以实现对基类的定制化行为。

CRTP模式的优点包括：

1. 高效性：CRTP避免了运行时的虚函数调用开销，因为它在编译时解析函数调用，而不是在运行时进行动态分派。

2. 静态多态性：CRTP模式提供了静态多态性，使得在编译时就能够确定函数的具体实现，而不需要在运行时通过指针或引用进行动态派发。

3. 编译时优化：由于CRTP模式在编译时进行函数解析，编译器可以进行更好的优化，包括内联函数和其他优化技术，从而提高性能。

CRTP模式的缺点包括：

1. 可读性较差：CRTP模式使用了模板元编程技术，需要在设计和使用时理解和处理模板参数、派生类和基类之间的关系，使得代码可读性较差。

2. 约束较大：使用CRTP模式需要遵循一定的模式和规范，包括正确地定义基类和派生类之间的关系，并使用正确的模板参数，这可能增加了代码的复杂性和维护成本。

3. 编译时间增加：CRTP模式使用了模板元编程技术，这可能导致编译时间的增加，特别是在使用大型和复杂的CRTP层次结构时。

总的来说，CRTP模式在需要高效性和静态多态性的情况下是一种有用的设计模式，但需要权衡其带来的可读性和维护成本。

//
// Created by lxz on 2023/5/12.
//
#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;
}