虚函数表：vptr与vtable原理、运行时类型识别（RTTI）
说实话，虚函数和多态是C++里最让新手头疼的概念之一。我记得刚入行那会儿，面试官问我「虚函数是怎么实现的」，我支支吾吾说了半天也没说清楚。后来在项目里踩了几次坑，才真正搞明白vptr和vtable这回事。
今天咱们就把这个硬骨头啃下来。你想想看，C++不像Java那样所有方法默认都是虚的，它把「动态绑定」这个能力交到了程序员手里。那底层到底是怎么做到的？
vptr与vtable：多态的基石
说白了，每个包含虚函数的类，编译器都会给它生成一张「虚函数表」（vtable）。这张表本质上就是个函数指针数组，里面存的是虚函数的地址。
然后每个对象实例里，会藏着一个指针（vptr），指向这个类的虚函数表。这就是多态能跑起来的核心机制。
来看个最简单的例子：
class Base {
public:
virtual void func1() { cout << "Base::func1" << endl; }
virtual void func2() { cout << "Base::func2" << endl; }
};
class Derived : public Base {
public:
void func1() override { cout << "Derived::func1" << endl; }
virtual void func3() { cout << "Derived::func3" << endl; }
};Base类的vtable里有两个条目：func1和func2的地址。Derived类继承了Base，它的vtable里前两个条目分别是：Derived::func1（覆盖了基类的）、Base::func2（没被覆盖）。第三个条目是Derived::func3。
当调用 basePtr->func1() 时，实际执行的是：
- 通过basePtr找到对象的vptr
- 通过vptr找到vtable
- 在vtable中找到func1对应的函数指针
- 调用那个函数
这就是所谓的「间接寻址」。多了一层查表，性能上比普通函数调用慢那么一丢丢，但换来了运行时多态的灵活性。
vptr存在哪里？
这个问题我当年也困惑过。vptr通常放在对象的起始位置（不过标准没规定死，具体看编译器实现）。在大多数64位系统上，vptr占8个字节。
所以一个只有虚函数没有数据成员的类，sizeof结果不是1，而是8（vptr的大小）。嗯，这里要注意。
class EmptyWithVirtual {
public:
virtual void foo() {}
};
cout << sizeof(EmptyWithVirtual); // 输出8（64位系统）运行时类型识别（RTTI）
RTTI说白了就是让程序在运行时知道「这个对象到底是什么类型」。它依赖虚函数表来实现。
常用的两个操作符：
- typeid：获取对象的类型信息
- dynamic_cast：安全地进行向下转型
来看个实际场景：
Base* pb = new Derived();
// typeid 用法
cout << typeid(*pb).name() << endl; // 输出 "class Derived"
// dynamic_cast 用法
Derived* pd = dynamic_cast<Derived*>(pb);
if (pd) {
// 转型成功，可以安全使用
}dynamic_cast是怎么工作的？它会在运行时检查对象的vptr，找到对应的vtable，然后从vtable里获取RTTI信息，判断目标类型是否匹配。
vtable的内存布局
我画了一张图，帮你理解vptr和vtable的关系：
RTTI的开销与注意事项
RTTI不是免费的。每次typeid或dynamic_cast调用，都需要查vtable，这有性能开销。我一般只在调试或日志场景用typeid，在需要安全向下转型时用dynamic_cast。
但说实话，如果你发现自己频繁使用dynamic_cast，那多半是设计有问题。好的多态设计应该让基类接口足够丰富，不需要你到处做向下转型。
| 特性 | 开销 | 使用建议 |
|---|---|---|
| 虚函数调用 | 比普通函数多一次间接寻址 | 热路径避免使用 |
| typeid | 查vtable获取类型信息 | 调试/日志场景 |
| dynamic_cast | 遍历继承链检查类型 | 必要时使用，但别滥用 |
总结一下
vptr和vtable是C++多态的底层实现机制。每个有虚函数的类都有一个vtable，每个对象实例都有一个vptr指向它。RTTI依赖vtable来获取运行时类型信息。
理解这些底层原理，不是为了让你天天去操作vptr（实际上你也操作不了），而是为了写出更高效、更安全的C++代码。知道什么场景该用虚函数，什么场景该避免，这才是真正的功力。
嗯，今天就聊到这儿。下次遇到虚函数的问题，你应该能跟面试官聊上十分钟了。
公众号:蓝海资料掘金营，微信deep3321