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

2018-06-22 06:42:47来源：未知阅读 ()

先上测试代码：

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是长什么样子的吧：