结合IL和Windbg来看.Net调用继承虚方法的执行顺序

先上测试代码：

using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading.Tasks;

namespace TestVirt
{
    class Program
    {
        static void Main(string[] args)
        {
            A c1 = new C();
            c1.Foo();

            C c2 = new C();
            c2.Foo();

            Console.ReadLine();
        }
    }

    class A
    {
        public virtual void Foo()
        {
            Console.WriteLine("Call on A.Foo()");
        }
    }

    class B : A
    {
        public override void Foo()
        {
            Console.WriteLine("Call on B.Foo() ");
        }
    }

    class C : B
    {
        public new void Foo()
        {
            Console.WriteLine("Call on C.Foo()");
        }
    }
}

可能你对C c2 = new C();这个的结果没有什么疑问，但是对A c1 = new C();的结果百思不解。呵呵，我们慢慢来看这个区别，先来看看最终的IL代码是什么样子的：

.method private hidebysig static void  Main(string[] args) cil managed
{
  .entrypoint
  // 代码大小       34 (0x22)
  .maxstack  1
  .locals init ([0] class TestVirt.A c1,
           [1] class TestVirt.C c2)
  IL_0000:  nop
  IL_0001:  newobj     instance void TestVirt.C::.ctor()
  IL_0006:  stloc.0
  IL_0007:  ldloc.0
  IL_0008:  callvirt   instance void TestVirt.A::Foo()
  IL_000d:  nop
  IL_000e:  newobj     instance void TestVirt.C::.ctor()
  IL_0013:  stloc.1
  IL_0014:  ldloc.1
  IL_0015:  callvirt   instance void TestVirt.C::Foo()
  IL_001a:  nop
  IL_001b:  call       string [mscorlib]System.Console::ReadLine()
  IL_0020:  pop
  IL_0021:  ret
} // end of method Program::Main

　　

根据IL的结果，我们明显可以看到，两次调用不同的地方就在于一个是Call的A的Foo,一个是C的Foo。

但是这里你注意了：我们new的是同样的一个对象，他们具有同样的内存布局。

用WinDbg来看看我们new出来对象的MethodTable是长什么样子的吧：

看到没有，这个C对象的方法表里面同时包括了C自己定义的Foo和上一层次父对象的Foo方法。

结合IL的结果和C对象的方法表的Dump结果，相信看官已经明白为啥两次调用为啥会用不同了吧。

算了，还是简单描述一下吧：首先根据il的结果明显两次调用请求的方法是不同的；其次，你可以看到我们的C对象引用的方法表里面确实有两个Foo方法。

呵呵，这样同样类型的对象对不同方法调用的请求是不是就可以分开了呢？当然是！

PS:可能会有人问：为啥我请求的A.Foo()你这个MethodTable里面没有呢？

脑补下吧哥：被B给override了。