C++ 多态底层原理：V-Table 机制与常见陷阱
在 C++ 面向对象编程中，**多态（Polymorphism）**是核心机制之一。很多开发者只知道'父类指针指向子类对象'，却不知道在这平静的代码水面下，编译器和内存在暗流涌动地做着什么。
本文将深入 C++ 的底层，彻底搞懂静态类型与动态类型的博弈、V-Table（虚函数表）的运作机制，以及那些极易被忽视的致命大坑。
一、表象与本质：静态类型 vs 动态类型
要理解多态，首先要把指针（或引用）的身份外衣和它所指向的真实肉身剥离开来看。
Base* basePtr = new Derived();
在这行极其经典的代码中，蕴含着 C++ 编译器视角的两种类型：
- 静态类型（Static Type）：等号左侧的
Base*。这是在**编译期（Compile-time）决定的。编译器在扫描代码时，只认basePtr是一个Base类型的'遥控器'。如果不加virtual，编译器为了追求极致的性能，会直接将所有的方法调用硬编码（静态绑定，Early Binding）**为Base类的方法。 - 动态类型（Dynamic Type）：等号右侧的
new Derived()。这是在**运行期（Run-time）**真正在堆内存（Heap）中开辟出来的数据实体。
那么多态的核心诉求是什么？就是突破编译器的视野限制，让程序在跑起来的那一瞬间，顺着指针去感知底层真实的'动态类型'，并调用对应的方法（动态绑定，Late Binding）。
而开启这扇大门的唯一钥匙，就是 virtual 关键字。
二、多态的昂贵代价：V-Table 与 vptr 的底层黑魔法
C++ 有一句名言：'你不需要为没有使用的特性付出代价（Zero-overhead 原则）'。反过来说：一旦你使用了多态，你就必须支付内存和性能的账单。
当你在父类中只要写下哪怕一个 virtual 函数，编译器的行为就会发生天翻地覆的变化。
1. 虚函数表（Virtual Table / V-Table）：属于类的户口本
在编译阶段，编译器会为这个类（注意，是类，不是对象）悄悄生成一个隐藏的只读数组，这就是 V-Table。
- 这个表里存的什么？是该类所有虚函数的内存地址（函数指针）。
- 如果子类重写了父类的虚函数，子类的 V-Table 中对应的槽位，就会被替换为子类自己函数的地址。
- 存储位置：通常存储在可执行文件的只读数据段（如
.rodata段），全局只有一份，所有该类的实例共享这一张表。
2. 虚指针（Virtual Pointer / vptr）：塞进对象的间谍
表建好了，对象怎么找到它？当你实例化对象（new Derived()）时，编译器会在这个对象的内存布局的最起始位置，强行塞入一个隐藏的指针——vptr，它永远指向这个类专属的 V-Table。
🔬 让我们用显微镜看一看（sizeof 实验）：
class NormalClass {
int data; // 4 字节
{}
};
{
data;
{}
};
