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="", QQ=""};
       var person = new Person { Name = "Wubi", Age = , Contact = contacts };
       Console.WriteLine(person.ToString());
 }

反编译后的IL代码如下:

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

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

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

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

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

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

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

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

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

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

    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
    L_0000: ldarg.    //非静态方法中, arg0指的是this
    L_0001: ldarg.    //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

还有一个哥们也写过call与callvirt的区别 : http://www.cnblogs.com/yingql/archive/2009/03/23/1420000.html

网络时代就是好啊, 可以很容易的就能获取到别人的成果, 谢谢这些哥们了