1、什么是装箱和拆箱?
简单来说:装箱是将值类型转换为引用类型 ;拆箱是将引用类型转换为值类型。(网上广为流传)
C#中值类型和引用类型的最终基类都是Object类型(它本身是一个引用类型)。也就是说,值类型也可以当做引用类型来处理。而这种机制的底层处理就是通过装箱和拆箱的方式来进行,利用装箱和拆箱功能,可通过允许值类型的任何值与Object 类型的值相互转换,将值类型与引用类型链接起来 。
例如:1 int val = 100; 2 object obj = val; 3 Console.WriteLine ("对象的值 = {0}", obj); //对象的值 = 100
1 int val = 100; 2 object obj = val; 3 int num = (int) obj; 4 Console.WriteLine ("num: {0}", num); //num: 100
这是一个拆箱的过程,是将值类型转换为引用类型,再由引用类型转换为值类型的过程 。 注:被装过箱的对象才能被拆箱
2、装箱和拆箱的内部操作是什么样的?
值类型只会在栈中分配。 引用类型分配内存与托管堆。(托管堆对应于垃圾回收。)
装箱操作:
PS:o 和 i 的改变将互不影响,因为装箱使用的是 i 的一个副本。
对值类型在堆中分配一个对象实例,并将该值复制到新的对象中。按三步进行。 1:首先从托管堆中为新生成的引用对象分配内存(大小为值类型实例大小加上一个方法表指针和一个SyncBlockIndex)。 2:然后将值类型的数据拷贝到刚刚分配的内存中。 3:返回托管堆中新分配对象的地址。这个地址就是一个指向对象的引用了。 可以看出,进行一次装箱要进行分配内存和拷贝数据这两项比较影响性能的操作。
拆箱操作:
PS:o 和 i 的改变将互不影响(已验证)。
1、首先获取托管堆中属于值类型那部分字段的地址,这一步是严格意义上的拆箱。 2、将引用对象中的值拷贝到位于线程堆栈上的值类型实例中。 经过这2步,可以认为是同boxing是互反操作。严格意义上的拆箱,并不影响性能,但伴随这之后的拷贝数据的操作就会同boxing操作中一样影响性能。
3、为什么需要装箱(为何要将值类型转为引用类型?)
一种最普通的场景是,调用一个含类型为Object的参数的方法,该Object可支持任意为型,以便通用。当你需要将一个值类型(如Int32)传入时,需要装箱。
另一种用法是,一个非泛型的容器,同样是为了保证通用,而将元素类型定义为Object。于是,要将值类型数据加入容器时,需要装箱。
4、装箱/拆箱对执行效率的影响
首先,应该尽量避免装箱。
比如上例2的两种情况,都可以避免,在第一种情况下,可以通过重载函数来避免。第二种情况,则可以通过泛型来避免。
当然,凡事并不能绝对,假设你想改造的代码为第三方程序集,你无法更改,那你只能是装箱了。
对于装箱/拆箱代码的优化,由于C#中对装箱和拆箱都是隐式的,所以,根本的方法是对代码进行分析,而分析最直接的方式是了解原理结何查看反编译的IL代码。比如:在循环体中可能存在多余的装箱,你可以简单采用提前装箱方式进行优化。
5、对装箱/拆箱更进一步的了解
我们可以通过示例来进一步探讨。
举个例子。
1 Struct A : ICloneable 2 { 3 public Int32 x; 4 public override String ToString() { 5 return String.Format(”{0}”,x); 6 } 7 public object Clone() { 8 return MemberwiseClone(); 9 } 10 } 11 static void main() 12 { 13 A a; 14 a.x = 100; 15 Console.WriteLine(a.ToString()); 16 Console.WriteLine(a.GetType()); 17 A a2 = (A)a.Clone(); 18 ICloneable c = a2; 19 Ojbect o = c.Clone(); 20 }
2:a.GetType(),GetType是继承于System.ValueType的方法,要调用它,需要一个方法表指针,于是a将被装箱,从而生成方法表指针,调用基类的System.ValueType。(补一句,所有的值类型都是继承于System.ValueType的)。
3:a.Clone(),因为A实现了Clone方法,所以无需装箱。
4:ICloneable转型:当a2为转为接口类型时,必须装箱,因为接口是一种引用类型。
5:c.Clone()。无需装箱,在托管堆中对上一步已装箱的对象进行调用。
附:其实上面的基于一个根本的原理,因为未装箱的值类型没有方法表指针,所以,不能通过值类型来调用其上继承的虚方法。另外,接口类型是一个引用类型。对此,我的理解,该方法表指针类似C++的虚函数表指针,它是用来实现引用对象的多态机制的重要依据。
6、如何更改已装箱的对象
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++中,允许直接取加拆箱时第一步得到的实例引用,而直接更改,但C#不行。)
那该如何是好?
嗯,通过接口方式,可以达到相同的效果。
实现如下:
interface IChange {
void Change(Int32 x);
}
struct A : IChange {
…
}
调用:
((IChange)o).Change(200);//改掉了吗?改掉了。
为啥现在可以改?
在将o转型为IChange时,这里不会进行再次装箱,当然更不会拆箱,因为o已经是引用类型,再因为它是IChange类型,所以可以直接调用Change,于是,更改的也就是已装箱对象中的字段了,达到期望的效果。
************转摘:https://blog.csdn.net/qiaoquan3/article/details/51439726