装箱拆箱续

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

 

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

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