调试vtable工作机制：基类调用虚方法的执行顺序探究

首先看你提供的代码：

internal class SchoolCalendar
{
    public void GetSchoolYear()
    {
        Console.WriteLine("Base GetSchoolYear called from: " + this);
        LeapYear();
    }

    public virtual void LeapYear()
    {
        Console.WriteLine("Base Leap Year");
    }
}

internal class DerivedSchoolCalendar : SchoolCalendar
{
    public override void LeapYear()
    {
        Console.WriteLine("Derived Leap Year");
    }
}


internal class Program
{
    static void Main(string[] args)
    {
        SchoolCalendar bsy = new DerivedSchoolCalendar();
        bsy.GetSchoolYear();
    }
}

一、vtable的执行细节与顺序 #

每个包含虚方法的类（包括基类和派生类）都会生成自己的vtable（虚方法表），表中存储着该类所有虚方法的实际执行地址。

当你创建DerivedSchoolCalendar实例时，这个对象的内存头部会有一个vptr（虚表指针），它始终指向派生类的vtable——不管你用基类类型还是派生类类型的变量去引用这个对象，vptr的指向不会变。

在基类的GetSchoolYear方法里调用LeapYear()时，本质是通过当前对象的this指针获取vptr，再通过vptr找到对应的vtable，取出LeapYear方法的执行地址。因为当前对象是DerivedSchoolCalendar实例，vptr指向的是派生类的vtable，而派生类vtable里LeapYear对应的是重写后的方法地址，所以会直接执行派生类的LeapYear，不存在“先调用基类vtable再跳转”的过程。

完整执行流程：

1. Main方法中创建DerivedSchoolCalendar实例，变量bsy是基类类型，但对象自身的vptr指向派生类vtable。
2. 调用bsy.GetSchoolYear()：因为GetSchoolYear是非虚方法，直接执行基类的实现。
3. 基类GetSchoolYear内部调用LeapYear()：通过this指针获取vptr，找到派生类vtable中LeapYear的入口地址，执行派生类的重写方法。

二、无需反射的vtable跟踪调试方法 #

1. Visual Studio调试窗口查看vptr与vtable #

• 在GetSchoolYear调用LeapYear的行打上断点，启动调试并暂停。
• 打开局部变量窗口，找到this对象，展开后能看到类似__vptr$SchoolCalendar的项（不同编译器命名可能略有差异），这就是vptr。
• 复制vptr的地址，打开内存窗口并输入该地址，就能看到vtable里的方法地址列表。对比基类和派生类的vtable地址，就能确认当前使用的是哪个类的vtable。

2. 断点与调用栈验证 #

• 在基类和派生类的LeapYear方法中都打上断点，运行程序时观察断点触发顺序，直接就能看到执行的是派生类的方法。
• 调试时打开调用栈窗口，查看方法调用路径，同时在局部变量窗口查看this的运行时类型，就能直观验证vtable的指向逻辑。

3. 代码中输出运行时类型辅助验证 #

在基类的GetSchoolYear方法中添加一行代码：

Console.WriteLine("当前对象的运行时类型: " + this.GetType());

运行后会直接输出DerivedSchoolCalendar，这也能帮你理解为什么会调用派生类的虚方法。

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