C++中的CRTP是什么_C++奇特的递归模板模式实现静态多态_技术教程

CRTP通过派生类继承自身作为模板参数的基类实现静态多态，典型结构为template class Base与class Derived : public Base，基类用static_cast调用派生类方法，如Shape基类调用Circle或Rectangle的computeArea()，在编译期完成函数绑定，避免虚函数开销，提升性能并支持内联优化，常用于高性能库设计如Eigen、Mixin模式、静态接口检查等场景，但不支持运行时多态、可能导致模板膨胀且调试困难，适用于接口稳定、性能敏感的代码。

CRTP（Curiously Recurring Template Pattern），中文常译为“奇异递归模板模式”，是C++中一种利用模板实现静态多态的经典技术。它通过让基类以派生类作为模板参数来继承自身，从而在编译期就能确定调用的具体函数，避免了虚函数表带来的运行时开销。

什么是CRTP

CRTP的基本结构是一个类模板作为基类，接收一个派生类作为模板参数。这种“派生类继承自己作为模板参数的基类”的写法看似奇怪，实则非常有效。

典型形式如下：

template 
class Base {
public:
    void interface() {
        static_cast(this)->implementation();
    }
};

class Derived : public Base {
public:
    void implementation() {
        // 具体实现
    }
};

这里，Base 是一个类模板，Derived 继承自 Base，形成递归结构。由于类型在编译期已知，调用 implementation() 不需要虚函数机制，属于静态分发。

CRTP如何实现静态多态

传统多态依赖虚函数和vtable，在运行时决定调用哪个函数。而CRTP在编译期就完成函数绑定，提升性能。

核心机制在于：

基类通过 static_cast(this) 访问派生类的成员
所有函数调用在编译期展开，无运行时开销
派生类方法可被内联优化，效率更高

例如，定义多个行为不同的类：

template 
class Shape {
public:
    double area() const {
        return static_cast(this)->computeArea();
    }
};

class Circle : public Shape {
private:
    double r;
public:
    Circle(double radius) : r(radius) {}
    double computeArea() const { return 3.14159 * r * r; }
};

class Rectangle : public Shape {
private:
    double w, h;
public:
    Rectangle(double width, double height) : w(width), h(height) {}
    double computeArea() const { return w * h; }
};