재 의 C\#중의 포장 과 분해 문제 에 대한 상세 한 설명

전편 에컨테이너 해체 의 정의 와 IL 분석라 고 적 혀 있 습 니 다.이 편 은 팬 형 을 사용 하고 팬 형 을 사용 하지 않 아 포장 상 자 를 뜯 는 상황 을 살 펴 보 겠 습 니 다.1.비 팬 형 집합 을 사용 할 때 발생 하 는 포장 과 분해 작업 은 다음 코드 를 보 겠 습 니 다.

var array = new ArrayList();
array.Add(1);
array.Add(2);

foreach (int value in array)
{
Console.WriteLine(“value is {0}”,value);
}

코드 는 하나의 Array List 대상 을 설명 하고 Array List 에 두 개의 숫자 1,2 를 추가 합 니 다.그리고 foreach 를 사용 하여 Array List 의 요 소 를 콘 솔 에 인쇄 합 니 다.이 과정 에서 두 번 의 포장 작업 과 두 번 의 분해 작업 이 발생 합 니 다.Array List 에 int 형식 요 소 를 추가 할 때 포장 이 발생 합 니 다.foreach 매 거 진 Array List 의 int 형식 요 소 를 사용 할 때 분해 작업 이 발생 합 니 다.object 형식 을 int 형식 으로 바 꾸 고 Console.Write Line 에서 실 행 될 때 두 번 의 포장 작업 도 실 행 됩 니 다.이 코드 는 6 번 의 포장 과 분해 작업 을 실 행 했 습 니 다.Array List 의 요소 개수 가 많 으 면 상자 분해 작업 을 수행 하 는 것 이 더 많 습 니 다.ILSpy 와 같은 도 구 를 사용 하여 IL 코드 의 box 를 볼 수 있 습 니 다.unbox 명령 은 포장 과 상 자 를 뜯 는 과정 을 볼 수 있 습 니 다.2.일반적인 집합 을 사용 하 는 경우 다음 코드 를 보십시오.

var list = new List<int>();
list.Add(1);
list.Add(2);

foreach (int value in list)
{
Console.WriteLine("value is {0}", value);
}

코드 와 1 의 코드 의 차 이 는 집합 유형 이 Array List 가 아 닌 일반적인 List 를 사용 하 는 것 입 니 다.우 리 는 또한 IL 코드 를 통 해 상 자 를 뜯 는 상황 을 볼 수 있 습 니 다.상기 코드 는 Console.Write Line()방법 에서 만 2 번 의 포장 작업 을 수행 할 수 있 으 며 상 자 를 뜯 지 않 아 도 됩 니 다.이 를 통 해 알 수 있 듯 이 범 형 은 포장 상 자 를 뜯 어서 가 져 오 는 불필요 한 성능 소 모 를 피 할 수 있다.물론 범 형의 장점 은 이것 뿐만 아니 라 범 형 은 프로그램의 가 독성 을 증가 시 켜 프로그램 을 더욱 쉽게 재 활용 할 수 있다 는 등 이다.본 고 에서 사용 한 C\#코드 는 다음 과 같다.

using System;
using System.Collections;
using System.Collections.Generic;

namespace boxOrUnbox
{
    class Program
    {
        static void Main(string[] args)
        {
            //do nothing
        }

        static void Box()
        {
            object objValue = 9;
        }

        static void Unbox()
        {
            object objValue = 4;
            int value = (int)objValue;
        }

        static void LookatArrayList()
        {
            var array = new ArrayList();
            array.Add(1);
            array.Add(2);

            foreach (int value in array)
            {
                Console.WriteLine("value is {0}", value);
            }
        }

        static void LookatGenericList()
        {
            var list = new List<int>();
            list.Add(1);
            list.Add(2);

            foreach (int value in list)
            {
                Console.WriteLine("value is {0}", value);
            }
        }
    }
}

C\#의 IL 코드 는 다음 과 같다.

.class private auto ansi beforefieldinit boxOrUnbox.Program
    extends [mscorlib]System.Object
{
    // Methods
    .method private hidebysig static
        void Main (
            string[] args
        ) cil managed
    {
        // Method begins at RVA 0x2050
        // Code size 2 (0x2)
        .maxstack 8
        .entrypoint

        IL_0000: nop
        IL_0001: ret
    } // end of method Program::Main

    .method private hidebysig static
        void Box () cil managed
    {
        // Method begins at RVA 0x2054
        // Code size 10 (0xa)
        .maxstack 1
        .locals init (
            [0] object objValue
        )

        IL_0000: nop
        IL_0001: ldc.i4.s 9
        IL_0003: box [mscorlib]System.Int32
        IL_0008: stloc.0
        IL_0009: ret
    } // end of method Program::Box

    .method private hidebysig static
        void Unbox () cil managed
    {
        // Method begins at RVA 0x206c
        // Code size 16 (0x10)
        .maxstack 1
        .locals init (
            [0] object objValue,
            [1] int32 'value'
        )

        IL_0000: nop
        IL_0001: ldc.i4.4
        IL_0002: box [mscorlib]System.Int32
        IL_0007: stloc.0
        IL_0008: ldloc.0
        IL_0009: unbox.any [mscorlib]System.Int32
        IL_000e: stloc.1
        IL_000f: ret
    } // end of method Program::Unbox

    .method private hidebysig static
        void LookatArrayList () cil managed
    {
        // Method begins at RVA 0x2088
        // Code size 114 (0x72)
        .maxstack 2
        .locals init (
            [0] class [mscorlib]System.Collections.ArrayList 'array',
            [1] int32 'value',
            [2] class [mscorlib]System.Collections.IEnumerator CS$5$0000,
            [3] bool CS$4$0001,
            [4] class [mscorlib]System.IDisposable CS$0$0002
        )

        IL_0000: nop
        IL_0001: newobj instance void [mscorlib]System.Collections.ArrayList::.ctor()
        IL_0006: stloc.0
        IL_0007: ldloc.0
        IL_0008: ldc.i4.1
        IL_0009: box [mscorlib]System.Int32
        IL_000e: callvirt instance int32 [mscorlib]System.Collections.ArrayList::Add(object)
        IL_0013: pop
        IL_0014: ldloc.0
        IL_0015: ldc.i4.2
        IL_0016: box [mscorlib]System.Int32
        IL_001b: callvirt instance int32 [mscorlib]System.Collections.ArrayList::Add(object)
        IL_0020: pop
        IL_0021: nop
        IL_0022: ldloc.0
        IL_0023: callvirt instance class [mscorlib]System.Collections.IEnumerator [mscorlib]System.Collections.ArrayList::GetEnumerator()
        IL_0028: stloc.2
        .try
        {
            IL_0029: br.s IL_004a
            // loop start (head: IL_004a)
                IL_002b: ldloc.2
                IL_002c: callvirt instance object [mscorlib]System.Collections.IEnumerator::get_Current()
                IL_0031: unbox.any [mscorlib]System.Int32
                IL_0036: stloc.1
                IL_0037: nop
                IL_0038: ldstr "value is {0}"
                IL_003d: ldloc.1
                IL_003e: box [mscorlib]System.Int32
                IL_0043: call void [mscorlib]System.Console::WriteLine(string, object)
                IL_0048: nop
                IL_0049: nop

                IL_004a: ldloc.2
                IL_004b: callvirt instance bool [mscorlib]System.Collections.IEnumerator::MoveNext()
                IL_0050: stloc.3
                IL_0051: ldloc.3
                IL_0052: brtrue.s IL_002b
            // end loop

            IL_0054: leave.s IL_0070
        } // end .try
        finally
        {
            IL_0056: ldloc.2
            IL_0057: isinst [mscorlib]System.IDisposable
            IL_005c: stloc.s CS$0$0002
            IL_005e: ldloc.s CS$0$0002
            IL_0060: ldnull
            IL_0061: ceq
            IL_0063: stloc.3
            IL_0064: ldloc.3
            IL_0065: brtrue.s IL_006f

            IL_0067: ldloc.s CS$0$0002
            IL_0069: callvirt instance void [mscorlib]System.IDisposable::Dispose()
            IL_006e: nop

            IL_006f: endfinally
        } // end handler

        IL_0070: nop
        IL_0071: ret
    } // end of method Program::LookatArrayList

    .method private hidebysig static
        void LookatGenericList () cil managed
    {
        // Method begins at RVA 0x2118
        // Code size 90 (0x5a)
        .maxstack 2
        .locals init (
            [0] class [mscorlib]System.Collections.Generic.List`1<int32> list,
            [1] int32 'value',
            [2] valuetype [mscorlib]System.Collections.Generic.List`1/Enumerator<int32> CS$5$0000,
            [3] bool CS$4$0001
        )

        IL_0000: nop
        IL_0001: newobj instance void class [mscorlib]System.Collections.Generic.List`1<int32>::.ctor()
        IL_0006: stloc.0
        IL_0007: ldloc.0
        IL_0008: ldc.i4.1
        IL_0009: callvirt instance void class [mscorlib]System.Collections.Generic.List`1<int32>::Add(!0)
        IL_000e: nop
        IL_000f: ldloc.0
        IL_0010: ldc.i4.2
        IL_0011: callvirt instance void class [mscorlib]System.Collections.Generic.List`1<int32>::Add(!0)
        IL_0016: nop
        IL_0017: nop
        IL_0018: ldloc.0
        IL_0019: callvirt instance valuetype [mscorlib]System.Collections.Generic.List`1/Enumerator<!0> class [mscorlib]System.Collections.Generic.List`1<int32>::GetEnumerator()
        IL_001e: stloc.2
        .try
        {
            IL_001f: br.s IL_003c
            // loop start (head: IL_003c)
                IL_0021: ldloca.s CS$5$0000
                IL_0023: call instance !0 valuetype [mscorlib]System.Collections.Generic.List`1/Enumerator<int32>::get_Current()
                IL_0028: stloc.1
                IL_0029: nop
                IL_002a: ldstr "value is {0}"
                IL_002f: ldloc.1
                IL_0030: box [mscorlib]System.Int32
                IL_0035: call void [mscorlib]System.Console::WriteLine(string, object)
                IL_003a: nop
                IL_003b: nop

                IL_003c: ldloca.s CS$5$0000
                IL_003e: call instance bool valuetype [mscorlib]System.Collections.Generic.List`1/Enumerator<int32>::MoveNext()
                IL_0043: stloc.3
                IL_0044: ldloc.3
                IL_0045: brtrue.s IL_0021
            // end loop

            IL_0047: leave.s IL_0058
        } // end .try
        finally
        {
            IL_0049: ldloca.s CS$5$0000
            IL_004b: constrained. valuetype [mscorlib]System.Collections.Generic.List`1/Enumerator<int32>
            IL_0051: callvirt instance void [mscorlib]System.IDisposable::Dispose()
            IL_0056: nop
            IL_0057: endfinally
        } // end handler

        IL_0058: nop
        IL_0059: ret
    } // end of method Program::LookatGenericList

    .method public hidebysig specialname rtspecialname
        instance void .ctor () cil managed
    {
        // Method begins at RVA 0x2190
        // Code size 7 (0x7)
        .maxstack 8

        IL_0000: ldarg.0
        IL_0001: call instance void [mscorlib]System.Object::.ctor()
        IL_0006: ret
    } // end of method Program::.ctor

} // end of class boxOrUnbox.Program