格物致知--《Effective C#》读书笔记--验证接口引用指向装箱后的值类型时无需拆箱

 

欲验证的结论：接口引用指向装箱后的值类型时无需拆箱。

代码如下：

 interface SomeInterface

    {

        void MethodInInterface();

    }

    struct OneValueType : SomeInterface

    {

        public void MethodInInterface()

        {

            Console.WriteLine("get called");

        }

    }

    class TestUnBox

    {

        public static void Main()

        {

        }

        private static void CastStruct()

        {

            OneValueType ovt = new OneValueType();

            object o = ovt;//Box

            ((OneValueType)o).MethodInInterface();

        }

        private static void CastInterface()

        {

            OneValueType ovt = new OneValueType();

            object o = ovt;//Box

            ((SomeInterface)o).MethodInInterface();

 }

}

其中OneValueType是值类型，它实现了SomeInterface。

两个方法CastStruct和CastInterface分别把装箱之后的值类型转型为OneValueType和SomeInterface。预计的结果是第二个方法无需拆箱，查看IL来验证：

这是CastStruct（）：

 

这是CastInterface（）：

 

可见，第二个方法中没有unbox指令，结论得证。

2009年7月29日