CRTP基模板类中'this'关键字的工作原理解析

首先得明确：你当前代码里的操作是未定义行为，只是碰巧看起来能运行，这不是CRTP的正确用法。下面一步步拆解问题：

1. 你代码里的核心错误 #

你在main中创建的是Base<Derived>类型的对象，而不是Derived对象：

Base<Derived>* pObjBase = new Base<Derived>(); // 这里创建的是Base<Derived>实例，不是Derived

此时this指向的就是一个纯Base<Derived>对象，根本不是Derived的实例。你用static_cast<T*>(this)把Base<Derived>*强转成Derived*，这属于非法的向下转换（因为Base<Derived>是Derived的基类，但当前对象并不是Derived），这种转换的结果是未定义的——你能调用derivedMethod只是因为这个函数没有访问任何成员变量，编译器直接解析了函数地址，没触发内存错误而已，换个带成员变量的Derived，程序大概率崩溃。

2. CRTP的正确打开方式 #

CRTP的正确用法是创建Derived对象，用基类指针指向它：

Base<Derived>* pObjBase = new Derived(); // 这才是CRTP的正常场景

此时pObjBase指向的是Derived对象的Base<Derived>子对象，this自然是Derived实例的一部分，这时候static_cast<T*>(this)是安全的编译期转换——因为编译器明确知道Derived继承自Base<Derived>，可以安全地把基类指针转换为派生类指针。

3. 模板实例化的底层逻辑 #

当你定义class Derived : public Base<Derived>时，编译器会实例化Base<Derived>这个模板特化类：

• 模板参数T被替换为Derived，所以Base<Derived>的callDerived方法会被展开成：

  void callDerived() {
      Derived& refDerived = static_cast<Derived&>(*this);
      refDerived.derivedMethod();
      Derived* pDerived = static_cast<Derived*>(this);
      pDerived->derivedMethod();
  }
  

• 在正确使用（指向Derived对象）时，*this是Derived对象的Base<Derived>基类部分，static_cast利用继承关系，在编译期就完成指针/引用的转换，不需要运行时检查（这也是CRTP比虚函数高效的原因之一）。

4. 为什么dynamic_cast会报错 #

你的dynamic_cast语法本身就错了，正确写法应该是：

T& obj3 = dynamic_cast<T&>(*this); // 引用版，失败会抛异常
T* obj4 = dynamic_cast<T*>(this); // 指针版，失败返回nullptr

但即使语法正确，在你当前的代码场景（创建Base<Derived>对象）下，dynamic_cast会通过RTTI检查运行时类型，发现*this的实际类型是Base<Derived>，不是Derived，所以转换失败——引用版会抛出std::bad_cast异常，指针版返回nullptr，这也侧面证明了你的对象根本不是Derived类型。

5. CRTP不是“双向继承” #

CRTP不存在双向继承：

• Derived确实继承了Base<Derived>这个特化类；
• Base<Derived>并没有继承Derived，它只是把Derived作为模板参数，在代码中通过static_cast来访问Derived的成员——这是基于“用户会正确地用Derived对象来调用这些方法”的约定，编译器不会在编译期强制检查这一点，所以需要开发者自己保证使用的正确性。

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