c++中的CRTP和继承有什么区别 c++静态多态与动态多态【对比】

CRTP是编译期静态多态技术，通过模板参数传递派生类类型实现零开销调用；传统继承是面向对象机制，可支持动态多态（需虚函数）或纯代码复用，二者本质不同。

CRTP 和普通继承根本不是同一类东西

CRTP（Curiously Recurring Template Pattern）是一种模板编程技巧，本质是**编译期的静态绑定**；而传统继承（比如 class Derived : public Base）是面向对象的基础机制，本身不决定多态方式——它既可支撑动态多态（配合虚函数），也可用于静态场景（无虚函数时只是代码复用）。很多人误以为“CRTP 是一种继承”，其实它只是**借用了公有继承的语法形式**，背后没运行时开销、不涉及虚表、也不支持向上转型为基类指针/引用（除非显式提供转换）。

静态多态：CRTP 是典型代表

静态多态指函数调用在**编译期就确定目标函数地址**，无需运行时查虚表。CRTP 通过模板参数把派生类类型传给基类，让基类能直接调用派生类的静态成员或函数：

基类是模板类：template class Base { ... };
派生类继承时把自身传入：class MyDerived : public Base { ... };
基类中写 static_cast(this)->foo()，编译器在实例化时就知道 foo 是哪个具体类型里的函数
零运行时开销，支持内联，适合性能敏感场景（如数学库、嵌入式）

动态多态：靠虚函数 + 继承 + 多态指针/引用

动态多态依赖运行时机制：对象实际类型决定调用哪个函数版本。核心要素缺一不可：

基类声明虚函数（virtual void func() = 0;）
派生类重写该函数（override）
通过基类指针或引用调用：Base* p = new Derived(); p->func();
每次调用需查虚函数表（vtable），有间接跳转开销（虽小但存在）
支持运行时类型识别（dynamic_cast）、对象生命周期管理（多态析构需虚析构函数）

关键区别总结（直击本质）

发生时机：CRTP 在模板实例化时完成绑定；动态多态在运行时通过 vptr/vtable 解析。
类型安全：CRTP 编译期检查派生类是否提供所需接口（否则报错）；动态多态只检查签名匹配，运行时才可能因未重写纯虚函数而崩溃（构造期间）。
灵活性：CRTP 要求派生类型在编译期已知，无法处理未知类型（如插件系统）；动态多态可加载新 DLL 并创建派生类对象。
对象模型：CRTP 基类不包含虚表指针，对象更轻量；动态多态对象头部隐含 vptr，每个含虚函数的类都有 vtable。

# c++ # 区别 # 代码复用 # 面向对象 # 多态 # 析构函数 # 派生类型 # 引用调用 # void # 指针 # 继承 # 公有继承 # 虚函数 # 纯虚函数 # 接口 # class # public # 对象 # this # 派生类 # 是一种 # 重写 # 绑定 # 复用 # 也不 # 都有 # 很多人