虚函数调用的性能开销源于vptr内存占用、两次访存加间接跳转、cpu分支预测失效及编译器无法内联等四层叠加效应，导致缓存命中率下降、流水线停顿与优化抑制，热路径性能可降2×～5×。
一、对象内存布局：vptr 是第一个真实开销
每个含虚函数的对象，开头固定位置（通常是 offset 0）会插入一个 vptr，大小为指针宽度（x86-64 下是 8 字节）。这不是“可选附加”，而是强制嵌入：
- Base 类无虚函数 →
sizeof(Base) == 实际成员字节数 - Base 类含虚函数 →
sizeof(Base) >= 成员字节数 + 8（还要考虑对齐） - 100 万个对象 → 额外占用 8 MB 内存，直接影响 L1/L2 缓存命中率
二、调用指令链：两次访存 + 一次间接跳转
以 obj->func() 为例，编译器生成的实际指令序列（x86-64）本质是：
-
mov rax, [rdi]—— 从对象首地址加载 vptr（第一次内存访问） -
mov rax, [rax + offset]—— 从 vtable 中取函数地址（第二次内存访问） -
call rax—— 间接跳转执行（无固定目标，分支预测易失败）
这三步中，没有哈希、没有遍历、没有运行时搜索；但两次 cache line 访问 + 不可预测跳转，已足够在热点循环中放大延迟。
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
三、CPU 流水线层面：三重隐性惩罚
现代 CPU 的性能瓶颈往往不在算术单元，而在前端与缓存子系统。虚函数调用在此引发连锁反应：
- 分支预测失效：call 指令目标地址每次可能不同（尤其多态数组中类型混杂），mis-prediction penalty 达 15–20 cycles
- iTLB / L1i 压力：不同派生类的虚函数体常分散在不同代码页，频繁切换导致指令 TLB miss 和 L1 指令缓存换入换出
-
指令预取失效：CPU 预取器习惯顺序/简单跳转模式，对
call [rax + 0x10]这类地址不可知跳转几乎无法预取
四、编译器优化阻断：比硬件开销更致命
单次调用 1–3 cycles 可忽略，但真正拖垮性能的是它让编译器“束手无策”：
-
无法内联：即使整个程序只存在一个派生类，GCC/Clang 默认仍不 devirtualize（除非启用
-fdevirtualize-speculatively） -
常量传播中断：若
func()本可被推导为返回固定值，虚调用后该信息丢失 - 死代码消除失效：编译器无法证明某分支永远不会执行，保留冗余逻辑
这些抑制项叠加后，实际热路径性能下降常达 2×～5×，远超那几个周期本身。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
