多态实现中的运行期判定原理
多态的运行期判定,说穿了就是一句话:程序在真正跑起来的时候,根据对象的实际类型——而不是你声明时写的那个指针或引用类型——来决定调用哪个方法。这个机制的核心支撑,就是动态绑定。听起来有点绕?别急,我们一层层拆开看。 虚函数表(vtable)是关键基础设施 编译器为每个含有虚函数的类,悄咪咪地生成一张
多态的运行期判定,说穿了就是一句话:程序在真正跑起来的时候,根据对象的实际类型——而不是你声明时写的那个指针或引用类型——来决定调用哪个方法。这个机制的核心支撑,就是动态绑定。听起来有点绕?别急,我们一层层拆开看。
虚函数表(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优化(比如能证明对象类型唯一,就直接内联掉),但语义上,运行期判定仍然是正统。


































