多态通过虚函数实现，允许基类指针调用派生类函数。基类中用virtual声明虚函数，派生类重写该函数，运行时通过虚函数表动态绑定具体实现。例如Animal基类的speak()被Dog和Cat类重写，调用makeSound(&dog)或makeSound(&cat)时分别执行对应版本。含纯虚函数（如Shape::draw()=0）的类为抽象类，不可实例化，子类必须实现纯虚函数才能创建对象。多态提升扩展性与维护性，新增类无需修改原有代码，但虚函数有性能开销，应按需使用。
在 C++ 中，多态是面向对象编程的重要特性之一，它允许使用基类指针或引用调用派生类的函数。实现这一机制的核心工具就是虚函数。通过虚函数，程序可以在运行时根据对象的实际类型决定调用哪个函数版本，而不是在编译时就确定。
虚函数的基本定义与使用
虚函数是在基类中使用 virtual 关键字声明的成员函数。当派生类重写该函数后，通过基类指针或引用调用该函数时，会自动调用对应派生类的实现。
例如：
#include <iostream>
using namespace std;
<p>class Animal {
public:
virtual void speak() {
cout << "Animal speaks." << endl;
}
};</p><p>class Dog : public Animal {
public:
void speak() override {
cout << "Dog barks." << endl;
}
};</p><p>class Cat : public Animal {
public:
void speak() override {
cout << "Cat meows." << endl;
}
};</p>在这个例子中，speak() 是一个虚函数。如果使用基类指针指向派生类对象并调用 speak()，程序将根据实际对象类型执行相应的函数。
立即学习“C++免费学习笔记（深入）”；
运行时多态的实现方式
多态的关键在于动态绑定（late binding），即函数调用在运行时才确定具体调用哪一个函数。
实现过程如下：
- 基类中声明虚函数，启用动态分派机制
- 派生类使用 override 明确重写虚函数（推荐做法）
- 通过基类指针或引用调用虚函数
- 系统通过虚函数表（vtable）查找实际应调用的函数地址
示例调用代码：
void makeSound(Animal* animal) {
animal->speak(); // 实际调用取决于传入的对象类型
}
<p>int main() {
Dog dog;
Cat cat;</p><pre class='brush:php;toolbar:false;'>makeSound(&dog); // 输出: Dog barks.
makeSound(&cat); // 输出: Cat meows.
return 0;}
纯虚函数与抽象类
有时我们希望基类不提供函数的具体实现，仅作为接口规范。这时可以使用纯虚函数：
class Shape {
public:
virtual void draw() = 0; // 纯虚函数
};
<p>class Circle : public Shape {
public:
void draw() override {
cout << "Drawing a circle." << endl;
}
};</p>包含纯虚函数的类称为抽象类，不能实例化对象。只有当派生类实现了所有纯虚函数后，才能创建该类的对象。
虚函数和多态机制让代码更具扩展性和可维护性。比如添加新的动物类型时，无需修改已有的 makeSound 函数，只要继承 Animal 并重写 speak 即可。
基本上就这些。理解虚函数表的存在和动态调用的过程，有助于写出更高效的多态代码。注意，虚函数有一定性能开销，因此应在需要时才使用。
