結合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是長什么樣子的吧：