多态实现中的运行期判定原理

多态的运行期判定，说穿了就是一句话：程序在真正跑起来的时候，根据对象的实际类型——而不是你声明时写的那个指针或引用类型——来决定调用哪个方法。这个机制的核心支撑，就是动态绑定。听起来有点绕？别急，我们一层层拆开看。

虚函数表（vtable）是关键基础设施

编译器为每个含有虚函数的类，悄咪咪地生成一张“虚函数表”。这张表里，按着虚函数在类里的声明顺序，依次存放着每个虚函数的真实地址。每个对象在内存里，头部还藏着一个小小的隐式指针——通常叫vptr——它指向自己所属类的那张vtable。当你通过基类指针或引用去调用一个虚函数时，系统先通过vptr找到实际对象所属类的vtable，再去表里查一下，跳转到对应的函数体去执行。

• 派生类如果重写了某个虚函数，它的vtable里对应的那个槽位就会被替换成派生类自己版本的地址。
• 派生类新增的虚函数，就在vtable尾部追加新条目；纯虚函数对应的槽位为空，或者填个特殊标记。
• vtable在编译期就生成好了，运行期只读不写，不管new出多少个对象，vtable只有一份，不会重复构造。

对象实际类型决定vptr指向哪张表

对象被创建的那一刻，它的vptr就被初始化好，指向它最具体的那个类型（也就是你用new直接创建的那个类）的vtable。哪怕你用一个基类指针来接收它，对象内存布局里的vptr纹丝不动。

• 比如：Base* p = new Derived(); → p所指对象的vptr永远指向 Derived::vtable。
• 就算你后续把p赋值给 Base* 或者复姓 GrandBase* 的变量，只要对象本身没变，vptr就始终不变。
• 类型转换（比如 static_cast）不会改动vptr；只有对象真正重建（比如拷贝构造、切片）才可能换一张表。

调用过程：一次间接寻址 + 一次跳转

像 p->func() 这样调用虚函数，底层实际走了三步：

• 从p解引用，取出对象的内存首地址。
• 从首地址的偏移位置读取vptr，拿到vtable的地址。
• 根据func在类中虚函数声明顺序（可以理解成索引号），去vtable对应的偏移处取出函数地址，然后直接跳过去执行。

这个过程全程由编译器自动生成，对程序员来说完全透明。但正是这看似不起眼的几步操作，决定了“到底调用哪个函数”——完全取决于运行时对象的真实类型，而不是你代码里那个指针的类型。

非虚函数与静态绑定对比更清晰

非虚函数的调用，编译期就把目标地址定死了（叫静态绑定），只认指针或引用的静态类型。虚函数就偏不，必须拖到运行期，靠着vtable机制绕过编译时的类型信息限制。

• 没有虚函数的类（比如不含虚函数的struct）自然就没有vptr，sizeof结果里也不会多出那8个字节（或4个字节，看平台）的额外开销。
• 虚继承、多重继承会引入更复杂的vtable结构——可能多个vptr、thunk跳转之类的，但底层原理一致。
• 现代编译器偶尔会做devirtualization优化（比如能证明对象类型唯一，就直接内联掉），但语义上，运行期判定仍然是正统。