上周末回家去享受生活了, 工作是为了更好的生活嘛, 所以我把生活, 工作分的比较开. 这几天不是很忙, 在学习工作技能的同时, 发点博文, 也算是做一个学习笔记
上篇中, 贴出的地址里面那位哥, 也有一篇值类型和引用类型的文章
来源: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 = }; 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
.locals init (
[] class ConsoleApplication3.Person person,
[] valuetype [mscorlib]System.DateTime time) L_0000: ldarg. //加载this, 是一个地址, 将this沉底, 为一会的this.rand = new Random()服务
L_0001: call valuetype [mscorlib]System.DateTime [mscorlib]System.DateTime::get_Now()
L_0006: stloc. //初始化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. //加载this地址,将this沉底, 为一会的this.person=person服务
L_0019: newobj instance void ConsoleApplication3.Person::.ctor() //new Person()
L_001e: stloc. //person = new Person(), 这里的person并不是this.person, 注意
L_001f: ldloc. //加载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.
L_002c: ldc.i4.s 0x1a
L_002e: callvirt instance void ConsoleApplication3.Person::set_Age(int32)
L_0033: nop L_0034: ldloc. //加载person, 不是this.person
L_0035: stfld class ConsoleApplication3.Person ConsoleApplication3.Program::person //给this.person赋值, this.person=person L_003a: ldarg. //加载this, 这里加载this做什么? (2)
L_003b: ldstr "pro" //加载"pro"字符串
L_0040: stfld string ConsoleApplication3.Program::pro //this.pro = "pro" L_0045: ldarg.
L_0046: ldc.r8 3.14
L_004f: stfld float64 ConsoleApplication3.Program::dou
L_0054: ldarg.
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