静态多态在编译期通过模板和重载实现零开销多态，动态多态在运行期通过继承+虚函数+vtable实现灵活行为分发；二者核心区别在于绑定时机与实现机制，常混合使用。
静态多态和动态多态是C++中实现“同一接口、不同行为”的两种根本路径：前者在编译期确定调用哪个函数，后者在运行期根据对象实际类型决定。关键区别不在“有没有多态”，而在于**绑定时机**和**实现机制**。
静态多态：编译期决议，靠模板和重载
静态多态不依赖继承或虚函数，核心是让编译器在生成代码前就选好具体函数版本。
-
函数重载：同名函数参数类型/数量不同，编译器按实参精确匹配（如
print(int)和print(double)） -
运算符重载：为自定义类型重定义
+、==等，调用目标同样在编译时确定 -
函数模板：写一个通用逻辑（如
template<typename T> void sort(T* arr, int n)），编译器为每种实际类型（int、string）生成独立函数副本 -
类模板：如
vector<int>和vector<double>是两个完全不同的类型，各自拥有独立的成员函数实例
优点是零运行时开销、内联友好、错误在编译期暴露；缺点是代码体积可能增大（模板实例化膨胀），且无法处理运行时才知悉的类型（比如用户输入决定处理哪种数据）。
动态多态：运行期决议，靠继承+虚函数
动态多态解决的是“接口统一、实现可变且未知于编译期”的问题，典型场景是工厂创建对象、容器存多种派生类对象。
立即学习“C++免费学习笔记（深入）”；
- 基类声明 virtual 函数（至少一个，通常是析构函数也需 virtual）
- 派生类 override 这些函数，提供各自实现
- 通过 基类指针或引用 调用虚函数，实际执行哪个版本，由指针/引用所指向对象的 真实类型 决定
- 底层靠 vtable（虚函数表）和 vptr（虚函数指针） 实现：每个含虚函数的类有一张函数地址表，每个对象开头隐式存一个指向该表的指针
例如：Shape* s = new Circle(); s->draw(); —— 编译器不关心 s 指向什么，运行时查 Circle 的 vtable 找到 Circle::draw 并调用。这带来运行时开销（间接跳转、内存访问）、禁止内联，但换来真正的运行时灵活性。
关键对比维度
- 绑定时间：静态多态=编译期；动态多态=运行期
- 实现基础：静态多态=模板/重载；动态多态=继承+虚函数+vtable
- 类型要求：静态多态不要求类型间有关系；动态多态要求明确的继承体系
- 性能特征：静态多态无间接调用开销，支持完全内联；动态多态每次调用多一次指针解引用和查表
- 适用场景：算法泛化（排序、容器）→ 静态多态；插件系统、GUI控件、策略模式 → 动态多态
不是非此即彼：现代C++常混合使用
真实项目往往结合两者。例如：
- 用模板实现容器（
std::vector），但容器里存的是std::unique_ptr<Shape>—— 模板管内存布局，虚函数管行为多态 - CRTP（奇异递归模板模式）用静态多态模拟虚函数行为，避免vtable开销，适合性能敏感且继承结构编译期已知的场景
- std::variant + std::visit 提供类型安全的“静态版多态分发”，替代部分动态多态需求
选择依据不是“哪个更高级”，而是看问题本质：类型是否在编译期可知？行为差异是否必须延迟到运行时才能决定？
