装箱拆箱详细分析

1：装箱/拆箱是什么？ 
  装箱：用于在垃圾回收堆中存储值类型。装箱是值类型到 object 类型或到此值类型所实现的任何接口类型的隐式转换。 
  拆箱：从 object 类型到值类型或从接口类型到实现该接口的值类型的显式转换。 

  2：为何需要装箱？(为何要将值类型转为引用类型？) 
  一种最普通的场景是，调用一个含类型为Object的参数的方法，该Object可支持任意为型，以便通用。当你需要将一个值类型(如Int32)传入时，需要装箱。 
  另一种用法是，一个非泛型的容器，同样是为了保证通用，而将元素类型定义为Object。于是，要将值类型数据加入容器时，需要装箱。 

  3：装箱/拆箱的内部操作。 
  装箱： 
  对值类型在堆中分配一个对象实例，并将该值复制到新的对象中。按三步进行。 
  第一步：新分配托管堆内存(大小为值类型实例大小加上一个方法表指针和一个SyncBlockIndex)。 
  第二步：将值类型的实例字段拷贝到新分配的内存中。 
  第三步：返回托管堆中新分配对象的地址。这个地址就是一个指向对象的引用了。 
  有人这样理解：如果将Int32装箱，返回的地址，指向的就是一个Int32。我认为也不是不能这样理解，但这确实又有 问题 ，一来它不全面，二来指向Int32并没说出它的实质(在托管堆中)。 
  拆箱：
  检查对象实例，确保它是给定值类型的一个装箱值。将该值从实例复制到值类型变量中。 
  有书上讲，拆箱只是获取引用对象中指向值类型部分的指针，而内容拷贝则是赋值语句之触发。我觉得这并不要紧。最关键的是检查对象实例的本质，拆箱和装箱的类型必需匹配，这一点上，在IL层上，看不出原理何在，我的猜测，或许是调用了类似GetType之类的方法来取出类型进行匹配(因为需要严格匹配)。 

  4：装箱/拆箱对执行效率的影响 
  显然，从原理上可以看出，装箱时，生成的是全新的引用对象，这会有时间损耗，也就是造成效率降低。 
  那该如何做呢？ 
  首先，应该尽量避免装箱。 
  比如上例2的两种情况，都可以避免，在第一种情况下，可以通过重载函数来避免。第二种情况，则可以通过泛型来避免。 
  当然，凡事并不能绝对，假设你想改造的代码为第三方程序集，你无法更改，那你只能是装箱了。 
  对于装箱/拆箱代码的优化，由于C#中对装箱和拆箱都是隐式的，所以，根本的方法是对代码进行分析，而分析最直接的方式是了解原理结何查看反编译的IL代码。比如：在循环体中可能存在多余的装箱，你可以简单采用提前装箱方式进行优化。 

  5：对装箱/拆箱更进一步的了解 
  装箱/拆箱并不如上面所讲那么简单明了，比如：装箱时，变为引用对象，会多出一个方法表指针，这会有何用处呢？ 
  我们可以通过示例来进一步探讨。 
  举个例子。 
  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 = (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。(补一句，所有的值类型都是继承于System.ValueType的)。 
  5.2：a.Clone()，因为A实现了Clone方法，所以无需装箱。 
  5.3：ICloneable转型：当a2为转为接口类型时，必须装箱，因为接口是一种引用类型。 
  5.4：c.Clone()。无需装箱，在托管堆中对上一步已装箱的对象进行调用。 
  附：其实上面的基于一个根本的原理，因为未装箱的值类型没有方法表指针，所以，不能通过值类型来调用其上继承的虚方法。另外，接口类型是一个引用类型。对此，我的理解，该方法表指针类似C++的虚函数表指针，它是用来实现引用对象的多态机制的重要依据。 

  6：如何更改已装箱的对象 
  对于已装箱的对象，因为无法直接调用其指定方法，所以必须先拆箱，再调用方法，但再次拆箱，会生成新的栈实例，而无法修改装箱对象。有点晕吧，感觉在说绕口令。还是举个例子来说：(在上例中追加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++中，允许直接取加拆箱时第一步得到的实例引用，而直接更改，但C#不行。) 
  那该如何是好？ 
  嗯，通过接口方式，可以达到相同的效果。 
  实现如下： 
  interface IChange { 
      void Change(Int32 x); 
  } 
  struct A : IChange { 
      ... 
  } 
  调用： 
  ((IChange)o).Change(200);//改掉了吗？改掉了。 
  为啥现在可以改？ 
  在将o转型为IChange时，这里不会进行再次装箱，当然更不会拆箱，因为o已经是引用类型，再因为它是IChange类型，所以可以直接调用Change，于是，更改的也就是已装箱对象中的字段了，达到期望的效果。 

  7：其它 
  在装箱时，我们还记得另外还生成了一个SyncBlockIndex，这个有啥用？ 
  这个我没试过，只好照抄MSDN上的说法： 
  SyncBlockIndex，可以保证能用System.Threading.Monitor类型来同步多个线程对它的访问。 

  对于装箱和拆箱，能想到的就这些。实际上，总的看来，装箱和拆箱实在是应该尽量避免。而避免的前提就是了解它的原理。