CRTP是唯一能真正实现“不带虚函数的多态”的标准C++方式，它通过基类模板参数绑定派生类类型，在编译期完成静态分发，绕过vtable，零运行时开销；static_cast安全因this动态类型即Derived*，前提是继承正确且成员访问合规。
CRTP 是唯一能真正实现“不带虚函数的多态”的标准 C++ 方式——它不是模拟，而是编译期确定的静态分发。虚函数表（vtable）被完全绕过，所有调用在模板实例化时就展开为具体函数地址，零运行时开销。
为什么 static_cast<Derived*>(this) 不崩溃？
这不是强制类型转换的暴力操作，而是编译器已知的合法向下转型：Base<Derived> 的 this 指针，其动态类型就是 Derived*（因为 Derived 继承自该特化基类）。只要派生类定义完整、继承正确，static_cast 就是安全且无成本的。
- 构造函数里不能调用——此时
Derived对象尚未完成初始化，static_cast后访问成员会未定义行为 - 必须显式声明
implementation()为public或加friend class Base<Derived>，否则基类无法访问 - 如果忘记写
class Derived : public Base<Derived>中的<Derived>，编译错误信息往往指向基类内部的static_cast行，而非继承声明本身，容易误判
CRTP 基类中如何安全提供通用接口？
接口函数必须是 public 非虚的，内部通过 static_cast<Derived*>(this) 调用派生类实现；若需访问派生类的私有成员，可将基类声明为 friend。
- 不要在基类中定义虚析构函数——
CRTP类型本就不该被多态删除；若需delete指针，说明设计已偏离静态多态初衷 - 支持
const正确性：基类接口应重载const和非const版本，分别调用static_cast<const Derived*>(this)->impl()和static_cast<Derived*>(this)->impl() - 避免在基类中保存状态——状态应由派生类自己管理，否则会破坏“零抽象成本”原则
和普通模板继承比，CRTP 多出的关键约束是什么？
核心约束只有一条：派生类必须出现在自身作为模板参数的基类继承列表中，即 class D : public Base<D>。这个“递归”不是语法递归，而是类型依赖闭环，它让基类能在编译期绑定到确切派生类型。
立即学习“C++免费学习笔记（深入）”；
- 不能用
auto或类型推导绕过显式模板参数——Base<decltype(*this)>在基类定义中非法，this类型此时不可用 - 不支持运行时类型切换：你无法写
Base<?>* ptr = &d;然后让它指向不同Derived实例，这与虚函数的根本差异所在 - 每个
Base<T>是独立类型，Base<Circle>和Base<Square>之间无公共基类，无法放入同容器（除非用类型擦除如std::any或variant）
什么时候该果断放弃 CRTP？
当你的需求天然需要运行时决策——比如插件系统、用户配置加载不同算法、GUI 控件树遍历回调——CRTP 就不是解法，而是障碍。它只适合“编译期可知全部类型组合”的场景。
- 需要统一基类指针/引用集合？→ 改用虚函数，或封装一层
std::variant<Circle, Square> - 想复用逻辑但又不想写重复模板？→ 先检查是否真需要“多态”，还是只需一个
template<typename T> void process(T& x)函数模板 - 调试时发现编译错误堆栈极深、定位困难？→ 这是
CRTP的典型代价，尤其嵌套多层时；此时应优先简化继承层级，而非强行压进 CRTP
真正难的不是写出 Base<Derived>，而是在设计初期就判断清楚：这个“多态”到底发生在编译期，还是注定要拖到运行时。一旦混淆，后续所有优化都建立在错误前提上。
