虚函数通过动态绑定实现多态，使基类指针在运行时调用派生类函数；C++以vtable和vptr机制支持虚函数，vtable存储虚函数地址，vptr指向该表；继承中重写函数更新对应vtable项，新增虚函数则追加地址；多重继承可能引入多个vptr；纯虚函数定义接口并形成抽象类，强制派生类实现，体现接口与实现分离；此机制支撑开闭原则，是面向对象设计的关键。
C++虚函数的核心作用是实现多态，让基类指针或引用在运行时调用派生类的函数版本。这一机制使得程序可以在不修改已有代码的前提下，通过继承扩展功能，是面向对象编程中“开闭原则”的关键支撑。
虚函数与多态的基本原理
当一个成员函数被声明为 virtual 时，C++ 编译器会启用动态绑定机制。这意味着函数调用不再在编译期决定，而是在运行时根据对象的实际类型来确定。
例如：
class Animal {
public:
virtual void speak() {
cout << "Animal speaks" << endl;
}
};
class Dog : public Animal {
public:
void speak() override {
cout << "Dog barks" << endl;
}
};
Animal* ptr = new Dog();
ptr->speak(); // 输出 "Dog barks"
尽管指针类型是 Animal*，但实际调用的是 Dog 的 speak 函数。这就是多态的表现：同一接口表现出不同行为。
vtable 与 vptr：多态的底层实现
C++ 通过 vtable（虚函数表） 和 vptr（虚函数指针） 实现动态分发。
- 每个包含虚函数的类都有一个由编译器生成的 vtable，它是一个函数指针数组，存储该类所有虚函数的实际地址。
- 每个该类的对象内部都隐含一个 vptr，指向其所属类的 vtable。
- 当通过基类指针调用虚函数时，程序先通过 vptr 找到 vtable，再查表定位具体函数地址。
这种机制确保了即使指针类型是基类，也能正确调用派生类重写的函数。
虚函数表的结构与继承中的变化
在继承体系中，vtable 的内容会根据是否重写发生变化。
- 如果派生类重写了基类的虚函数，那么它的 vtable 中对应项会被更新为派生类函数的地址。
- 如果派生类新增虚函数，这些函数地址通常追加在 vtable 末尾（具体布局依赖编译器实现）。
- 多重继承下，对象可能包含多个 vptr，分别对应不同基类子对象，以支持各自独立的虚函数调用。
值得注意的是，vtable 是类级别的数据，所有该类实例共享同一张表；而 vptr 是实例级别的，每个对象一份。
纯虚函数与抽象类的作用
使用 
= 0 声明的虚函数称为纯虚函数，含有纯虚函数的类是抽象类，不能实例化。
这用于定义接口规范，强制派生类实现特定方法。例如：
class Shape {
public:
virtual double area() = 0; // 纯虚函数
};
class Circle : public Shape {
double r;
public:
double area() override { return 3.14 r r; }
};
这样可以构建统一接口处理多种图形，体现“接口与实现分离”的设计思想。
基本上就这些。虚函数是 C++ 多态的基石，vtable 是其实现的关键机制。理解这套机制有助于写出更高效、可维护的面向对象代码，也能帮助排查诸如对象切割、析构不完全等问题。虽然细节因编译器而异，但核心模型在主流实现中保持一致。
