装箱拆箱续

原来写了一篇有关装箱拆箱的文章，这几天看到这个例子，觉得更能说明一些问题，首先看下面的例子

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 本身。

最后说一句：装拆箱要在堆栈和托管对上进行对象复制（这当中包括值类型和引用类型存储形式的变化），性能和安全性降低，所以在系统开发中不应该大量使用，当然我想可以尽量使用泛形来解决问题。