Emit学习 - IL - 值类型和引用类型(补)

Posted Sniper_ZL

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了Emit学习 - IL - 值类型和引用类型(补)相关的知识,希望对你有一定的参考价值。

上周末回家去享受生活了, 工作是为了更好的生活嘛, 所以我把生活, 工作分的比较开. 这几天不是很忙, 在学习工作技能的同时, 发点博文, 也算是做一个学习笔记

上篇中, 贴出的地址里面那位哥, 也有一篇值类型和引用类型的文章

来源:http://www.cnblogs.com/yingql/archive/2009/03/23/1420026.html

我这个和他的那个稍有不同, 各位看官, 请!

一、示例

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

        public int Age { get; set; }
    }

    class Program
    {
        private Random rand = new Random(DateTime.Now.Millisecond);

        private Person person = new Person { Name = "Elvin", Age = 26 };

        private string pro = "pro";

        private double dou = 3.14;

        static void Main(string[] args)
        {
            Console.WriteLine("Main");
            Console.ReadKey();
        }
    }

反编译Program的构造函数, 代码如下:

public Program()
{
    this.rand = new Random(DateTime.Now.Millisecond);
    Person person = new Person {
        Name = "Elvin",
        Age = 0x1a
    };
    this.person = person;
    this.pro = "pro";
    this.dou = 3.14;
}

    .method public hidebysig specialname rtspecialname instance void .ctor() cil managed
{
    .maxstack 3
    .locals init (
        [0] class ConsoleApplication3.Person person,
        [1] valuetype [mscorlib]System.DateTime time)

    L_0000: ldarg.0    //加载this, 是一个地址, 将this沉底, 为一会的this.rand = new Random()服务
L_0001: call valuetype [mscorlib]System.DateTime [mscorlib]System.DateTime::get_Now() L_0006: stloc.1 //初始化time, 为当前时间 L_0007: ldloca.s time //加载time的地址, 为什么加载地址呢, 一会详细介绍, 容我卖个关子 (1) L_0009: call instance int32 [mscorlib]System.DateTime::get_Millisecond() //调用结构体Datetime的方法 L_000e: newobj instance void [mscorlib]System.Random::.ctor(int32) //new Random(), 将对象放入堆中, 然后把指向此对象的地址压栈 L_0013: stfld class [mscorlib]System.Random ConsoleApplication3.Program::rand //把刚刚得到的地址赋给rand, 实现this.rand = new Random()功能 L_0018: ldarg.0 //加载this地址,将this沉底, 为一会的this.person=person服务
L_0019: newobj instance void ConsoleApplication3.Person::.ctor() //new Person() L_001e: stloc.0 //person = new Person(), 这里的person并不是this.person, 注意 L_001f: ldloc.0 //加载person, 为什么此处是用的ldloc, 而不是ldloca呢? 答案马上揭晓 L_0020: ldstr "Elvin" //加载 "Elvin" 字符串 L_0025: callvirt instance void ConsoleApplication3.Person::set_Name(string) //person.Name = "Elvin" L_002a: nop L_002b: ldloc.0 L_002c: ldc.i4.s 0x1a L_002e: callvirt instance void ConsoleApplication3.Person::set_Age(int32) L_0033: nop L_0034: ldloc.0 //加载person, 不是this.person L_0035: stfld class ConsoleApplication3.Person ConsoleApplication3.Program::person //给this.person赋值, this.person=person L_003a: ldarg.0 //加载this, 这里加载this做什么? (2) L_003b: ldstr "pro" //加载"pro"字符串 L_0040: stfld string ConsoleApplication3.Program::pro //this.pro = "pro" L_0045: ldarg.0 L_0046: ldc.r8 3.14 L_004f: stfld float64 ConsoleApplication3.Program::dou L_0054: ldarg.0 L_0055: call instance void [mscorlib]System.Object::.ctor() L_005a: nop L_005b: ret }

例子大家应该都能看得懂, 下面就揭晓上面的包袱

二、注意的点

在揭晓答案之前, 首先得开一扇窗户.

大家应该都知道, 值类型、引用类型是怎么存储的吧, 多的就不解释了, 上一幅图吧

2. stfld -- 好吧, 在讲第1点之前, 我还是想先将第2点

先看stfld的工作原理, 即堆栈转换行为如下:

按照先后顺序:

  1.将一个对象引用或指针压入堆栈

  2.将值压入堆栈

  3.该值和对象的引用/指针从堆栈中弹出,对象的字段更新为替换的值

详细分析 : http://www.cnblogs.com/jackson0714/p/4995948.html

从上面可以看出, 是需要传地址的, 先传地址, 在传值, 接着调用stfld指令, 才能完成赋值操作, 所以这里传了个ldarg.0, 来完成this.pro="pro"功能

 

1. ldloc 与 ldloca

从上面的例子, 看到在使用Person的时候, 用的ldloc, 而使用DateTime的时候, 却使用了ldloca, 此处就能体现引用类型和值类型的区别了.

在调用方法的时候, 由于引用类型在栈中, 存放的就是地址, 所以可以直接实现调用内部方法的功能, 

而值类型并不是直接存放地址的, 所以在调用内部方法的时候, 其实是传地址来实现此功能的.

对象,结构体(值类型本质也是结构体, 如:int, decimal)在调用自身方法/属性/字段的时候, 都是通过传递地址的方式来调用的. time.Year(), 此处的time就是地址, person.Name, 此处的person也是一个地址

 这哥们对IL有一个比较详细的介绍:http://www.cnblogs.com/jackson0714/p/DotNET_IL3.html#_label4

以上是关于Emit学习 - IL - 值类型和引用类型(补)的主要内容,如果未能解决你的问题,请参考以下文章

值类型和引用类型深入理解

反射-Emit

一个从C++初级到C#高级的面试历程

CodeDom

IL初步了解

《JS高程》基本类型和引用类型的值学习笔记