CRTP要求基类必须是接收派生类类型的模板，class Circle : public ShapeBase编译失败，因ShapeBase是模板名而非具体类型，无法实例化；必须写成ShapeBase<Circle>才能闭环推导类型、验证成员函数签名及static_cast合法性。
CRTP 不是“去掉虚函数就能用”的替代品，而是必须显式闭环、签名字面匹配、编译期即报错的强契约——写错一个模板实参或漏一个 const 限定，static_cast<derived>(this)</derived> 那一行就直接炸，但错误根源往往在派生类定义处。
为什么 class Circle : public ShapeBase 一定编译失败
因为 ShapeBase 是模板名，不是类型；编译器根本不知道你要实例化哪个特化版本。它需要完整闭环的 ShapeBase<circle></circle> 才能生成可调用的成员函数体，进而验证 static_cast<circle>(this)->draw_impl()</circle> 是否合法。
-
class Circle : public ShapeBase<void></void>→static_cast<void>(this)</void>后无法调用任何成员，后续所有->draw_impl()都失败 -
class Circle : public ShapeBase<shape></shape>（Shape是中间基类）→static_cast<shape>(this)</shape>可能越界，ABI 不保证偏移安全 -
class Vec3f : public ShapeBase<vec3></vec3>→ 错误：必须写全特化名Vec3<float></float>，否则Derived类型不完整，触发incomplete type
static_cast<derived>(this)</derived> 调用失败的真正原因
这不是转型本身出问题，而是编译器在实例化 ShapeBase<derived></derived> 时，发现 Derived 根本没有公有、非模板、签名完全一致的 draw_impl() 函数。
- 基类调
draw_impl() const，派生类只写void draw_impl()→ 编译失败，错误指向static_cast行，实际缺的是const - 基类调
process(int)，派生类写process(long)或process(int, int = 0)→ “no member named 'process'”，因签名不匹配，不参与重载解析 - 返回类型不协变：基类期望
int，派生类返回long且未显式转换 → 模板实例化冲突
建议在基类关键调用点加 static_assert 主动校验，例如：static_assert(std::is_same_v<decltype>().get_value()), int>)</decltype>。
立即学习“C++免费学习笔记（深入）”；
为什么 std::vector<shapebase>></shapebase> 语法非法
ShapeBase<circle></circle> 和 ShapeBase<square></square> 是两个完全无关的类型，没有公共基类，也不满足任何隐式转换关系。C++ 没有“模板通配符”或“类型擦除语法糖”。
-
std::vector<shapebase></shapebase>→ 语法错误，?不是合法模板实参 -
std::vector<:unique_ptr>>></:unique_ptr>无法容纳ShapeBase<square></square>对象 - 若真需运行时混合操作，只能组合方案：CRTP 实现核心逻辑（如向量运算），外层再继承一个虚基类（如
Drawable { virtual void draw() = 0; }），由 CRTP 派生类同时继承它
多重继承或虚继承会让 static_cast<derived>(this)</derived> 崩溃
CRTP 依赖标准对象布局：派生类子对象起始地址与基类子对象一致。一旦引入虚继承或多继承（尤其非首基类），this 指针偏移不可预测，static_cast 将产生未定义行为。
- 派生类只能以
public方式单继承 CRTP 基类，禁止私有/保护继承 - 禁止在 CRTP 继承链中引入任何其他基类（包括
std::enable_shared_from_this） - 基类构造函数体内可执行
static_cast，但此时派生类成员尚未构造；仅允许转换指针，禁止调用派生类未完成初始化的成员函数
最易被忽略的是：错误常出现在头文件顺序或分离实现时——若派生类定义不在同一翻译单元，或未在 .cpp 中添加 template class ShapeBase<circle>;</circle> 显式实例化，incomplete type 错误会悄无声息地延迟到链接期才暴露。
