多态是C++中通过继承和虚函数实现“同一接口，多种实现”的机制，允许基类指针调用派生类的重写函数，实现运行时动态绑定，提升代码灵活性与可扩展性。
多态是面向对象编程的核心特性之一，在C++中它允许不同类的对象对同一消息作出不同的响应。简单来说，就是“同一个接口，多种实现”。多态提高了代码的灵活性和可扩展性，使程序能够以统一的方式处理不同类型的对象。
什么是多态
在C++中，多态主要表现为：基类指针或引用可以指向派生类对象，并能根据实际对象类型调用相应的函数。这种行为在运行时决定，称为运行时多态。
例如，一个图形类体系中，Shape* 指针可以指向 Circle 或 Rectangle 对象，调用 draw() 函数时，会自动执行对应类型的绘制逻辑，而不需要在代码中显式判断类型。
多态的实现条件
要实现多态，必须满足以下几个关键条件：
立即学习“C++免费学习笔记（深入）”；
- 继承关系：至少有一个基类和一个或多个派生类。
- 虚函数（virtual function）：基类中声明的函数使用 virtual 关键字，表示该函数可以在派生类中被重写。
- 基类指针或引用调用虚函数：通过基类的指针或引用调用虚函数，才能触发动态绑定。
如何实现多态
实现多态的关键在于使用虚函数和继承机制。下面是一个典型示例：
#include <iostream>
using namespace std;
<p>class Shape {
public:
virtual void draw() const {
cout << "Drawing a shape." << endl;
}
virtual ~Shape() {} // 虚析构函数很重要
};</p><p>class Circle : public Shape {
public:
void draw() const override {
cout << "Drawing a circle." << endl;
}
};</p><p>class Rectangle : public Shape {
public:
void draw() const override {
cout << "Drawing a rectangle." << endl;
}
};</p><p>int main() {
Shape<em> s1 = new Circle();
Shape</em> s2 = new Rectangle();</p><pre class='brush:php;toolbar:false;'>s1->draw(); // 输出: Drawing a circle.
s2->draw(); // 输出: Drawing a rectangle.
delete s1;
delete s2;
return 0;}
在这个例子中，draw() 是虚函数，通过 Shape* 指针调用时，实际执行的是派生类的版本，这就是多态的体现。
纯虚函数与抽象类
有时候我们希望基类中的某个函数没有具体实现，只作为接口存在。这时可以使用纯虚函数：
class Shape {
public:
virtual void draw() const = 0; // 纯虚函数
virtual ~Shape() {}
};
包含纯虚函数的类称为抽象类，不能实例化对象。派生类必须实现所有纯虚函数，否则也是抽象类。
注意事项
使用多态时需要注意以下几点：
- 虚析构函数：如果类设计为基类，析构函数应声明为 virtual，防止派生类对象通过基类指针删除时发生资源泄漏。
- override 关键字：建议在派生类中重写虚函数时使用 override，帮助编译器检查是否正确覆盖了基类函数。
- 性能考虑：虚函数调用通过虚函数表（vtable）实现，有轻微运行时开销，不适合对性能要求极高的场景。
基本上就这些。多态的本质是接口统一、行为多样，靠虚函数和继承实现，理解清楚机制后用起来就很自然。
