C++中CRTP模式未生效的原因及代码修复方案

错误原因 #

你的代码存在两个核心问题：

1. 错误实例化基类对象：你在main中创建的是BaseOrder<DerivedOrder1>和BaseOrder<DerivedOrder2>类型的对象，而非真正的派生类DerivedOrder1、DerivedOrder2对象。CRTP的核心逻辑是让派生类继承以自身为模板参数的基类，通过基类方法调用派生类实现，但直接实例化基类时，static_cast<Type*>(this)属于非法向下转型，实际调用的还是基类的send方法。
2. 传值调用引发对象切片（潜在风险）：handleOrder采用传值方式接收参数，即便传入派生类对象，也会被“切片”为基类对象，丢失派生类的专属逻辑。

修复后的代码 #

#include <iostream>
using namespace std;

template<class Type>
class BaseOrder {
public:
    void sendOrder() {
        // 通过CRTP机制调用派生类的send实现
        static_cast<Type*>(this)->send();
    }
    void send() { cout << "Send Base" << endl;}
};

class DerivedOrder1 : public BaseOrder<DerivedOrder1> {
public:
    void send() { cout << "Send DerivedOrder1" << endl;}
};

class DerivedOrder2 : public BaseOrder<DerivedOrder2> {
public:
    void send() { cout << "Send DerivedOrder2" << endl;}
};

// 传引用避免对象切片
template<class T>
void handleOrder(BaseOrder<T>& order) {
    // 调用基类的sendOrder触发CRTP逻辑
    order.sendOrder();
}

int main() {
    // 创建真正的派生类对象
    DerivedOrder1 obj1;
    handleOrder(obj1); // 输出 Send DerivedOrder1

    DerivedOrder2 obj2;
    handleOrder(obj2); // 输出 Send DerivedOrder2
}

关键修复点说明 #

• 实例化派生类对象：main中创建DerivedOrder1和DerivedOrder2实例，确保基类中的static_cast<Type*>(this)能正确指向派生类对象，调用派生类的send方法。
• 使用引用传递参数：handleOrder改为接收BaseOrder<T>&引用，避免对象切片，完整保留派生类的信息。
• 调用sendOrder而非直接send：CRTP依赖基类方法间接触发派生类逻辑，直接调用send时，由于非虚函数的编译期绑定特性，即使是引用指向派生类，也会调用基类的send方法。

内容的提问来源于stack exchange，提问作者mascai