virtual关键字如何实现动态绑定？基于代码示例的技术问询

已知前提 #

• 编译器会为每个包含至少一个virtual函数的类构建一张虚表（virtual table）
• 为包含virtual函数的基类添加一个虚指针（v_ptr），该指针会被所有派生类继承
• 创建类的对象时，v_ptr会指向所属类的虚表

示例代码 #

#include <iostream>
using namespace std;

class base {
    public:
        virtual void show()
        {
            cout << "base\n";
        }
};
class derived:public base{
    public:
        void show()
        {
            cout << "derived\n";
        }
 };


int main()
{
    base* ptr;
    derived drv1;
    ptr = &drv1;
    ptr->show();
    return(0);
}

核心疑问 #

既然虚表和虚指针的构建都在编译时完成，那ptr->show()是如何实现动态绑定的？为何不能在编译时就确定要调用的show()？毕竟ptr指向的是drv1的基类部分，而该部分的v_ptr指向所属类的虚表，看起来编译器应该能提前知道调用目标。

原理解析 #

关键要区分编译时确定的执行逻辑和运行时确定的具体目标：

1. 编译阶段的处理：
   编译器看到ptr是base*类型，且show()是虚函数时，不会直接生成调用base::show()的硬编码指令，而是生成一段通用逻辑的代码：

先获取ptr指向对象的v_ptr → 通过v_ptr找到对应类的虚表 → 从虚表中取出show()的函数地址 → 调用该地址指向的函数

编译器此时只知道要走“虚表查找”的流程，但不知道最终要调用哪个函数的地址——因为ptr实际指向的对象类型，编译时无法100%确定。

2. 运行阶段的绑定：
   当程序执行到ptr = &drv1时，ptr实际指向的是derived类型的对象。这个对象在创建时（运行时），其v_ptr已经被设置为指向derived类的虚表。此时执行ptr->show()，就会通过这个v_ptr找到derived的虚表，取出derived::show()的地址并执行，最终输出derived。

为什么编译时无法确定？ #

C++标准要求虚函数必须支持动态绑定，即函数调用的目标由运行时实际对象的类型决定，而非编译时指针的静态类型。哪怕你的示例中ptr明确指向derived对象，编译器也不会做局部代码路径的预判来绑定函数——它只会遵循虚函数的通用处理规则。

比如如果代码改成下面的形式，编译器根本无法提前知道ptr指向的是base还是derived对象：

base* ptr;
bool is_derived;
cin >> is_derived;
if (is_derived) {
    ptr = new derived();
} else {
    ptr = new base();
}
ptr->show();

这种场景下，只有运行时获取到用户输入后，才能确定要调用哪个show()，这就是动态绑定的核心价值：支持运行时根据对象实际类型选择函数实现。

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