C++ 多态

多态（Polymorphism）是 C++ 面向对象三大核心特性（封装、继承、多态）之一，指同一接口在不同对象实例上呈现不同行为 的机制。其本质是通过动态绑定，在程序运行阶段根据对象实际类型调用对应实现，实现接口复用与行为扩展。

---

一、多态的分类

C++ 中的多态主要分为两类：

1. 静态多态（编译期多态）

• 在编译阶段确定调用目标
• 典型实现：
  • 函数重载
  • 运算符重载
  • 模板（泛型编程）
• 特点：效率高、无运行时开销、灵活性较弱

2. 动态多态（运行期多态）

• 在程序运行时根据对象真实类型确定调用
• 典型实现：虚函数 + 继承 + 指针 / 引用调用
• 特点：灵活性极强、支持可扩展设计、有轻微运行开销

日常所说 "C++ 多态"，默认指动态多态。

---

二、动态多态实现机制

1. 实现条件

1. 存在继承关系
2. 基类中定义 virtual 虚函数
3. 子类对虚函数进行重写（override）
4. 通过基类指针或引用指向子类对象并调用函数

2. 底层原理：虚表与虚指针

• 包含虚函数的类，编译器会生成虚函数表（vtable）
• 类对象中会隐含一个虚指针（vptr），指向虚表
• 调用虚函数时，通过虚指针查表，找到对应子类实现
• 该过程称为动态绑定（晚绑定）

---

三、核心语法要点

1. 虚函数

cpp

运行

class Base {
public:
    virtual void show() { ... }
};

2. 函数重写 override

cpp

运行

class Derived : public Base {
public:
    void show() override { ... }
};

3. 纯虚函数与抽象类

cpp

运行

class Base {
public:
    virtual void func() = 0; // 纯虚函数
};

• 包含纯虚函数的类称为抽象类
• 抽象类不能实例化，只能被继承
• 子类必须实现纯虚函数，否则仍为抽象类

4. 虚析构函数

基类析构函数应声明为 virtual，以保证销毁子类对象时能正确调用子类析构函数，避免内存泄漏。

---

四、多态的意义与价值

1. 接口统一：对外提供一致调用方式，内部可不同实现
2. 可扩展性强 ：新增子类无需修改原有代码，符合开闭原则
3. 代码复用与解耦：基于基类抽象编程，不依赖具体实现
4. 支撑设计模式：工厂模式、策略模式、模板方法模式等均依赖多态实现

---

五、典型应用场景

• 框架与组件系统设计
• 插件化、模块化架构
• 图形渲染、游戏对象管理
• 通用算法库与回调机制
• 面向对象业务系统设计