C#装箱和拆箱的原理介绍-C#/.NET开发

这篇文章介绍了C#装箱和拆箱的原理，对大家的学习或者工作具有一定的参考学习价值，需要的朋友们下面随着小编来一起学习学习吧

我们知道，值类型的变量是在堆栈上分配内存的，而引用类型包括System.Object的对象是在堆上分配内存的，基于这一特点，当值类型被类型转换时，会在堆栈和堆上进行一系列的操作，这就是装箱和拆箱的来源。充分理解装箱和拆箱，有助于程序员编写高效率的代码。

1、装箱和拆箱的基本概念

我们知道，所有的值类型都继承自System.ValueType，而System.ValueType继承自System.Object。所有的值类型对象都分配在堆栈上，而所有的引用类型包括System.Object对象都分配在堆上。问题随之而来，既然System.Object是所有值类型的基类，那所有的值类型必然都可以隐式的转换成System.Object类型，此时这个对象会被放在哪里呢，堆栈上面还是堆上面？实际上，当这个转换发生时，CLR需要做额外的工作把堆栈上的值类型移动到堆上，这个操作就被称为装箱。来看一个装箱所需要的详细步骤。

在堆上分配一个内存空间，大小等于需要装箱的值类型对象的大小加上两个引用类型对象都拥有的成员：类型对象指针和同步块引用。
把堆栈上的值类型对象复制到堆上新分配的对象。
返回一个指向堆上新对象的引用，并且存储到堆栈上被装箱的那个值类型的对象里。

这些步骤都不需要程序员自己编写，在任何出现装箱的地方，编译器会自动地加上执行以上功能的中间代码。下图展示了装箱前后堆和堆栈的变化。

理解了装箱之后，就可以很方便地理解拆箱操作了。所谓的拆箱，就是装箱操作的反操作，把堆中的对象复制到堆栈中，并且返回其值。需要注意的是，拆箱操作将判断被拆箱的对象类型和将要被复制的值类型引用是否一致，如果不一致，将会抛出一个InvalidCastException的异常。这里的类型匹配并不采用任何显示的类型转换。下面的代码展示了这一特性。

static void Main(string[] args)
{
    try
    {
        Int32 i = 3;
        // 装箱
        Object o = i;
        // 拆箱，类型转换失败
        Int16 j = (Int16)o;
    }
    catch (Exception ex)
    {
        Console.WriteLine(ex.Message);
    }

    Int32 ii = 3;
    // 装箱
    Object obj = ii;
    // 拆箱
    Int16 jj = (Int16)(Int32)obj;
    Console.WriteLine("拆箱成功!");
    Console.ReadKey();
}

程序运行结果：

分析上面的代码，在第一组装箱拆箱操作中，代码试图把一个原来类型为Int32的值类型装箱后的对象拆箱成Int16的变量，这样的拆箱是非法的，运行时会抛出一个InvalidCastException的异常。而在第二组装箱拆箱操作中，就进行了正确的类型匹配，拆箱顺利完成。

2、装箱和拆箱对性能的影响，以及如何避免装箱拆箱

装箱和拆箱都意味着堆和堆栈空间的一系列操作，毫无疑问，这些操作的性能代价是很大的，尤其对于堆上空间的操作，速度相对于堆栈的操作慢的多，并且可能引发垃圾回收，这些都将大规模地影响系统的性能。如何避免装箱拆箱操作，是程序员在编写代码时需要时刻考虑的一个问题。装箱和拆箱操作常发生在以下两个场合：

值类型的格式化输出。
System.Object类型的容器。

第一种情况，值类型的格式化输出往往会涉及一次装箱操作。例如下面的两行代码：

int i = 10;
Console.WriteLine("i的值是:" + i);

代码完全能够通过编译并且正确执行，但却引发了一次不必要的装箱操作。在第2行代码上，值类型i被作为一个System.Object对象传入方法之中，这样的操作完全可以通过下面的改动来避免：

int i = 10;
Console.WriteLine("i的值是:" + i.ToString());

改动后的代码调用了i的ToString()方法来得到一个字符串对象。由于字符串是引用类型，所以改动后的代码就不在涉及装箱操作。

第二种情况更为常见一些。例如常用的容器类ArrayList，就是一个典型的System.Object容器。任何值类型被放入ArrayList的对象中，都会引发一次装箱操作。而对应的，取出值类型对象就会引发一次拆箱操作。在.NET 1.1之前，这样的操作很难避免，但在.NET 2.0推出了泛型的概念后，这些问题得到了有效的解决。泛型允许定义针对某个特定类型（包括值类型）的容器，并且有效的避免装箱和拆箱。