C#装箱和拆箱

概念

装箱和拆箱是值类型和引用类型之间相互转换是要执行的操作。

• 装箱在值类型向引用类型转换时发生，栈空间往引用空间内迁移
• 拆箱在引用类型向值类型转换时发生，引用空间往栈空间内迁移
  的，

我们先看装箱时都会发生什么事情，下面是一行最简单的装箱代码
首先要知道Object类是所有的父类，类是引用类型，1是值类型
object obj = 1;
这行语句将整型常量1赋给object类型的变量obj； 众所周知常量1是值类型，值类型是要放在栈上的，而object是引用类型，它需要放在堆上；要把值类型放在堆上就需要执行一次装箱操作。
请看下面的C#代码：
object objValue = 4;
int value = (int)objValue;//强转，强转只适用于值类型的强转
（Son s = f as Son;//都是引用类型，所以用as转）
上面的两行代码会执行一次装箱操作将整形数字常量4装箱成引用类型object变量objValue；然后又执行一次拆箱操作，将存储到堆上的引用变量objValue存储到局部整形值类型变量value中。
拆箱操作的执行过程和装箱操作过程正好相反，是将存储在堆上的引用类型值转换为值类型并给值类型变量。

装箱/拆箱的内部操作

装箱：

对值类型在堆中分配一个对象实例，并将该值复制到新的对象中。按三步进行。

• 第一步：新分配托管堆内存(大小为值类型实例大小加上一个方法表指针和一个同步索引块SyncBlockIndex)。耗费性能
• 第二步：将值类型的实例字段拷贝到新分配的内存中。耗费性能
• 第三步：返回托管堆中新分配对象的地址。这个地址就是一个指向对象的引用了。

拆箱：

检查对象实例，确保它是给定值类型的一个装箱值。将该值从实例复制到值类型变量中。
拆箱只是获取引用对象中指向值类型部分的指针，而内容拷贝则是赋值语句之触发。
所以拆箱不是装箱的逆过程，拆箱消耗低于装箱，拆箱几乎不耗费
（注意就是，拆箱的类型必须是未装箱时的类型，否则会报错，这一点上，在IL层上，看不出原理何在，或许是调用了类似GetType之类的方法来取出类型进行匹配(因为需要严格匹配)。

5：为何需要装箱？(为何要将值类型转为引用类型？)

1、好处

总结就是 不确定参数类型的时候可以方便参数的存储和传递
一种最普通的场景是，调用一个含类型为Object的参数的方法，该Object可支持任意为型，以便通用。
当你需要将一个值类型(如Int32)传入时，需要装箱。
另一种用法是，一个非泛型的容器，同样是为了保证通用，而将元素类型定义为Object。
于是，要将值类型数据加入容器时，需要装箱。
说白了就是，父类可以接收子类。

就比如：
int    a=5;
Func(object o);    //别人写的接口
Func(a);    //你调用别人的接口
你传进去的是a，是一个int类型的，但是却不会报错，就是因为进行了装箱

2、坏处

装箱操作和拆箱操作是要额外耗费cpu和内存资源的，所以在c# 2.0之后引入了泛型来减少装箱操作和拆箱操作消耗。
在第一种情况下，可以通过重载函数来避免。第二种情况，则可以通过泛型来避免。

1.	使用非泛型集合时引发的装箱和拆箱操作 

看下面的一段代码：
var array = new ArrayList();
array.Add(1);
array.Add(2);
 
foreach (int value in array)
{
	Console.WriteLine(“value is {0}”,value);
}
代码声明了一个ArrayList对象，向ArrayList中添加两个数字1，2；然后使用foreach将ArrayList中的元素打印到控制台。

在这个过程中会发生两次装箱操作和两次拆箱操作，在向ArrayList中添加int类型元素时会发生装箱，在使用foreach枚举ArrayList中的int类型元素时会发生拆箱操作，将object类型转换成int类型，在执行到Console.WriteLine时，还会执行两次的装箱操作；这一段代码执行了6次的装箱和拆箱操作；如果ArrayList的元素个数很多，执行装箱拆箱的操作会更多。

你可以通过使用ILSpy之类的工具查看IL代码的box，unbox指令查看装箱和拆箱的过程

2.	使用泛型集合的情况

请看如下代码：

var list = new List<int>();
list.Add(1);
list.Add(2);
 
foreach (int value in list)
{
	Console.WriteLine("value is {0}", value);
}
代码和1中的代码的差别在于集合的类型使用了泛型的List，而非ArrayList；我们同样可以通过查看IL代码查看装箱拆箱的情况，上述代码只会在Console.WriteLine()方法时执行2次装箱操作，不需要拆箱操作。

可以看出泛型可以避免装箱拆箱带来的不必要的性能消耗；当然泛型的好处不止于此，泛型还可以增加程序的可读性，使程序更容易被复用等等。