虚函数通过vtable和vptr实现动态绑定，使基类指针调用派生类重写函数，支持多态；含纯虚函数的类为抽象类，不可实例化，派生类须实现其函数。
虚函数是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
如果没有virtual关键字，调用的是基类的speak()，输出“Animal speaks”。加上virtual后，调用的是Dog类的版本，体现了多态性。
立即学习“C++免费学习笔记（深入）”；
虚函数的实现原理：虚函数表（vtable）与虚函数指针（vptr）
C++编译器通常使用虚函数表（vtable）和虚函数指针（vptr）来支持虚函数机制。
- vtable：每个含有虚函数的类都有一个由编译器生成的虚函数表，表中存放该类所有虚函数的地址。如果派生类重写了某个虚函数，表中对应项会更新为派生类函数的地址。
- vptr：每个含有虚函数的对象内部都包含一个隐藏的指针（vptr），指向其所属类的vtable。
当通过基类指针调用虚函数时，实际执行过程如下：
- 通过对象的vptr找到对应的vtable
- 在vtable中查找对应虚函数的地址
- 跳转到该地址执行函数
这个过程发生在运行时，因此称为动态联编或晚绑定。
纯虚函数与抽象类
虚函数可以进一步扩展为纯虚函数：
virtual void speak() = 0;
含有纯虚函数的类称为抽象类，不能实例化。派生类必须实现所有纯虚函数，否则仍是抽象类。这为接口设计提供了支持，强制派生类提供特定行为的实现。
注意事项与性能影响
虚函数虽然强大，但也有代价：
- 每个对象多出一个vptr，增加内存开销
- 每次调用需查表，有轻微性能损耗
- 不能被内联（inline），因为绑定发生在运行时
因此，仅在需要多态行为时才使用虚函数。对于确定不会被重写的函数，避免声明为虚函数。
基本上就这些。理解虚函数的核心在于掌握vtable和vptr的协作机制，以及动态绑定如何替代默认的静态绑定。这是C++面向对象编程中实现灵活接口设计的基础。不复杂但容易忽略细节。
