CRTP模式进阶：实现编译期多态的三种姿势

小强君_9091

发布时间：2025-06-27 08:07:05

260人浏览过

来源于php中文网

原创

crtp模式通过模板将派生类作为基类的模板参数，在编译期实现多态，从而避免虚函数调用开销。1. 静态接口：基类定义接口并通过static_cast调用派生类实现，如shape类计算面积；2. 策略模式：结合策略类在编译期选择不同行为，如sortable类使用不同排序策略；3. 混合继承：通过多基类继承实现功能组合，如loggable类提供日志功能。该模式适用于需高性能、避免虚函数开销及编译期确定行为的场景，但不支持运行时多态且增加代码复杂性。

CRTP模式进阶：实现编译期多态的三种姿势

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函数来计算不同形状的面积，而不需要使用虚函数。

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

姿势二：策略模式（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函数，用于返回类的名称。