<p>多态通过虚函数表和虚表指针实现，当基类指针指向派生类对象并调用虚函数时，程序通过vptr找到对应vtable，进而调用实际函数地址，如Animal* a = new Dog(); a->speak()执行Dog::speak()。</p>
在C++中，多态是面向对象编程的核心特性之一，它允许同一接口调用不同对象的实现。这种能力主要通过虚函数和虚函数表（vtable）机制来实现。理解多态的底层原理，有助于写出更高效、更可靠的代码。
虚函数与动态绑定
当一个类中的函数被声明为virtual时，该函数就成为虚函数。派生类可以重写这个函数，使得通过基类指针或引用调用该函数时，实际执行的是派生类的版本，而不是基类的版本。这就是所谓的动态绑定或运行时多态。
例如：
class Animal {
public:
virtual void speak() {
cout << "Animal speaks" << endl;
}
};
<p>class Dog : public Animal {
public:
void speak() override {
cout << "Dog barks" << endl;
}
};</p><p>Animal* a = new Dog();
a->speak(); // 输出: Dog barks</p>这里虽然指针类型是Animal*，但调用的是Dog类的speak()函数。这是因为编译器在背后使用了虚函数表机制。
立即学习“C++免费学习笔记（深入）”；
虚函数表（vtable）与虚表指针（vptr）
C++编译器为每个含有虚函数的类生成一张虚函数表，简称vtable。这张表是一个函数指针数组，存储了该类所有虚函数的实际地址。每个对象内部则包含一个隐式的指针——虚表指针（vptr），指向其所属类的vtable。
关键点：
- 每个类只有一个vtable，但每个对象都有一个vptr。
- vptr在构造对象时由构造函数自动初始化，指向对应类的vtable。
- 当发生继承和重写时，派生类会拥有自己的vtable，其中重写的函数项会被替换成派生类的函数地址。
以上例来说：
-
Animal类的vtable中存有Animal::speak()的地址。 -
Dog类的vtable中，speak()项被替换为Dog::speak()的地址。 -
new Dog()创建的对象的vptr指向Dog的vtable。
因此，调用a->speak()时，程序会通过vptr找到vtable，再查表调用正确的函数。
多态实现的关键条件
要成功触发多态行为，必须满足以下条件：
- 函数必须声明为
virtual。 - 必须通过指针或引用调用虚函数。
- 派生类需正确重写基类的虚函数（签名一致）。
如果直接通过对象调用，如Dog d; d.speak();，即使函数是虚函数，也可能发生静态绑定，无法体现多态性。
性能与内存开销
虚函数机制带来了一定的运行时开销：
- 每次调用虚函数都需要两次寻址：先通过vptr找到vtable，再通过函数偏移找到具体函数地址。
- 每个含虚函数的类实例多出一个指针大小的空间（通常8字节，在64位系统上）。
尽管如此，这种代价在大多数应用场景中是可以接受的，尤其是为了获得灵活的设计结构。
基本上就这些。多态的实现依赖于编译器自动生成的虚函数表和对象内的虚表指针，整个过程对程序员透明，但理解其机制有助于深入掌握C++对象模型。
