编译时多态通过模板在编译期生成特定类型代码，性能高但可能引起代码膨胀；运行时多态通过虚函数和继承在运行时动态绑定，灵活性强但有查表开销。
编译时多态和运行时多态是C++中实现多态性的两种不同机制，分别通过模板和虚函数来实现。它们在原理、使用场景和性能上都有明显区别。
编译时多态：通过模板实现
编译时多态指的是在编译阶段就确定调用哪个函数或使用哪种类型，主要依靠C++的模板机制实现。模板允许编写与类型无关的通用代码，编译器会在实例化模板时为每种具体类型生成对应的代码。
例如：
template <typename T>
T max(T a, T b) {
return a > b ? a : b;
}
当你调用 max(3, 5) 或 max(3.14, 2.7) 时，编译器会分别生成 int max(int, int) 和 double max(double, double) 的版本。这个过程发生在编译期，没有运行时开销。
立即学习“C++免费学习笔记（深入）”；
特点：
- 性能高：无虚函数表查找开销
- 代码膨胀：每个类型都生成一份独立代码
- 灵活性强：支持任意类型，包括基本类型和自定义类型
- 错误信息复杂：模板出错时编译报错可能难以理解
运行时多态：通过虚函数实现
运行时多态依赖于继承和虚函数机制，在程序运行时根据对象的实际类型决定调用哪个函数。这是典型的面向对象编程特性。
例如：
class Shape {
public:
virtual void draw() { cout << "Draw shape\n"; }
};
<p>class Circle : public Shape {
public:
void draw() override { cout << "Draw circle\n"; }
};</p>当使用基类指针指向派生类对象时，调用 draw() 会根据实际对象类型动态选择函数：
Shape* s = new Circle(); s->draw(); // 输出 "Draw circle"
这背后依赖虚函数表（vtable）和虚函数指针（vptr），在运行时进行查表调用。
特点：
- 运行时决策：调用哪个函数在运行时确定
- 有轻微性能开销：每次调用需查虚表
- 支持动态绑定：适合处理不确定类型的对象集合
- 需要继承结构：必须通过继承和指针/引用使用
模板与虚函数的核心区别
两者虽然都能实现“同一接口，多种实现”，但机制完全不同。
- 模板是泛型编程工具，强调代码复用和类型安全，不涉及继承
- 虚函数是面向对象工具，强调接口统一和动态行为，依赖继承体系
- 模板在编译期展开，效率高；虚函数在运行时解析，更灵活
- 模板可以用于函数、类、别名等；虚函数只能用于类的成员函数
如何选择使用哪种多态
选择依据主要看需求场景：
- 如果你需要高性能、类型无关的算法（如容器、算法库），用模板
- 如果你需要处理一组具有相同接口但不同类型的具体对象（如GUI组件、游戏实体），用虚函数
- 标准库中，STL大量使用模板实现编译时多态；MFC或Qt等框架常用虚函数实现运行时多态
基本上就这些。编译时多态更高效，运行时多态更灵活，理解它们的差异有助于写出更合适的C++代码。
