vptr通常位于对象内存布局最前端,指向该类的虚函数表;单继承下每个对象仅含一个vptr,由构造函数初始化并随继承过程被覆写为派生类vtable地址。

虚函数表指针(vptr)在对象内存中怎么放
每个含虚函数的类对象,编译器会悄悄加一个 vptr 成员,它不是你声明的,也不占你写的 sizeof 显式计算结果(但实际影响对象大小)。这个指针通常位于对象内存布局的最前面(少数平台可能放末尾,但主流 x86/x64 都是开头),指向该类专属的虚函数表(vtable)。
比如 Base 对象内存布局大致是:[vptr][_base];而继承它的 Derive 对象则是:[vptr][Base部分成员][_derive]。注意:派生类对象里只有一个 vptr,就是它自己的那个,不是“父类一份、子类一份”。
-
vptr在构造函数执行初期就被初始化——不是等整个构造体跑完才赋值 - 基类构造时,
vptr指向Base::vtable;进入派生类构造体后,vptr被覆写为指向Derive::vtable - 如果对象是栈上局部变量(如
Base b;),vptr初始化发生在进入构造函数时;堆上 new 出来的对象也一样,只是内存来自 heap
虚函数调用时 vptr 怎么被用到
当你通过指针或引用调用虚函数(例如 pb->func1()),编译器生成的指令不是直接跳转,而是先读取对象首地址处的 vptr,再按虚函数在表中的偏移(比如第 0 项、第 1 项)查出函数地址,最后间接调用——这叫“间接跳转”,开销比普通函数调用多一次内存读取。
关键点在于:查的是“当前对象的 vptr 所指的表”,而不是“指针类型声明的类的表”。所以哪怕 Base* pb = &d;,只要 d 是 Derive 实例,vptr 就指向 Derive::vtable,查出来的就是 Derive::func1 地址。
- 非虚函数调用完全不碰
vptr,走静态绑定,效率高 - 虚函数重写(override)的本质,就是在子类
vtable中把对应槽位替换成子类函数地址 - 新增虚函数(如
Derive::func4)会在子类vtable末尾追加新槽位,基类表里没有这一项
为什么没虚函数就没 vptr
vptr 不是凭空存在的,它只为支持运行时多态而生。如果一个类没有任何 virtual 函数,编译器根本不会给它生成 vtable,自然也不会往对象里塞 vptr。你可以用 sizeof 验证:加一个 virtual 函数,对象大小通常涨 8 字节(64 位系统下指针大小);去掉所有虚函数,大小立刻回落。
- 抽象类(含纯虚函数)一定有
vptr,哪怕它不能实例化 - 多重继承下,若多个基类都有虚函数,派生类对象可能含多个
vptr(分别对应各虚基类),但这是进阶场景,单继承无需考虑 - 使用
final修饰的类,编译器可能优化掉部分虚调用(但vptr仍存在,除非确定无多态需求)
调试时怎么看到 vptr 和 vtable 的实际内容
标准 C++ 不提供直接访问 vptr 的语法,但调试器(如 gdb / lldb / VS Debugger)能暴露它。在断点处打印对象地址,然后查看该地址起始的 8 字节(x64),就是 vptr 值;再把该值当地址去读,就能看到一串函数指针——那就是 vtable。
示例(gdb):
print *(void**)b
输出类似 0x55555555a020,再:
x/4a 0x55555555a020
就能看到前 4 个虚函数地址。注意:不同编译器(GCC/Clang/MSVC)生成的 vtable 布局略有差异,比如是否包含 RTTI 信息、析构函数是否显式列出等。
- Release 模式下符号可能被剥离,
vtable地址仍存在,但函数名不可见 - 不要试图手动修改
vptr——行为未定义,多数情况下直接 crash - 内存对齐、填充字节可能影响
vptr后续成员的偏移,别硬编码算地址
真正容易被忽略的是:vptr 的初始化时机和覆盖逻辑发生在构造函数的“隐式阶段”,不是你写的代码行;而虚函数调用路径依赖于运行时对象的真实类型,跟指针/引用的静态类型无关——这点一旦混淆,就会写出看似合理却永远调不到重写函数的代码。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!











