C++如何实现不带虚函数的“多态” _ 模板CRTP设计模式【进阶】-C++-PHP中文网

crtp是唯一能真正实现“不带虚函数的多态”的标准c++方式，它通过基类模板参数绑定派生类类型，在编译期完成静态分发，绕过vtable，零运行时开销；static_cast安全因this动态类型即derived*，前提是继承正确且成员访问合规。

c++如何实现不带虚函数的“多态” _ 模板crtp设计模式【进阶】

CRTP 是唯一能真正实现“不带虚函数的多态”的标准 C++ 方式——它不是模拟，而是编译期确定的静态分发。虚函数表（vtable）被完全绕过，所有调用在模板实例化时就展开为具体函数地址，零运行时开销。

这不是强制类型转换的暴力操作，而是编译器已知的合法向下转型：Base<derived></derived> 的 this 指针，其动态类型就是 Derived*（因为 Derived 继承自该特化基类）。只要派生类定义完整、继承正确，static_cast 就是安全且无成本的。

构造函数里不能调用——此时 Derived 对象尚未完成初始化，static_cast 后访问成员会未定义行为
必须显式声明 implementation() 为 public 或加 friend class Base<derived></derived>，否则基类无法访问
如果忘记写 class Derived : public Base<derived></derived> 中的 <derived></derived>，编译错误信息往往指向基类内部的 static_cast 行，而非继承声明本身，容易误判

接口函数必须是 public 非虚的，内部通过 static_cast<derived>(this)</derived> 调用派生类实现；若需访问派生类的私有成员，可将基类声明为 friend。

C++ Code Review Master

组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。

下载

不要在基类中定义虚析构函数——CRTP 类型本就不该被多态删除；若需 delete 指针，说明设计已偏离静态多态初衷
支持 const 正确性：基类接口应重载 const 和非 const 版本，分别调用 static_cast<const derived>(this)->impl()</const> 和 static_cast<derived>(this)->impl()</derived>
避免在基类中保存状态——状态应由派生类自己管理，否则会破坏“零抽象成本”原则

核心约束只有一条：派生类必须出现在自身作为模板参数的基类继承列表中，即 class D : public Base<d></d>。这个“递归”不是语法递归，而是类型依赖闭环，它让基类能在编译期绑定到确切派生类型。

不能用 auto 或类型推导绕过显式模板参数——Base<decltype></decltype> 在基类定义中非法，this 类型此时不可用
不支持运行时类型切换：你无法写 Base>* ptr = &d; 然后让它指向不同 Derived 实例，这与虚函数的根本差异所在
每个 Base<t></t> 是独立类型，Base<circle></circle> 和 Base<square></square> 之间无公共基类，无法放入同容器（除非用类型擦除如 std::any 或 variant）

当你的需求天然需要运行时决策——比如插件系统、用户配置加载不同算法、GUI 控件树遍历回调——CRTP 就不是解法，而是障碍。它只适合“编译期可知全部类型组合”的场景。

需要统一基类指针/引用集合？→ 改用虚函数，或封装一层 std::variant<circle square></circle>
想复用逻辑但又不想写重复模板？→ 先检查是否真需要“多态”，还是只需一个 template<typename t> void process(T& x)</typename> 函数模板
调试时发现编译错误堆栈极深、定位困难？→ 这是 CRTP 的典型代价，尤其嵌套多层时；此时应优先简化继承层级，而非强行压进 CRTP

真正难的不是写出 Base<derived></derived>，而是在设计初期就判断清楚：这个“多态”到底发生在编译期，还是注定要拖到运行时。一旦混淆，后续所有优化都建立在错误前提上。