说说装箱和拆箱

    最近一段时间在公司得闲，学习了一下.NET的相关知识(第一次接触，和工作也没啥关系)，随手在公司写了几张贴，当作读书笔记，今晚一看，居然有不少回贴，兴冲冲一打量，嘿，居然全是骂偶无知的。说实话，俺倒不担心自已无知，只怕自已不知道自已无知。所以，被提提醒也不错，我会在学习中去提高自已。想想，还是把最后一篇学习笔记贴上。
   装箱/拆箱的对于刚接触.NET的我来说很陌生。
   .NET中，数据类型划分为值类型和引用(不等同于C++的指针)类型，与此对应，内存分配被分成了两种方式，一为栈，二为堆，注意：是托管堆。值类型只会在栈中分配。引用类型分配内存与托管堆。托管堆对应于垃圾回收，至于垃圾的回收的零零种种，我已在前面说过。
   对于装箱/拆箱，出于我对.NET并不是很了解，我只能用列举这种并不系统且杂乱的方式来表述。 

   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类型来同步多个线程对它的访问。

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