CRTP是唯一零开销实现基类调派生类逻辑的方案，要求显式特化模板基类、严格匹配成员签名、用if constexpr编译期分支，且所有定义需在同一翻译单元可见。
CRTP 是唯一能在零虚函数、零对象尺寸开销、零调用速度损失下，让基类调用派生类逻辑的方案。它不是“写对模板参数就完事”，而是编译期契约——错一个字符，编译器立刻报错，且错误常指向你没料到的位置。
class Derived : public Base 这行必须手写，不能省略也不能推导
Base 本身是模板，Base 不是类型，Base<void></void> 或 Base<auto></auto> 都非法。只有 Base<derived></derived> 这种显式特化，才能让编译器在实例化时确认 Derived 的完整布局和成员签名。
- 漏写模板参数：
class Circle : public Base→ 编译失败：“Baseis not a type” - 传错类型：
class Circle : public Base<square></square>→static_cast<square>(this)</square>在运行时可能读越界，Clang/GCC 开-Wall通常会提前警告 - 派生类是模板时，必须传入完整特化名：
class Vec3f : public Base<vec3>></vec3>，不能写Base<vec3></vec3>
static_cast(this)->func() 调用前，Derived::func 必须存在且签名严格匹配
CRTP 没有重载解析、不走 ADL、不隐式转换。基类里一句 static_cast<derived>(this)->draw_impl()</derived>，就要求 Derived 精确提供 void draw_impl()（含 const/volatile 限定、参数类型、返回值）。
- 拼错名：
draw_implvsdrawImpl→ 编译错误指向基类那行static_cast，而非派生类缺失定义处 - const 不一致：基类调非 const 版，派生类只实现
void draw_impl() const→ 编译失败，“no matching member function” - 建议在基类关键接口中加
static_assert校验，例如：static_assert(std::is_same_v<decltype>().getValue()), int>)</decltype>
if constexpr 是唯一安全的编译期分支手段，别在构造函数里写 runtime 判断
想让 Circle 和 Rect 在同一个 render() 接口中走不同路径？不能用 typeid 或 dynamic_cast，它们依赖虚函数，也违背 CRTP 原则。必须用 if constexpr 在模板函数内做编译期裁剪。
立即学习“C++免费学习笔记（深入）”；
- 错误写法：
if (Derived::has_optimization) { ... }→Derived::has_optimization可能未定义，或只是运行时值 - 正确写法：把分支封装进模板成员函数，用
if constexpr (std::is_same_v<derived circle>)</derived>或自定义 trait 如has_member_v<derived value_type></derived> - 注意：未选中的分支仍需语法合法——哪怕只出现在
if constexpr里，调用的函数也得在对应派生类中真实存在
Base 和 Base 类型完全无关，别试图塞进同一 vector
每个 Base<t></t> 是独立类型，没有公共基类，std::vector<base>> 语法非法。这不是限制，而是设计前提：CRTP 解决的是单类型高性能调度，不是运行时异构集合管理。
- 想统一持有多个派生对象？只能用
std::variant<circle rect triangle></circle>+std::visit - 想外层桥接动态多态？让
Circle同时继承Base<circle></circle>和虚基类Drawable，由 CRTP 实现核心逻辑，虚函数仅作出口适配 - 模板膨胀真实存在：
Base<circle>::validate()</circle>和Base<rect>::validate()</rect>是两份独立符号；用nm -C your_binary | grep Base可定位膨胀点，通用逻辑应抽成inline工具函数
最易被忽略的点：CRTP 要求所有相关定义在同一个翻译单元可见。把 Derived 定义放在单独 .cpp 里？不行。要么全放头文件，要么在 .cpp 中加 template class Base<concrete>;</concrete> 显式实例化——否则 Base<concrete></concrete> 实例化时看不到 Concrete 的完整定义，直接报 incomplete type。
