crtp基本写法要求base模板显式依赖已完整定义的derived类，通过static_cast(this)实现编译期静态多态，禁止前置声明、多级继承或dynamic_cast/const_cast替代。
CRTP 的基本写法：Base 继承链必须严格对齐
CRTP 不是“继承一个模板类”就完事，关键在于 Base 必须显式依赖 Derived 类型，且 Derived 必须完整定义后才实例化 Base<derived></derived>。常见错误是把 Derived 声明写成前置声明（class Derived;），导致 static_cast<derived>(this)</derived> 编译失败——编译器不知道 Derived 有多大、有没有 implementation() 成员。
正确做法：
-
Derived的定义必须在Base<derived></derived>实例化之前完成（即定义在基类模板之后、派生类使用之前） - 基类中所有对派生类成员的调用，都必须通过
static_cast<derived>(this)->xxx()</derived>或static_cast<const derived>(*this).xxx()</const>显式转型 - 不要试图在
Base构造函数里调用派生类虚函数（哪怕你没写virtual）——此时Derived对象尚未构造完成，static_cast后访问未初始化成员会触发未定义行为
为什么不能用 dynamic_cast 或 const_cast 替代 static_cast
dynamic_cast 依赖运行时类型信息（RTTI），而 CRTP 的目标就是零开销、无虚表、不启用 RTTI；用它直接违背设计初衷，且在禁用 RTTI 的嵌入式环境（如 -fno-rtti）下根本无法编译。
const_cast 仅用于 cv 限定符调整，和类型转换无关，强行套用会导致类型不匹配错误，比如 const_cast<derived>(this)</derived> 在 this 是 Base<derived>*</derived> 时完全无效。
真正安全且唯一的转换方式只有 static_cast<derived>(this)</derived> ——它告诉编译器：“我保证这个 this 指针指向的就是 Derived 对象”，编译器据此展开内联、优化调用路径。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
CRTP 和普通模板继承的区别：模板参数必须是最终派生类
容易混淆的是：有人尝试写 class Middle : public Base<middle> {}</middle>，再让 Final : public Middle，以为能复用逻辑。这是错的——Base<middle></middle> 里所有 static_cast 都只认 Middle，对 Final 成员一无所知，调用会失败或静默崩溃。
CRTP 要求“最末一级派生类”直接继承 Base<final></final>。如果真需要中间层复用，得用组合或策略模板，而不是靠多级继承塞进同一个 CRTP 链。
典型反例场景：
- 写了一个通用日志基类
LoggerBase<t></t>，本意是让每个具体 logger（FileLogger、UartLogger）各自继承LoggerBase<filelogger></filelogger>等 - 结果误写成
class UartLogger : public LoggerBase<loggerbase>></loggerbase>——模板参数嵌套错层，编译器无法推导UartLogger的接口
调试 CRTP 时最常卡住的三个点
CRTP 错误信息通常又长又绕，根本原因往往藏在表层报错之下：
-
error: 'xxx' is not a member of 'Derived'：不是Derived真没这个函数，而是Derived定义位置不对，或拼写与Base中static_cast调用不一致（比如大小写、const 修饰、参数类型差一个const &） - 链接时报
undefined reference to 'Base<derived>::interface()'</derived>：说明Base中定义了非内联函数，但没给实现体（比如只在头文件里声明了，没实现），而Derived又没显式实例化该特化版本 - 运行时 crash 在
static_cast后的第一行调用：大概率是对象生命周期问题——比如在Base构造函数里调了derived().init()，但此时Derived成员变量还没构造
复杂点在于：这些错误都不报在出问题的那行代码上，而是在模板实例化展开后的某个中间节点。所以一旦出错，优先检查 Derived 类定义完整性、static_cast 调用签名一致性、以及构造顺序是否越界。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
