2020-12-16

深入浅出装箱与拆箱

一、基本概念
拆箱与装箱就是值类型与引用类型的转换，它是值类型与引用类型之间的桥梁，它们可以相互转换的一个基本前提就是：Object是.Net中的万物之源。

装箱：值类型转换为引用类型，一般是转换为System.Object类型或值类型实现的接口引用类型；
拆箱：引用类型转换为值类型，注意，这里的引用类型只能是被装箱的引用类型对象；

由于值类型和引用类型在内存分配的不同，从内存执行角度看，拆箱与装箱就势必存在内存的分配与数据的拷贝等操作，这也是装箱与拆箱性能影响的根源。

装箱就是把值类型转换为引用类型，具体过程`：
1.在堆中申请内存，内存大小为值类型的大小，在加上额外固定空间（引用类型的标配：TypeHandle和同步索引块）；
2.将值类型的字段值（x=1023）拷贝新分配的内存中；
3.返回新引用对象的地址（给引用变量object o）

拆箱就是装箱相反的过程，简单的说是把装箱后的引用类型转换为值类型。具体过程：
1.检查实例对象（object o）是否有效，如是否为null,其装箱的类型与拆箱的类型（int）是否一致，如检测不合法，抛出异常；
2.指针返回，就是获取装箱对象（object o）中值类型字段值的地址；
3.字段拷贝，把装箱对象（object o）中值类型字段值拷贝到栈上，意思就是创建一个新的值类型变量来存储拆箱后的值；

装箱与拆箱总结及性能
装的是什么？拆的又是什么？什么是箱子？
只有值类型可以装箱，拆的就是装箱后的引用对象，箱子就是一个存放了值类型字段的引用对象实例，箱子存储在托管堆上。只有值类型才有装箱、拆箱两个状态，而引用类型一直都在箱子里。

关于性能
之所以关注装箱和拆箱，主要原因就是它们的性能问题，而且在日常编码中，经常有装箱与拆箱的操作，而且这些装箱与拆箱的操作往往是在不经意时发生，一般来说，装箱的性能开销更大，这不难理解，因为引用对象的分配更加复杂，成本也更高，值类型分配在栈上，分配和释放的效率都很高。装箱过程是需要创建一个新的引用类型对象实例，拆箱过程需要创建一个值类型字段，开销更低。
为了尽量避免这种性能损失，尽量使用泛型，在代码编写中也尽量避免隐式装箱。