crtp模式通过模板将派生类作为基类的模板参数，在编译期实现多态，从而避免虚函数调用开销。1. 静态接口：基类定义接口并通过static_cast调用派生类实现，如shape类计算面积；2. 策略模式：结合策略类在编译期选择不同行为，如sortable类使用不同排序策略；3. 混合继承：通过多基类继承实现功能组合，如loggable类提供日志功能。该模式适用于需高性能、避免虚函数开销及编译期确定行为的场景，但不支持运行时多态且增加代码复杂性。
CRTP模式的核心在于利用模板的特性，将派生类作为基类的模板参数，从而在编译期实现多态。这听起来有点绕，但它能带来极高的性能和灵活性，尤其是在需要避免虚函数开销的场景下。
CRTP模式提供了在编译时实现多态的强大能力，它允许在编译时确定对象的行为，从而避免了运行时的虚函数调用开销。以下介绍三种实现编译期多态的姿势，并深入探讨它们的应用场景和优缺点。
CRTP如何避免虚函数开销？
虚函数是运行时多态的基础，但它也带来了性能开销。CRTP的巧妙之处在于，它通过模板将派生类的信息传递给基类，使得基类可以在编译期确定派生类的具体类型。这样，原本需要通过虚函数调用的操作，就可以直接调用派生类的成员函数，避免了虚函数表的查找和间接调用，从而提高了程序的执行效率。举个例子，假设我们有一个基类Base和一个派生类Derived，使用CRTP后，Base类可以像这样定义：
template <typename Derived>
class Base {
public:
void interface() {
static_cast<Derived*>(this)->implementation();
}
};
class Derived : public Base<Derived> {
public:
void implementation() {
// 具体实现
}
};在这个例子中，Base类的interface函数可以直接调用Derived类的implementation函数，而不需要通过虚函数表。
姿势一：静态接口（Static Interface）
这是最常见的CRTP用法。基类定义一个接口，派生类负责实现。基类通过static_cast将this指针转换为派生类指针，然后调用派生类的成员函数。这种方式简单直接，性能高，但灵活性相对较差。
例如，我们想实现一个可以计算面积的接口，可以这样定义：
template <typename Derived>
class Shape {
public:
double area() {
return static_cast<Derived*>(this)->calculateArea();
}
};
class Circle : public Shape<Circle> {
public:
Circle(double radius) : radius_(radius) {}
double calculateArea() {
return 3.14159 * radius_ * radius_;
}
private:
double radius_;
};
class Rectangle : public Shape<Rectangle> {
public:
Rectangle(double width, double height) : width_(width), height_(height) {}
double calculateArea() {
return width_ * height_;
}
private:
double width_;
double height_;
};使用这种方式，我们可以通过Shape类的area函数来计算不同形状的面积，而不需要使用虚函数。
姿势二：策略模式（Policy-Based Design）
CRTP可以与策略模式结合，将算法或行为封装到独立的策略类中，然后在编译期选择不同的策略。这种方式提高了代码的灵活性和可重用性。例如，我们想要实现一个可以进行不同类型排序的接口，可以这样定义：
template <typename Derived, typename SortingStrategy>
class Sortable {
public:
void sort() {
SortingStrategy::sort(static_cast<Derived*>(this)->data_);
}
protected:
std::vector<int> data_;
};
class BubbleSort {
public:
template <typename T>
static void sort(std::vector<T>& data) {
// 冒泡排序实现
}
};
class QuickSort {
public:
template <typename T>
static void sort(std::vector<T>& data) {
// 快速排序实现
}
};
class MyData : public Sortable<MyData, QuickSort> {
public:
MyData(std::vector<int> data) : data_(data) {}
};在这个例子中，Sortable类使用SortingStrategy来定义排序策略，我们可以通过改变SortingStrategy来选择不同的排序算法。
姿势三：混合继承（Mixins）
CRTP可以用来实现混合继承，允许类从多个基类继承行为。每个基类提供一个特定的功能，派生类可以选择性地继承这些功能。这种方式可以避免多重继承的复杂性，同时提高代码的复用性。例如，我们想要实现一个可以记录日志的类，可以这样定义：
template <typename Derived>
class Loggable {
public:
void log(const std::string& message) {
std::cout << static_cast<Derived*>(this)->getName() << ": " << message << std::endl;
}
};
class MyClass : public Loggable<MyClass> {
public:
std::string getName() {
return "MyClass";
}
};在这个例子中，Loggable类提供了一个log函数，MyClass类继承了Loggable类，并实现了getName函数，用于返回类的名称。
CRTP的局限性与适用场景
尽管CRTP提供了强大的编译期多态能力，但它也有一些局限性。例如，CRTP不支持运行时多态，这意味着我们不能在运行时动态地改变对象的类型。此外，CRTP的使用会增加代码的复杂性，需要仔细设计类的层次结构。
CRTP适用于以下场景：
- 需要避免虚函数开销，对性能要求高的场景。
- 需要在编译期确定对象的行为的场景。
- 需要实现静态多态的场景。
总的来说，CRTP是一种强大的C++技巧，可以提高程序的性能和灵活性。但需要根据具体的应用场景权衡其优缺点，选择合适的实现方式。
