Emit學習(2) - IL - 對象的創建過程

上一篇的介紹中, 並沒有介紹到對象的創建過程, 這一篇主要就介紹一下, 對象的創建過程.

其實熟悉了IL語法之後, 完全可以用Reflector反編譯代碼去查看. 而且正因為有這個工具, 可以對照著Reflecotr中的IL代碼去寫Emit的IL. 

好了, 開始正題了, 還是從實例開始:

一、示例

首先建類(Person, Contacts):

public class Person
    {
        public string Name { get; set; }

        public int Age { get; set; }

        public Contacts Contact { get; set; }

        public override string ToString()
        {
            return  string.Format("Name:{0}\r\nAge:{1}\r\nContact:{2}", this.Name, this.Age, this.Contact.ToString());
        }
    }
    
    public class Contacts
    {
        public string Address { get; set; }

        public string Phone { get; set; }

        public string QQ { get; set; }

        public override string ToString()
        {
            var res = string.Format(@"[Address:{0}, Phone:{1}, QQ:{2}]", this.Address, this.Phone, this.QQ);
            return res;
        }
    }

然後就可以寫創建方法了:

static void PersonTest()
{
       var contacts = new Contacts {  Address="HeFei", Phone="15112341234", QQ="66666666"};
       var person = new Person { Name = "Wubi", Age = 20, Contact = contacts };
       Console.WriteLine(person.ToString());
 }

反編譯後的IL代碼如下:

.method private hidebysig static void PersonTest() cil managed
{
    .maxstack 2
    .locals init (
        [0] class ConsoleApplication1.Contacts contacts,
        [1] class ConsoleApplication1.Person person,
        [2] class ConsoleApplication1.Contacts contacts2,
        [3] class ConsoleApplication1.Person person2)

    L_0000: nop 
    L_0001: newobj instance void ConsoleApplication1.Contacts::.ctor()
    L_0006: stloc.2 

    L_0007: ldloc.2 
    L_0008: ldstr "HeFei"
    L_000d: callvirt instance void ConsoleApplication1.Contacts::set_Address(string)  //contacts2.Address = "HeFei"

    L_0012: nop 
    L_0013: ldloc.2 
    L_0014: ldstr "15112341234"
    L_0019: callvirt instance void ConsoleApplication1.Contacts::set_Phone(string)

    L_001e: nop 
    L_001f: ldloc.2 
    L_0020: ldstr "66666666"
    L_0025: callvirt instance void ConsoleApplication1.Contacts::set_QQ(string)

    L_002a: nop 
    L_002b: ldloc.2 
    L_002c: stloc.0   //contacts = contacts2

    L_002d: newobj instance void ConsoleApplication1.Person::.ctor()
    L_0032: stloc.3 
    L_0033: ldloc.3 
    L_0034: ldstr "Wubi"
    L_0039: callvirt instance void ConsoleApplication1.Person::set_Name(string)

    L_003e: nop 
    L_003f: ldloc.3 
    L_0040: ldc.i4.s 20
    L_0042: callvirt instance void ConsoleApplication1.Person::set_Age(int32)

    L_0047: nop 
    L_0048: ldloc.3 
    L_0049: ldloc.0 
    L_004a: callvirt instance void ConsoleApplication1.Person::set_Contact(class ConsoleApplication1.Contacts)

    L_004f: nop 
    L_0050: ldloc.3 
    L_0051: stloc.1 
    L_0052: ldloc.1 

    L_0053: callvirt instance string [mscorlib]System.Object::ToString()
    L_0058: call void [mscorlib]System.Console::WriteLine(string)
    L_005d: nop 
    L_005e: ret 
}

二、補充的點

可能有人註意到了, 此處調用方法時, 用的並不是Call, 而是 Callvirt, 什麼時候用Call, 什麼時候用Callvirt呢?

首先, 我們看callvirt出現的位置, 是出現在public string Name{get;set;}中的, get, set其實是兩個方法, 大家都知道的, 所以在給屬性賦值時, 其實是調用的方法, 所以這裡賦值並不是用的stloc之類的

.method public hidebysig specialname instance void set_Name(string 'value') cil managed
{
    .custom instance void [mscorlib]System.Runtime.CompilerServices.CompilerGeneratedAttribute::.ctor()
    .maxstack 8
    L_0000: ldarg.0    //非靜態方法中, arg0指的是this
    L_0001: ldarg.1    //arg1才是這裡的'value'
    L_0002: stfld string ConsoleApplication1.Person::<Name>k__BackingField
    L_0007: ret 
}

其次, 我們先從字面的意思去看著兩個指令

Call 都知道是調用的意思, 那麼Callvirt什麼意思呢? 從前面的經驗, 我想到, 這些指令並不是隨便取的, 短到一個字母都是有特定意義的, 所以, 把Callvirt拆開來, 只看virt, 是不是有些熟悉的趕腳, 跟virtual這個單詞比較一下, 就能明白Callvirt主要是調用那些方法了.

嘿嘿, 沒有再次了哦, 下麵是call和callvirt的一些區別:

1.call可以調用靜態方法, 實例方法, 以及虛方法; 而callvirt只能調用實例方法和虛方法, 對於靜態方法, 是心有餘而力不足的

2.call一般是以非虛的方法來調用函數的, 而callvirt是以多態的方式來調用函數的.

至於異同的實例, 我就不給了, 大家可以看一下 : http://www.cnblogs.com/wang_yb/archive/2011/06/28/2092327.html

網路時代就是好啊, 可以很容易的就能獲取到別人的成果, 謝謝這些哥們了