装箱拆箱续
原来写了一篇有关装箱拆箱的文章，这几天看到这个例子，觉得更能说明一些问题，首先看下面的例子
namespace InBoxUnInBoxTest
{
internal struct Point
{
private int m_x, m_y;
public Point(int x, int y)
{
m_x = x;
m_y = y;
}
public void Change(int x, int y)
{
m_x = x;
m_y = y;
}
public override string ToString()
{
return String.Format("({0},{1})", m_x, m_y);
}
}
class Program
{
static void Main(string[] args)
{
Point p = new Point(1, 1);
Console.WriteLine(p);
p.Change(2, 2);
Console.WriteLine(p);
object o = p;
Console.WriteLine(o);
((Point)o).Change(3, 3);
Console.WriteLine(o);
}
}
}
其结果是：
(1,1)
(2,2)
(2,2)
(2,2)
前三个输出没有什么问题，来说说第四个输出：o 是一个 Object 类型，首先进行的是拆箱的操作。这时系统就要把 o 复制到一堆栈上的一个临时空间中。对象 o 本身还是存储在 托管对上的，所以这是调用 Change 函数对于 o 来说没有起任何作用。所以才出现了上述结果。
再来看看下面的程序：
namespace InBoxTest
{
internal interface IChangeBoxedPoint
{
void Change(int x, int y);
}
internal struct Point : IChangeBoxedPoint
{
private int m_x, m_y;
public Point(int x, int y)
{
m_x = x;
m_y = y;
}
public void Change(int x, int y)
{
m_x = x;
m_y = y;
}
public override string ToString()
{
return String.Format("({0},{1})", m_x, m_y);
}
}
class Program
{
static void Main(string[] args)
{
Point p = new Point(1, 1);
Console.WriteLine(p);
p.Change(2, 2);
Console.WriteLine(p);
object o = p;
Console.WriteLine(o);
((Point)o).Change(3, 3);
Console.WriteLine(o);
((IChangeBoxedPoint)p).Change(4, 4);
Console.WriteLine(p);
((IChangeBoxedPoint)o).Change(5, 5);
Console.WriteLine(o);
Console.Read();
}
}
}
其结果是：
(1,1)
(2,2)
(2,2)
(2,2)
(2,2)
(5,5)
主要来看看最后两个结果：在这个程序中定义了一个接口，自定义的结构继承自这个类型。第五个结果输出的是(2,2)，程序中进行的是装箱处理，这样 p 就以引用类型存储形势被复制到托管对上，这样在进行修改，实际上只是修改托管对上的对象。 p 本身没有变化。如果我们再看看托管对上的对象是否进行修改了，加入如下代码测试一下：
IChangeBoxedPoint test = (IChangeBoxedPoint)p;
test.Change(4, 4);
Console.WriteLine(p);
Console.WriteLine(test);
其结果：(4,4)显示出来了
然后再来看看最后一个结果，系统对对象 o 实际上就是强制类型的转换，并不是装箱拆箱的操作。所以操作的还是 o 本身。
最后说一句：装拆箱要在堆栈和托管对上进行对象复制（这当中包括值类型和引用类型存储形式的变化），性能和安全性降低，所以在系统开发中不应该大量使用，当然我想可以尽量使用泛形来解决问题。
