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

2019-11-14 16:09:53

字体：大中小

来源：转载

供稿：网友

先上测试代码：

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