《拆箱与装箱的解释》由会员分享,可在线阅读,更多相关《拆箱与装箱的解释(8页珍藏版)》请在金锄头文库上搜索。
1、拆箱概念1. 装箱和拆箱是一个抽象的概念 。2. 装箱是将值类型转换为引用类型 ;拆箱是将引用类型转换为值类型 ;利用装箱和拆箱功能,可通过允许值类型的任何值与 Object 类型的值相互转换,将值类型与引用类型链接起来。例如:int val = 100;object obj = val;Console.WriteLine (“对象的值 = 0, obj);这是一个装箱的过程,是将值类型转换为引用类型的过程。int val = 100;object obj = val;int num = (int) obj;Console.WriteLine (num: 0, num);这是一个拆箱的过程,是
2、将值类型转换为引用类型,再由引用类型转换为值类型的过程。 注:被装过箱的对象才能被拆箱3. .NET 中,数据类型划分为值类型和引用(不等同于 C+的指针)类型,与此对应,内存分配被分成了两种方式,一为栈,二为 堆,注意:是托管堆。值类型只会在栈中分配;引用类型分配内存与托管堆;托管堆对应于垃圾回收。4. 装箱/拆箱是什么?装箱:用于在垃圾回收堆中存储值类型。装箱是值类型到 object 类型或到此值类型所实现的任何接口类型的隐式转换。拆箱:从 object 类型到值类型或从接口类型到实现该接口的值类型的显式转换。5. 为何需要装箱?(为何要将值类型转为引用类型?)一种最普通的场景是,调用一个
3、含类型为 Object 的参数的方法,该 Object 可支持任意为型,以便通用。当你需要将一个值类型(如Int32)传入时,需要装箱。另一种用法是,一个非泛型的容器,同样是为了保证通用,而将元素类型定义为 Object。于是,要将值类型数据加入容器时,需要装箱。6. 装箱/拆箱的内部操作。装箱: 对值类型在堆中分配一个对象实例,并将该值复制到新的对象中。按三步进行。第一步:新分配托管堆内存(大小为值类型实例大小加上一个方法表指针和一个 SyncBlockIndex)。第二步:将值类型的实例字段拷贝到新分配的内存中。第三步:返回托管堆中新分配对象的地址。这个地址就是一个指向对象的引用了。有人这
4、样理解:如果将 Int32 装箱,返回的地址,指向的就是一个 Int32。我认为也不是不能这样理解,但这确实又有问题,一来它不全面,二来指向 Int32 并没说出它的实质(在托管堆中)。拆箱:检查对象实例,确保它是给定值类型的一个装箱值。将该值从实例复制到值类型变量中。有书上讲,拆箱只是获取引用对象中指向值类型部分的指针,而内容拷贝则是赋值语句之触发。我觉得这并不要紧。最关键的是检查对象实例的本质,拆箱和装箱的类型必需匹配,这一点上,在 IL 层上,看不出原理何在,我的猜测,或许是调用了类似 GetType 之类的方法来取出类型进行匹配(因为需要严格匹配)。7. 装箱/拆箱对执行效率的影响显然
5、,从原理上可以看出,装箱时,生成的是全新的引用对象,这会有时间损耗,也就是造成效率降低。那该如何做呢?首先,应该尽量避免装箱。比如上例 2 的两种情况,都可以避免,在第一种情况下,可以通过重载函数来避免。第二种情况,则可以通过泛型来避免。当然,凡事并不能绝对,假设你想改造的代码为第三方程序集,你无法更改,那你只能是装箱了。对于装箱/拆箱代码的优化,由于 C#中对装箱和拆箱都是隐式的,所以,根本的方法是对代码进行分析,而分析最直接的方式是了解原理结何查看反编译的 IL 代码。比如:在循环体中可能存在多余的装箱,你可以简单采用提前装箱方式进行优化。8. 对装箱/拆箱更进一步的了解概述拆箱是将引用类
6、型转换为值类型 利用装箱和拆箱功能,可通过允许值类型的任何值与 Object 类型的值相互转换,将值类型与引用类型链接起来 例如: int val = 100; object obj = val; Console.WriteLine (“对象的值 = , obj); 这是一个装箱的过程,是将值类型转换为引用类型的过程 int val = 100; object obj = val; int num = (int) obj; Console.WriteLine (num: , num); 这是一个拆箱的过程,是将值类型转换为引用类型,再由引用类型转换为值类型的过程举例说明装箱/拆箱并不如上面所讲
7、那么简单明了,比如:装箱时,变为引用对象,会多出一个方法表指针,这会有何用处呢?我们可以通过示例来进一步探讨。Struct A : ICloneable public Int32 x;public override String ToString() return String.Format(”0”,x); public object Clone() return MemberwiseClone(); static void main()A a;a.x = 100;Console.WriteLine(a.ToString();Console.WriteLine(a.GetType();A a2
8、 = (A)a.Clone();ICloneable c = a2;Ojbect o = c.Clone();5.0:a.ToString()。编译器发现 A 重写了 ToString 方法,会直接调用 ToString 的指令。因为 A 是值类型,编译器不会出现多态行为。因此,直接调用,不装箱。(注:ToString 是 A 的基类System.ValueType 的方法)5.1:a.GetType(),GetType 是继承于 System.ValueType 的方法,要调用它,需要一个方法表指针,于是 a 将被装箱,从而生成方法表指针,调用基类的 System.ValueType。(补一
9、句,所有的值类型都是继承于 System.ValueType 的)。5.2:a.Clone(),因为 A 实现了 Clone 方法,所以无需装箱。5.3:ICloneable 转型:当 a2 为转为接口类型时,必须装箱,因为接口是一种引用类型。5.4:c.Clone()。无需装箱,在托管堆中对上一步已装箱的对象进行调用。附:其实上面的基于一个根本的原理,因为未装箱的值类型没有方法表指针,所以,不能通过值类型来调用其上继承的虚方法。另外,接口类型是一个引用类型。对此,我的理解,该方法表指针类似 C+的虚函数表指针,它是用来实现引用对象的多态机制的重要依据。9. 如何更改已装箱的对象对于已装箱的对
10、象,因为无法直接调用其指定方法,所以必须先拆箱,再调用方法,但再次拆箱,会生成新的栈实例,而无法修改装箱对象。有点晕吧,感觉在说绕口令。还是举个例子来说:(在上例中追加 change 方法)public void Change(Int32 x) this.x = x;调用:A a = new A();a.x = 100;Object o = a; /装箱成 o,下面,想改变 o 的值。(A)o).Change(200); /改掉了吗?没改掉。没改掉的原因是 o 在拆箱时,生成的是临时的栈实例 A,所以,改动是基于临时 A 的,并未改到装箱对象。(附:在托管 C+中,允许直接取加拆箱时第一步得到
11、的实例引用,而直接更改,但 C#不行。)那该如何是好?嗯,通过接口方式,可以达到相同的效果。实现如下:interface IChange void Change(Int32 x);struct A : IChange 调用:(IChange)o).Change(200);/改掉了吗?改掉了。为啥现在可以改?在将 o 转型为 IChange 时,这里不会进行再次装箱,当然更不会拆箱,因为 o 已经是引用类型,再因为它是 IChange 类型,所以可以直接调用 Change,于是,更改的也就是已装箱对象中的字段了,达到期望的效果。10. 将值类型转换为引用类型,需要进行装箱操作(boxing):1
12、)首先从托管堆中为新生成的引用对象分配内存。2)然后将值类型的数据拷贝到刚刚分配的内存中。3)返回托管堆中新分配对象的地址。可以看出,进行一次装箱要进行分配内存和拷贝数据这两项比较影响性能的操作。将引用内型转换为值内型,需要进行拆箱操作(unboxing):1)首先获取托管堆中属于值类型那部分字段的地址,这一步是严格意义上的拆箱。2)将引用对象中的值拷贝到位于线程堆栈上的值类型实例中。经过这 2 步,可以认为是同 boxing 是互反操作。严格意义上的拆箱,并不影响性能,但伴随这之后的拷贝数据的操作就会同 boxing 操作中一样影响性能。拆箱与装箱的解释值类型转换成引用类型的过程叫装箱引用类型转换成值类型叫折箱例:/装箱 int i=123;object o=i;/装箱 int i=456;Console.WriteLine(值类型的值为+i); /这里显示456Console.WriteLine(引用类型的值为+o); /这里显示 123 解释:当 i 是值类型,所以当 i 值改变时,只能改变它自己的值,无法修改引用类型 o 的值.可以理解为创建 objcet 实例,并将 i 的值复制给这个o/拆箱/上面已经把 i 装箱成 object,现在把 o 拆箱 int j = (int)o; /o 是 object,要把它赋值给 int 型的变量,必须将 o 转换成 int 型.