C++中基类指针如何判断指向的派生类以实现运行时多态？

核心结论前置 #

• 你猜测的“程序追踪指针最近一次赋值的派生类类型来匹配方法”完全不成立：所有类型识别的信息完全存储在对象自身的内存布局中，和指针变量的赋值历史没有任何关系。

带虚函数类的标准内存布局（主流编译器通用实现） #

只要类中声明了至少一个虚函数，编译器会自动为这个类的所有实例做两个隐藏的内存布局约定：

• 每个类的实例对象内存块的最开头，会插入一个隐藏的指针成员：虚表指针（vptr），这个成员对用户代码是不可见的，但编译器所有涉及虚函数的调用逻辑都会围绕它实现。
• 每个类（包括基类和所有派生类）会在全局只读数据段生成一张专属的虚函数表（vtable），表中按固定顺序存储了这个类所有虚函数的实际内存入口地址。比如b类的虚表里，foo的位置存的是b::foo的地址；d1的虚表里，同一个偏移位置存的是d1::foo的地址；d2的虚表里同一个偏移位置存的是d2::foo的地址。
• 对象的vptr赋值是在构造流程中自动完成的：编译器会在每个类的构造函数开头插入固定指令，把当前类对应的虚表地址写入对象的vptr。比如构造d1对象时，会先完成内嵌b子对象的构造（这一步b子对象的vptr会指向b的虚表），等流程走到d1自身的构造逻辑时，再把整个对象的vptr覆盖为d1对应的虚表地址。对象构造完成后，这个vptr会固定指向实际类型对应的虚表，直到对象被析构。

虚函数调用的实际执行流程 #

你代码中b1->foo()这类带虚函数的调用，编译器不会在编译期直接写死foo的函数地址，反而会生成一套固定的通用执行步骤：

1. 从基类指针b1取出当前指向的内存地址（单继承场景下，这个地址刚好是派生类对象内嵌基类子对象的起始位置，和整个派生类对象的起始位置重合）
2. 从该起始位置读出隐藏的vptr值，拿到当前对象实际对应类的虚表地址
3. 按照编译期就确定好的统一偏移量，从虚表中取出foo函数对应的条目（比如如果foo是类中第一个声明的虚函数，偏移量就是0；这个偏移规则对所有继承层级的类都是统一的）
4. 直接跳转到取出的函数地址执行对应的逻辑。

对应你写的代码场景：

• 第一次b1 = new d1()时，d1对象构造完成，vptr指向d1的虚表，从虚表取出的foo地址就是d1::foo，因此执行code2
• 后续b1 = new d2()时，b1现在指向刚构造完成的d2对象，该对象的vptr指向d2的虚表，从虚表取出的foo地址就是d2::foo，因此执行code3

为什么“追踪指针赋值历史”的猜测不符合实际运行逻辑 #

可以通过两个非常直观的反例推翻这个猜测：

• 反例1：如果把基类指针作为参数跨函数、跨模块传递，甚至存入数组、容器等结构中，经过无数次拷贝和赋值后，最后调用虚函数依然能正确匹配实际对象的类型。如果程序真的需要追踪指针的赋值历史，那这种跨作用域的指针传递根本不可能正确识别类型——毕竟被调函数根本看不到指针在调用方的赋值流程。本质上这些流程都不需要追踪指针，因为类型信息存在对象自己身上，和指针在哪、被怎么传递完全无关。
• 反例2：同一个指针变量可以先后指向完全不同的、兼容的类对象（比如先后指向d1、d2的实例），这个过程中程序从来不需要给指针变量本身记录什么“当前指向的类型”，每次调用时都是从当前指向的对象内存里读取vptr来匹配函数。

很多技术资料提到“当指针引用d1类型对象时，程序知晓b1指向该d1对象内嵌的基类子对象部分”，这句话对应的是多重继承场景的细节：当一个派生类同时继承多个带虚函数的基类时，每个基类子对象都会自带一个vptr，分别指向对应基类层级的虚表。这时候基类指针的实际值会被编译器调整为指向派生类内存中对应的那个基类子对象的起始位置，调用虚函数时也是从这个子对象的vptr开始查找，这也是所有多态识别的核心，全程不涉及对指针赋值历史的追踪。

内容的提问来源于stack exchange，提问作者brickbobed