c++中的CRTP（奇特递归模板模式）是什么_c++中CRTP(奇特递归模板模式)原理与应用_技术教程

CRTP通过派生类继承自身作为模板参数的基类实现静态多态，编译期绑定函数调用，避免虚函数开销，适用于性能敏感场景、接口约束、混入扩展等功能复用。

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

CRTP的基本形式

CRTP的典型结构如下：

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

    void foo() {
        interface();  // 调用派生类实现
    }
};

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

int main() {
    Derived d;
    d.foo();  // 调用 Base::foo → Base::interface → Derived::implementation
}

在这个例子中，Base 是一个类模板，接受一个类型参数 Derived，而 Derived 又继承自 Base。这种“递归”式的继承就是CRTP名称的由来。

CRTP的原理：静态多态

传统多态依赖虚函数表，在运行时决定调用哪个函数。而CRTP在编译期就完成了函数绑定，属于静态多态。

关键点在于：

基类通过 static_cast(this) 将当前对象转为派生类指针
调用派生类的方法，这个方法在编译时已知
无需虚函数，没有vtable开销，性能更高
适用于模板库、工具类、接口封装等场景

CRTP的常见应用场景

CRTP在实际开发中有多个典型用途：

1. 实现静态接口约束

确保派生类实现了某些方法。如果没实现，编译时报错（因为 static_cast 后找不到 implementation）。

2. 混入（Mixin）功能扩展

多个功能可以通过CRTP组合进派生类：

template  class Comparable {
public:
    bool operator!=(const T& other) {
        return !static_cast(*this).equals(other);
    }
};

class MyType : public Comparable {
public:
    bool equals(const MyType& other) { /* ... */ }
};

MyType a, b;
bool result = (a != b); // 自动获得 != 操作符

3. 性能敏感的多态设计

在数学库、表达式模板、序列容器等对性能要求高的场景，CRTP替代虚函数，消除运行时开销。

4. 计数器或日志混入

可以为所有派生类自动添加计数、日志等功能：

template 
class Counter {
private:
    static int count;
public:
    Counter() { ++count; }
    ~Counter() { --count; }
    static int get_count() { return count; }
};
template int Counter::count = 0;

class Widget : public Counter { };

Widget w1, w2;
// get_count() 返回 2