Microsoft MVP성태의 닷넷 이야기
.NET Framework: 844. C# - 박싱과 언박싱 [링크 복사], [링크+제목 복사],
조회: 11231
글쓴 사람
정성태 (techsharer at outlook.com)
홈페이지
첨부 파일
 
(연관된 글이 1개 있습니다.)
(시리즈 글이 9개 있습니다.)
.NET Framework: 491. 닷넷 Generic 타입의 메타 데이터 토큰 값 알아내는 방법
; https://www.sysnet.pe.kr/2/0/1848

.NET Framework: 494. 값(struct) 형식의 제네릭(Generic) 타입이 박싱되는 경우의 메타데이터 토큰 값
; https://www.sysnet.pe.kr/2/0/1857

.NET Framework: 495. CorElementType의 요소 값 설명
; https://www.sysnet.pe.kr/2/0/1860

.NET Framework: 509. ELEMENT_TYPE_MODIFIER의 조합
; https://www.sysnet.pe.kr/2/0/2894

.NET Framework: 510. 제네릭(Generic) 인자에 대한 메타데이터 등록 확인
; https://www.sysnet.pe.kr/2/0/2907

.NET Framework: 844. C# - 박싱과 언박싱
; https://www.sysnet.pe.kr/2/0/11943

.NET Framework: 955.  .NET 메서드의 Signature 바이트 코드 분석
; https://www.sysnet.pe.kr/2/0/12379

.NET Framework: 1130. C# - ELEMENT_TYPE_INTERNAL 유형의 사용 예
; https://www.sysnet.pe.kr/2/0/12903

.NET Framework: 1174. C# - ELEMENT_TYPE_FNPTR 유형의 사용 예
; https://www.sysnet.pe.kr/2/0/12998




C# - 박싱과 언박싱

일반적으로 박싱을 값 형식의 인스턴스를 참조 형식의 인스턴스로 변환하는 것이고, 그 반대를 언박싱이라 설명합니다. 그런데 "CLR via C#" 책을 보면 언박싱에 대해 좀 더 엄밀하게 다음과 같이 설명하고 있습니다.

Chapter 5: 130page

Unboxing is not the exact opposite of boxing. The unboxing operation is much less costly than boxing. Unboxing is really just the operation of obtaining a pointer to the raw value type (data fields) contained within an object. In effect, the pointer refers to the unboxed portion in the boxed instance. So, unlike boxing, unboxing doesn’t involve the copying of any bytes in memory. Having made this important clarification, it is important to note that an unboxing operation is typically followed by copying the fields.


설명과는 달리, C# 코드만 보면 언박싱은 정확히 박싱의 반대 과정이나 다름없습니다.

public struct MyStruct
{
    public int n1;
    public int n2;
}

class Program
{
    static void Main(string[] args)
    {
        MyStruct ms = new MyStruct();

        // 박싱
        object obj = ms;

        // 언박싱
        MyStruct t1 = (MyStruct)obj;
    }
}

하지만 이것을 IL 코드로 살펴보면 C#의 언박싱 코드가 실은 2개의 명령어로 나뉜 것을 확인할 수 있습니다.

.method private hidebysig static void Main(string[] args) cil managed
{
    .entrypoint
    .maxstack 1
    .locals init (
        [0] valuetype MyStruct struct2,
        [1] object obj2,
        [2] valuetype MyStruct struct3)
    L_0000: nop 
    L_0001: ldloca.s struct2
    L_0003: initobj MyStruct
    L_0009: ldloc.0 
    L_000a: box MyStruct // 박싱
    L_000f: stloc.1 
    L_0010: ldloc.1 
    L_0011: unbox.any MyStruct // 언박싱
    L_0016: stloc.2  // 값 복사는 로컬 변수에 값을 대입하는 과정에서 발생
    L_0017: ret 
}

이에 대해서는 unbox 명령어에서도 잘 설명하고 있습니다.

OpCodes.Unbox Field 
; https://learn.microsoft.com/en-us/dotnet/api/system.reflection.emit.opcodes.unbox?view=netframework-4.8

The unbox instruction converts the object reference (type O), the boxed representation of a value type, to a value type pointer (a managed pointer, type &), its unboxed form. The supplied value type (valType) is a metadata token indicating the type of value type contained within the boxed object.
Unlike Box, which is required to make a copy of a value type for use in the object, unbox is not required to copy the value type from the object. Typically it simply computes the address of the value type that is already present inside of the boxed object.


즉 unbox 연산자는 관리 힙에 있는 개체를 가리키는 "관리 포인터"를 구하는 작업만을 담당하며, 그렇게 구한 관리 포인터로부터 스택에 값을 복사하는 과정은 "stloc" 명령어에 의해 수행되는 것입니다. C# 코드로 이 과정을 재현해서 정리해 보면 다음과 같습니다.

public struct MyStruct
{
    public int n1;
    public int n2;
}

public class MyClass
{
    public MyStruct st;
}

class Program
{
    static void Main(string[] args)
    {
        MyStruct ms = new MyStruct();

        // box 연산자는 아래의 2과정을 수행
        MyClass mc = new MyClass(); // 컴파일을 위해 MyClass 타입을 만든 것일 뿐!
        mc.st = ms;                 // 중요한 것은, 관리 힙에 객체가 들어가는 것으로 이해하면 됩니다.

        // unbox 연산자는 관리 포인터만 얻어오고,
        ref MyStruct t = ref mc.st;

        // unbox 이후의 stloc에 의해 스택에 위치한 로컬 변수로 값 복사가 발생
        MyStruct temp = t;
    }
}

따라서 박싱 연산은 관리 힙 할당과 값 복사라는 부하가 있지만 언박싱 연산은 타입 정보로부터 관리 포인터만을 얻는 것이므로 부하가 거의 없습니다. 단지, 당연하게 따라오는 로컬 변수로의 대입으로 인해 값 복사 부하가 어쩔 수 없이 발생한다는 사실에는 변함이 없습니다.




[이 글에 대해서 여러분들과 의견을 공유하고 싶습니다. 틀리거나 미흡한 부분 또는 의문 사항이 있으시면 언제든 댓글 남겨주십시오.]

[연관 글]






[최초 등록일: ]
[최종 수정일: 3/9/2024]

Creative Commons License
이 저작물은 크리에이티브 커먼즈 코리아 저작자표시-비영리-변경금지 2.0 대한민국 라이센스에 따라 이용하실 수 있습니다.
by SeongTae Jeong, mailto:techsharer at outlook.com

비밀번호

댓글 작성자
 



2019-07-01 01시00분
[Jayce] 감사합니다 . 정말많은 지식들이있네요..
[guest]

... 61  62  63  64  65  66  67  68  69  70  [71]  72  73  74  75  ...
NoWriterDateCnt.TitleFile(s)
11869정성태4/15/201915428.NET Framework: 816. (번역글) .NET Internals Cookbook Part 2 - GC-related things [2]파일 다운로드2
11868정성태4/15/201913149.NET Framework: 815. CER(Constrained Execution Region)이란?파일 다운로드1
11867정성태4/15/201912181.NET Framework: 814. Critical Finalizer와 SafeHandle의 사용 의미파일 다운로드1
11866정성태4/9/201915718Windows: 159. 네트워크 공유 폴더(net use)에 대한 인증 정보는 언제까지 유효할까요?
11865정성태4/9/201911465오류 유형: 529. 제어판 - C:\ProgramData\Microsoft\Windows\Start Menu\Programs\Administrative Tools is not accessible.
11864정성태4/9/201910633오류 유형: 528. '...' could be '0': this does not adhere to the specification for the function '...'
11863정성태4/9/201910427디버깅 기술: 127. windbg - .NET x64 EXE의 EntryPoint
11862정성태4/7/201912528개발 환경 구성: 437. .NET EXE의 ASLR 기능을 끄는 방법
11861정성태4/6/201912280디버깅 기술: 126. windbg - .NET x86 CLR2/CLR4 EXE의 EntryPoint
11860정성태4/5/201915565오류 유형: 527. Visual C++ 컴파일 오류 - error C2220: warning treated as error - no 'object' file generated
11859정성태4/4/201912960디버깅 기술: 125. WinDbg로 EXE의 EntryPoint에서 BP 거는 방법
11858정성태3/27/201913444VC++: 129. EXE를 LoadLibrary로 로딩해 PE 헤더에 있는 EntryPoint를 직접 호출하는 방법파일 다운로드1
11857정성태3/26/201912312VC++: 128. strncpy 사용 시 주의 사항(Linux / Windows)
11856정성태3/25/201912233VS.NET IDE: 134. 마이크로소프트의 CoreCLR 프로파일러 리눅스 예제를 Visual Studio F5 원격 디버깅하는 방법 [1]파일 다운로드1
11855정성태3/25/201914252개발 환경 구성: 436. 페이스북 HTTPS 인증을 localhost에서 테스트하는 방법
11854정성태3/25/201910193VS.NET IDE: 133. IIS Express로 호스팅하는 사이트를 https로 접근하는 방법
11853정성태3/24/201912364개발 환경 구성: 435. 존재하지 않는 IP 주소에 대한 Dns.GetHostByAddress/gethostbyaddr/GetNameInfoW 실행이 느리다면? - 두 번째 이야기 [1]
11852정성태3/20/201912612개발 환경 구성: 434. 존재하지 않는 IP 주소에 대한 Dns.GetHostByAddress/gethostbyaddr/GetNameInfoW 실행이 느리다면?파일 다운로드1
11851정성태3/19/201915520Linux: 8. C# - 리눅스 환경에서 DllImport 대신 라이브러리 동적 로드 처리 [2]
11850정성태3/18/201914068.NET Framework: 813. C# async 메서드에서 out/ref/in 유형의 인자를 사용하지 못하는 이유
11849정성태3/18/201913895.NET Framework: 812. pscp.exe 기능을 C#으로 제어하는 방법파일 다운로드1
11848정성태3/17/201911313스크립트: 14. 윈도우 CMD - 파일이 변경된 경우 파일명을 변경해 복사하고 싶다면?
11847정성태3/17/201915189Linux: 7. 리눅스 C/C++ - 공유 라이브러리 동적 로딩 후 export 함수 사용 방법파일 다운로드1
11846정성태3/15/201913573Linux: 6. getenv, setenv가 언어/운영체제마다 호환이 안 되는 문제
11845정성태3/15/201914282Linux: 5. Linux 응용 프로그램의 (C++) so 의존성 줄이기(ReleaseMinDependency) [3]
11844정성태3/14/201915112개발 환경 구성: 434. Visual Studio 2019 - 리눅스 프로젝트를 이용한 공유/실행(so/out) 프로그램 개발 환경 설정 [1]파일 다운로드1
... 61  62  63  64  65  66  67  68  69  70  [71]  72  73  74  75  ...