虚函数表指针(vptr)在64位环境下占8字节、32位下占4字节,位于对象内存布局起始处;sizeof不计入全局vtable大小,仅计算每个对象的vptr。

sizeof 计算类大小时,虚函数表指针本身占多少字节
虚函数表(vtable)本身不直接参与 sizeof 计算;真正被计入的是每个含虚函数的对象所持有的**虚函数表指针(vptr)**。这个指针的大小取决于目标平台的指针宽度:在 64 位编译环境下为 8 字节,在 32 位下为 4 字节。它通常被编译器悄悄插在对象内存布局的最开头(少数 ABI 可能不同,但主流如 Itanium、MSVC 均如此)。
注意:sizeof 永远不会把 vtable 的全局数据段空间算进去——那是一份静态表,所有同类型对象共享,和单个对象大小无关。
为什么加一个 virtual 函数,sizeof 就变大了
只要类中声明了任意一个 virtual 函数(包括虚析构),编译器就会为该类启用虚机制,进而为每个对象添加一个 vptr。哪怕你删掉所有虚函数只留一个 virtual ~A() = default;,sizeof(A) 也会从原本的紧凑值跳变为「原成员总大小 + 对齐填充 + vptr」。
- 若原类为空(
struct A {};),sizeof(A)是1;加上virtual后变成8(x64) - 若类已有
int a;(4 字节),在 x64 下通常对齐到8字节,加虚函数后变成16(4 + 4 填充 + 8 vptr) - 多重继承或虚继承会引入多个 vptr,每个都占
8字节(x64),且可能改变布局顺序
怎么验证 vptr 占了几个字节
最直接的方式是用 offsetof 查看 vptr 位置(需确保编译器未优化掉):
组合式C++代码评审方案,融合静态分析、AI推理、多轮迭代评审和C++专项检查,适用于PR审查、增量代码审查、全项目评审和代码质量评分,触发词包括review cpp、cpp代码评审、C++review、代码审查。
#include <cstddef>
struct A { virtual void f() {} };
struct B { int x; virtual void f() {} };
// offsetof(A, ???) 不行 —— vptr 是隐式成员,无名字
// 改用地址差:
A a;
char* p = reinterpret_cast<char>(&a);
std::cout <p>更稳妥的做法是对比有无虚函数的布局差异:</p>
<ul>
<li>定义 <code>struct X { char c; };</code> → <code>sizeof(X)</code> 通常是 <code>1</code>
</li>
<li>定义 <code>struct Y { char c; virtual ~Y() = default; };</code> → <code>sizeof(Y)</code> 在 x64 下是 <code>8</code>,多出的 <code>7</code> 字节就是填充 + vptr 的体现(vptr 占 <code>8</code>,但起始偏移是 <code>0</code>,所以整体膨胀)</li>
<li>用 <code>clang++ -cc1 -fdump-record-layouts</code> 或 <code>g++ -fdump-class-hierarchy</code> 可看到完整布局(含 vptr 插入位置)</li>
</ul>
<h3>容易忽略的细节:空基类优化(EBO)和虚继承对 vptr 的影响</h3>
<p>普通空基类可被 EBO 消除,但一旦基类含虚函数,它就必然带 vptr,无法被压缩进派生类的“空”空间里。虚继承还会额外引入一个指向虚基类子对象的指针(vbptr),和 vptr 分开计算,也占 <code>8</code> 字节(x64)。</p>
<p>这意味着:</p>
<ul>
<li>
<code>struct B { virtual void f(); };</code> + <code>struct D : B {};</code> → <code>sizeof(D)</code> 至少 <code>8</code>(B 的 vptr)</li>
<li>
<code>struct D : virtual B {};</code> → <code>sizeof(D)</code> 往往是 <code>16</code>(vptr + vbptr,各 <code>8</code> 字节)</li>
<li>即使 <code>B</code> 没有数据成员,虚继承仍强制增加指针开销</li>
</ul>
<p>vptr 的存在不是按“虚函数个数”线性增长,而是按“是否启用虚机制”二值触发;但虚继承、多重虚基等会让指针数量叠加,这时候得一个个数清楚。</p></char></cstddef>C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!










