版权声明：此文章转载自_infocool
原文链接：http://www.infocool.net/kb/CSharp/201610/207222.html
如需转载请联系听云College团队成员小尹 邮箱：yinhy#tingyun.com
上周末回家去享受生活了, 工作是为了更好的生活嘛, 所以我把生活, 工作分的比较开. 这几天不是很忙, 在学习工作技能的同时, 发点博文, 也算是做一个学习笔记
上篇中, 贴出的地址里面那位哥, 也有一篇值类型和引用类型的文章
我这个和他的那个稍有不同, 各位看官, 请!
一、示例
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 }
例子大家应该都能看得懂, 下面就揭晓上面的包袱
二、注意的点
在揭晓答案之前, 首先得开一扇窗户.
大家应该都知道, 值类型、引用类型是怎么存储的吧, 多的就不解释了, 上一幅图吧
Emit学习(2) - IL - 值类型和引用类型(补)
2. stfld -- 好吧, 在讲第1点之前, 我还是想先将第2点
先看stfld的工作原理, 即堆栈转换行为如下：
按照先后顺序：
（1）.将一个对象引用或指针压入堆栈
（2）.将值压入堆栈
（3）.该值和对象的引用/指针从堆栈中弹出，对象的字段更新为替换的值
详细分析 : http://www.infocool.net/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.infocool.net/jackson0714/p/DotNET_IL3.html#_label4
分享到微信
分享到微博
