1.装箱是将值类型转化为引用类型,装箱是值类型到 object 类型或到此值类型所实//现的任何接口类型的隐式转换。
2. 拆箱是将引用类型转化为值类型,从 object 类型到值类型或从接口类型到实现该接口的值类型的显式转换。
注:被装过箱的对象才能被拆箱
object
obj = 1;
这行语句的IL代码如下,请注意注释部分说明:
.locals init (
[0]
object
objValue
)
//以上三行IL表示声明object类型的名称为objValue的局部变量
IL_0000: nop
IL_0001: ldc.i4.s 9
//表示将整型数9放到栈顶
IL_0003: box [mscorlib]System.Int32
//执行IL box指令,在内存堆中申请System.Int32类型需要的堆空间
IL_0008: stloc.0
//弹出堆栈上的变量,将它存储到索引为0的局部变量中
以上就是装箱所要执行的操作了,执行装箱操作时不可避免的要在堆上申请内存空间,并将堆栈上的值类型数据复制到申请的堆内存空间上
object
objValue = 4;
int
value = (
int
)objValue;
上面的两行代码会执行一次装箱操作将整形数字常量4装箱成引用类型object变量objValue;然后又执行一次拆箱操作,将存储到堆上的引用变量objValue存储到局部整形值类型变量value中。
同样我们需要看下IL代码:
.locals init (
[0]
object
objValue,
[1] int32
'value'
)
//上面IL声明两个局部变量object类型的objValue和int32类型的value变量
IL_0000: nop
IL_0001: ldc.i4.4
//将整型数字4压入栈
IL_0002: box [mscorlib]System.Int32
//执行IL box指令,在内存堆中申请System.Int32类型需要的堆空间
IL_0007: stloc.0
//弹出堆栈上的变量,将它存储到索引为0的局部变量中
IL_0008: ldloc.0
//将索引为0的局部变量(即objValue变量)压入栈
IL_0009: unbox.any [mscorlib]System.Int32
//执行IL 拆箱指令unbox.any 将引用类型object转换成System.Int32类型
IL_000e: stloc.1
//将栈上的数据存储到索引为1的局部变量即value
装箱操作和拆箱操作是要额外耗费cpu和内存资源的,所以在c# 2.0之后引入了泛型来减少装箱操作和拆箱操作消耗。
原文链接:https://www.cnblogs.com/yukaizhao/archive/2011/10/18/csharp_box_unbox_1.html
装箱/拆箱的内部操作。
//装箱:
//对值类型在堆中分配一个对象实例,并将该值复制到新的对象中。按三步进行。
//第一步:新分配托管堆内存(大小为值类型实例大小加上一个方法表指针和一个//SyncBlockIndex)。
//第二步:将值类型的实例字段拷贝到新分配的内存中。
//第三步:返回托管堆中新分配对象的地址。这个地址就是一个指向对象的引用了。
拆箱:
//检查对象实例,确保它是给定值类型的一个装箱值。将该值从实例复制到值类型变量中。有书上讲,拆箱只是获取引用对象中指向值类型部分的指针,而内容拷贝则是赋值语句之//触发
装箱/拆箱对执行效率的影响
//显然,从原理上可以看出,装箱时,生成的是全新的引用对象,这会有时间损耗,也就是//造成效率降低。
//那该如何做呢?
//首先,应该尽量避免装箱。
//比如上例2的两种情况,都可以避免,
在第一种情况下(装箱),可以通过重载函数来避免。第二种情况(拆箱),则可以通过泛型来避免。