结合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()");

        }

    }

}

View Code

可能你对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了。