虚函数通过virtual关键字实现多态，使派生类能重写函数并在运行时动态绑定。基类指针或引用调用虚函数时，根据实际对象类型确定调用版本，如Animal*指向Dog对象则执行Dog::speak()。编译器使用vtable和vptr机制，每个含虚函数的类有虚函数表存储函数地址，对象包含指向该表的指针，运行时通过查表确定调用目标。纯虚函数以=0声明，使类成为抽象类，不可实例化，派生类必须实现才能创建对象。C++11引入override确保正确重写基类函数，final禁止进一步派生或重写。构造函数不能为虚函数，因对象未构造完成；析构函数通常应为虚函数，确保派生类资源正确释放。非虚函数调用在编译期确定，无多态性。虚函数存在性能开销，因需运行时查表，需权衡使用场景。掌握虚函数是理解C++多态与面向对象设计的关键。
虚函数是C++实现多态性和动态绑定的核心机制。通过在基类中将函数声明为virtual，可以让派生类重写该函数，并在运行时根据对象的实际类型调用正确的版本。这种机制使得程序可以在不修改已有代码的前提下，灵活扩展功能。
虚函数的基本语法与作用
在基类中使用virtual关键字声明一个函数，它就成为虚函数。当通过基类指针或引用调用该函数时，系统会根据实际指向的对象类型决定调用哪个版本的函数，而不是依据指针或引用的类型。
例如：
class Animal {
public:
virtual void speak() {
std::cout << "Animal speaks\n";
}
};
<p>class Dog : public Animal {
public:
void speak() override {
std::cout << "Dog barks\n";
}
};</p><p>Animal* ptr = new Dog();
ptr->speak(); // 输出: Dog barks</p>这里虽然ptr是Animal*类型，但指向的是Dog对象，因此调用的是Dog::speak()。这就是动态绑定的效果。
立即学习“C++免费学习笔记（深入）”；
虚函数表与虚函数指针（vtable 与 vptr）
C++编译器通常使用虚函数表（vtable）和虚函数指针（vptr）来实现动态绑定。
- 每个含有虚函数的类都有一个对应的虚函数表，其中存储了该类所有虚函数的地址。
- 每个该类的对象都包含一个隐式的虚函数指针（vptr），指向其所属类的虚函数表。
- 当通过基类指针调用虚函数时，程序会通过vptr找到实际类型的vtable，再查找对应函数地址进行调用。
这个过程发生在运行时，因此支持多态行为。
纯虚函数与抽象类
如果希望某个虚函数没有默认实现，强制派生类提供自己的版本，可以将其定义为纯虚函数。
class Shape {
public:
virtual void draw() = 0; // 纯虚函数
};
<p>class Circle : public Shape {
public:
void draw() override {
std::cout << "Drawing a circle\n";
}
};</p>包含纯虚函数的类称为抽象类，不能实例化。只有当派生类实现了所有纯虚函数后，才能创建该类的对象。
override 和 final 关键字的使用
C++11引入了override和final关键字，增强虚函数的安全性和控制力。
- override：显式表明函数意图重写基类虚函数。若签名不匹配，编译器会报错，避免意外隐藏。
- final：用于类或虚函数，表示禁止进一步派生或重写。
class Base {
public:
virtual void func() final {}
};
<p>class Derived : public Base {
public:
void func() override; // 错误：Base::func 是 final
};</p>注意事项与常见问题
使用虚函数时需注意以下几点：
- 构造函数不能是虚函数，因为对象尚未完全构造，vptr未正确设置。
- 析构函数通常应声明为虚函数，尤其是作为基类时，确保派生部分能被正确释放。
- 非虚函数调用在编译期就已确定，不具备多态性。
- 虚函数有一定性能开销，因每次调用需查表，对性能敏感场景需权衡使用。
基本上就这些。掌握虚函数机制，是理解C++面向对象设计和运行时多态的关键一步。正确使用能让代码更灵活、可扩展，但也需要理解底层原理以避免误用。不复杂但容易忽略。
