C++的虚函数是实现运行时多态的基石，它允许通过基类指针或引用调用派生类重写的函数。但虚函数背后的工作原理涉及编译器在对象内存中插入隐藏指针、为每个类构建虚函数表，并在调用点进行间接跳转。如果不理解这些底层细节，在涉及继承与多态的场景中很容易写出对象切片、悬空指针或错误释放资源的代码。本文从虚函数的语法规则出发，逐步拆解虚函数表和虚指针的内存布局，结合实例分析动态绑定的执行流程，最后总结面试中高频出现的陷阱与优化建议。
虚函数与多态：从语法到运行机制
在C++中，虚函数用关键字virtual声明，它的核心价值在于允许派生类重写基类中的函数，并通过基类指针或引用调用到派生类的实现。这种在程序运行时才确定具体调用哪个函数的行为称为动态绑定，与之相对的是编译期就确定的静态绑定。例如，定义一个基类Animal，其中包含虚函数speak，派生类Dog和Cat分别重写该函数。当使用Animal*指向子类对象并调用speak时，程序会执行子类的版本，而不是基类的版本。
下面这段代码展示了最基本的虚函数用法。注意基类的析构函数也声明为虚函数，这是为了在通过基类指针删除派生类对象时能够正确调用派生类的析构函数，避免资源泄漏。如果析构函数不是虚函数，那么delete基类指针只会调用基类析构函数，派生类中动态分配的资源就不会被释放。
#include <iostream>
#include <string>
class Animal {
public:
virtual ~Animal() = default;
virtual void speak() const {
std::cout << "Animal makes a sound" << std::endl;
}
};
class Dog : public Animal {
public:
void speak() const override {
std::cout << "Dog barks" << std::endl;
}
};
class Cat : public Animal {
public:
void speak() const override {
std::cout << "Cat meows" << std::endl;
}
};
int main() {
Animal* a1 = new Dog();
Animal* a2 = new Cat();
a1->speak(); // 输出 Dog barks
a2->speak(); // 输出 Cat meows
delete a1;
delete a2;
return 0;
}
虚函数与非虚函数的根本区别在于调用方式。非虚函数在编译期就确定了函数地址，调用时直接跳转到对应的代码段；而虚函数则需要经过一次间接寻址，这个间接寻址的媒介就是虚函数表。理解这一点，是掌握多态底层原理的第一步。另外，派生类重写虚函数时必须保持函数签名一致（返回类型可以协变），否则会变成函数隐藏，无法实现多态。
虚函数表与虚指针：对象内存布局详解
编译器为每一个包含虚函数的类（或者从含虚函数的基类派生的类）生成一个虚函数表，通常称为vtable。这个表是一个函数指针数组，存放该类所有虚函数的实际地址。同时，编译器会在每个对象实例中插入一个隐藏的指针成员，称为虚指针（vptr），该指针位于对象内存布局的起始位置（通常，但非标准强制），指向该对象所属类的虚函数表。当一个类没有任何虚函数时，它的对象中不会存在vptr，对象大小也不会因此增加。
下面这段代码演示了单继承情况下虚指针的存在，以及对象大小的变化。我们定义一个含虚函数的基类Base，它只有一个int成员变量，但对象大小却可能是16字节（在64位系统上，int占4字节，vptr占8字节，再加上对齐可能为16）。通过打印对象大小可以看到vptr带来的额外开销。我们还可以通过取对象地址并强制转换为指向指针的指针来读取vptr的值，进而观察虚函数表的地址。
#include <iostream>
class Base {
public:
virtual void func1() {}
virtual void func2() {}
int data;
};
class NoVirtual {
public:
int data;
};
int main() {
std::cout << "sizeof(Base) = " << sizeof(Base) << std::endl; // 可能输出16
std::cout << "sizeof(NoVirtual) = " << sizeof(NoVirtual) << std::endl; // 输出4
Base b;
// 获取vptr：对象首地址处存放的是一个指向虚函数表的指针
void** vptr = *reinterpret_cast<void***>(&b);
std::cout << "vptr address: " << vptr << std::endl;
// 打印虚函数表中前两个条目（函数指针地址）
std::cout << "vtable[0]: " << vptr[0] << std::endl;
std::cout << "vtable[1]: " << vptr[1] << std::endl;
return 0;
}
虚函数表的构建遵循继承关系。派生类会继承基类的虚函数表，如果派生类重写了某个虚函数，则表中对应位置的函数指针被替换为派生类的函数地址；如果派生类新增了虚函数，则这些新的函数地址被追加到虚函数表的末尾。在单继承体系中，这种布局非常直观。但在多继承和虚继承场景下，一个派生类可能拥有多个vptr，分别指向不同的虚函数表或其子表，用于处理不同基类子对象的多态行为。
需要注意的是，虚函数表属于类，而不是对象。同一个类的所有对象共享同一份虚函数表，每个对象只需要保存一个指向该表的vptr即可。如果类没有虚函数，但继承自带虚函数的基类，那么派生类的对象也会包含vptr，因为它继承了基类的虚函数表引用。另外，构造函数中调用虚函数不会发生多态，因为此时派生类部分尚未初始化，vptr还指向基类的虚函数表，这是面试中常考的细节。
动态绑定如何发生：从源代码到机器指令
当程序通过基类指针或引用调用一个虚函数时，编译器无法在编译期确定该指针到底指向哪个类型的对象，因此它生成的代码不会直接跳转到某个固定地址，而是先取出对象的vptr，再通过vptr找到虚函数表，然后根据该虚函数在表中的索引（即偏移量）获取函数地址，最后间接跳转到该地址执行。整个过程涉及三次内存访问：读取vptr、读取虚函数表条目、跳转到函数地址。因此虚函数调用比普通函数调用多了一层间接性，带来了轻微的性能开销。
可以用伪代码描述这个过程。假设类Base的虚函数func2在虚函数表中的索引为1（从0开始），那么调用p->func2()的底层逻辑大致等价于：
// 假设p是Base*类型，实际指向某个派生类对象 void** vptr = *reinterpret_cast<void***>(p); // vptr[1]就是func2在虚函数表中的地址 using FuncPtr = void(*)(); FuncPtr func2 = reinterpret_cast<FuncPtr>(vptr[1]); func2(); // 间接调用
这种间接调用机制使得虚函数难以被内联优化，因为编译器在编译期无法确定具体调用哪个函数版本。但是，如果编译器能够通过静态分析确定对象的实际类型（例如直接使用对象而不是指针调用虚函数，或者使用final关键字阻止进一步派生），它可能会进行去虚化（devirtualization）优化，将虚函数调用转化为直接调用，甚至内联该函数。理解这一点有助于我们编写高性能的C++代码：在不需要多态的场景中避免使用虚函数，或者在确定类型的情况下用final或直接对象调用。
动态绑定不仅适用于通过指针调用，也适用于通过引用调用。引用本质上是指针的语法糖，底层实现类似。另外，在构造函数和析构函数中调用虚函数时，虚函数会被当作非虚函数处理，因为在构造或析构期间，对象的动态类型被认为是当前正在构造或析构的类本身，此时vptr指向当前类的虚函数表，尚未（或已经）切换到派生类的表。
面试中常见虚函数陷阱与最佳实践
虚函数相关的面试题通常会考察几个典型陷阱。第一个是对象切片（object slicing）。当把派生类对象按值赋给基类对象时，派生类特有的成员和虚函数表信息都会被切掉，只剩基类部分。此时即使调用虚函数，也只会调用基类版本，而不是派生类版本。例如：
Dog d; Animal a = d; // 对象切片，a是纯Animal对象 a.speak(); // 输出 Animal makes a sound，而非 Dog barks
第二个常见陷阱是虚函数在构造函数中的行为。在基类构造函数中调用虚函数，不会派发到派生类的重写版本，因为此时派生类部分还未构造，vptr还指向基类虚函数表。第三个陷阱是关于默认参数：虚函数的默认参数是静态绑定的，即使派生类重写了虚函数并提供了不同的默认参数，通过基类指针调用时使用的依然是基类声明中的默认参数。最佳实践是避免在虚函数中使用默认参数，或者让基类和派生类保持默认参数一致。
此外，虚析构函数的重要性绝不能忽视。如果基类析构函数不是虚函数，通过基类指针delete派生类对象会导致未定义行为，最常见的问题就是派生类析构函数不被执行，造成资源泄漏。因此，只要一个类设计为基类且可能被多态使用，其析构函数就应该声明为虚函数。反之，如果类不会被继承，或者不需要多态删除，则不必使用虚函数，以免带来不必要的vptr开销。
最后，从设计角度看，虚函数是运行时多态的核心工具，但过度使用会降低代码性能和可维护性。现代C++提供了std::variant、std::function、模板和CRTP（奇异递归模板模式）等替代方案，它们可以在编译期实现多态，避免虚函数调用的间接性。理解虚函数底层原理后，你就能根据具体场景权衡使用运行时多态还是编译期多态，写出更高效、更清晰的代码。