当前位置：首页 > news >正文

虚函数表：面试深挖时的杀手锏，懂这个直接拉开差距

news 2026/7/15 4:59:50

上篇聊了纯虚函数和抽象类，今天聊一个面试深挖时才会碰到的话题——虚函数表。

很多人知道虚函数，知道用virtual声明，知道能实现多态。但面试官如果追问"底层怎么实现的"，大部分人就开始含糊了。

如果你能把虚函数表讲清楚，面试官会觉得你不是停留在"会用"的层面，而是真正理解了C++的底层机制。

虚函数表到底是什么

先说结论：每个有虚函数的类，编译器都会生成一张虚函数表（vtable）。表里存的是这个类所有虚函数的地址。

每个有虚函数的对象，编译器会在对象内存里塞一个隐藏指针（vptr），指向它所属类的vtable。

用图来理解最直观：

LidarSensor对象内存： ┌────────────────────┐ │ vptr ──────────────┼──→ LidarSensor的vtable ├────────────────────┤ ┌──────────────────────┐ │ distance_ │ │ &LidarSensor::init │ │ angle_ │ │ &LidarSensor::calibrate│ └────────────────────┘ │ &LidarSensor::getValue│ └──────────────────────┘

当你通过基类指针调用虚函数时，程序会：

通过对象的vptr找到vtable
在vtable里查找对应函数的地址
调用那个地址

这就是动态绑定的全过程。编译时不知道具体调用哪个函数，运行时通过查表确定。

vptr什么时候初始化

vptr在构造函数里初始化。具体来说，是在构造函数的最开始，编译器自动插入代码把vptr指向当前类的vtable。

这个细节很重要，因为它解释了为什么构造函数里调用虚函数不会有多态行为：

class Base { public: Base() { // 编译器在这里插入: vptr = &Base::vtable func(); // 此时vptr指向Base的vtable，调用的是Base::func } virtual void func() { cout << "Base" << endl; } }; class Derived : public Base { public: Derived() { // 编译器在这里插入: vptr = &Derived::vtable // 现在vptr才指向Derived的vtable } void func() override { cout << "Derived" << endl; } }; Derived d; // 构造顺序：先Base()再Derived() // Base()执行时，vptr指向Base的vtable，func()输出"Base" // Derived()执行时，vptr指向Derived的vtable

析构函数也是类似的道理。析构时先执行子类的析构函数，再执行父类的。在父类析构函数执行时，vptr已经指回父类的vtable了，所以虚函数调用也没有多态行为。

sizeof能看到vptr吗

可以。vptr是一个指针，在64位系统上占8字节。

class NoVirtual { int x; }; class HasVirtual { int x; virtual void func() {} }; cout << sizeof(NoVirtual) << endl; // 输出: 4（只有int） cout << sizeof(HasVirtual) << endl; // 输出: 16（4字节int + 4字节对齐 + 8字节vptr）

面试的时候，如果面试官问"有虚函数的对象比没有虚函数的对象大多少"，答案就是多了一个vptr的大小（64位系统上是8字节）。

这也解释了为什么在机器人开发里，对于高频创建的小对象（比如点云里的每个点），一般不加虚函数。几百万个点，每个点多8字节，就是几千万字节的额外开销。

继承中的vtable

子类继承父类时，子类的vtable会包含父类的所有虚函数地址。如果子类重写了某个虚函数，vtable里对应位置就换成子类的函数地址。

class Base { public: virtual void func1() {} virtual void func2() {} }; class Derived : public Base { public: void func1() override {} // 重写 // func2没重写，沿用Base的 }; // Base的vtable: [&Base::func1, &Base::func2] // Derived的vtable: [&Derived::func1, &Base::func2]

如果子类新增了虚函数，就追加在vtable后面：

class Derived : public Base { public: void func1() override {} virtual void func3() {} // 新增 }; // Derived的vtable: [&Derived::func1, &Base::func2, &Derived::func3]

这个机制保证了通过基类指针调用时，vtable里一定能找到对应位置的函数。

多重继承的vtable

多重继承的情况下，子类会有多个vptr，每个基类一个：

class A { virtual void funcA() {} }; class B { virtual void funcB() {} }; class C : public A, public B { virtual void funcA() override {} virtual void funcB() override {} }; // C的对象布局： // ┌──────────────┐ // │ vptr_A ──────┼──→ C的vtable_A: [&C::funcA] // ├──────────────┤ // │ vptr_B ──────┼──→ C的vtable_B: [&C::funcB] // ├──────────────┤ // │ 成员变量 │ // └──────────────┘

两个vptr，对象多占16字节。这也是为什么多重继承在性能上不太受欢迎。

面试中的虚函数表深挖题

面试官深挖的时候，可能问这些问题：

"虚函数调用比普通函数调用慢多少？"

慢在一次间接寻址。普通函数调用是直接跳转到固定地址，虚函数调用要先读vptr，再查vtable，再跳转。多了一次内存访问。在现代CPU上，如果vtable在缓存里，这个开销很小（一两个时钟周期）。但如果vtable不在缓存里，可能会有cache miss的开销。

"能不能不用vtable实现多态？"

可以。C++里有一种技术叫CRTP（Curiously Recurring Template Pattern），用模板实现"静态多态"，编译时就确定了调用哪个函数，没有vtable的开销。这个后面会专门讲。

"虚函数表存在哪里？"

vtable一般存在只读数据段（.rodata），是全局的，每个类一份。vptr存在对象内部，每个对象一份。

再聊一个面试深挖时会问到的话题：多继承下的虚函数表布局。如果一个类继承了两个有虚函数的基类，对象里会有几个vptr——每个基类各一个。这意味着通过不同基类指针访问同一个对象时，vptr的偏移量是不同的。你可以用offsetof或者调试器来验证这一点。在实际调试中，如果你遇到多继承导致的类型转换后地址不对齐问题，GDB里可以用info vtbl命令直接查看对象的虚函数表内容，非常直观。另外还有个实用技巧：在Linux下用nm命令查看编译后的目标文件，可以看到每个类的vtable符号名，格式一般是_ZTV类名，通过它你能确认虚函数是否被正确导出。这些底层调试技能在面试中很少被直接问到，但如果你主动提出来，面试官对你的评价会直接上一个档次。