Microsoft MVP성태의 닷넷 이야기
글쓴 사람
정성태 (techsharer at outlook.com)
홈페이지
첨부 파일
 

OpCodes.Box와 관련해 IL 형식으로 직접 코딩 시 유의할 점

C# 코드에서 object에 값 형식을 전달하는 코드를 보면,

using System;

class Program
{
    static void Main(string[] args)
    {
        System.Threading.CancellationToken token = new System.Threading.CancellationToken();
        LogOutput(token); // boxing
        Console.WriteLine("End-of-Test4");
    }

    static void LogOutput(object instance)
    {
        Console.WriteLine(instance ?? "null");
    }
}
/* 출력 결과
System.Threading.CancellationToken
End-of-Test4
*/

token 인스턴스가 자연스럽게 object에 대입되는 것처럼 보이지만, 이 과정을 IL 코드로 보면 box 코드가 관여합니다.

.method private hidebysig static void  Main(string[] args) cil managed
{
    .entrypoint
    .maxstack  1
    .locals init ([0] valuetype [mscorlib]System.Threading.CancellationToken token)
    IL_0000:  nop
    IL_0001:  ldloca.s   token
    IL_0003:  initobj    [mscorlib]System.Threading.CancellationToken
    IL_0009:  ldloc.0
    IL_000a:  box        [mscorlib]System.Threading.CancellationToken
    IL_000f:  call       void Program::LogOutput(object)
    IL_0014:  nop
    IL_0015:  ldstr      "End-of-Test4"
    IL_001a:  call       void [mscorlib]System.Console::WriteLine(string)
    IL_001f:  nop
    IL_0020:  ret
} // end of method Program::Main

.method private hidebysig static void  LogOutput(object 'instance') cil managed
{
    // ...[생략]...
}

위의 경우 box 연산자와 함께 "[mscorlib]System.Threading.CancellationToken" 문자열 형식을 전달하는데, 이것은 IL 언어에서 문법적으로 지원하기 때문에 가능한 것이고 만약 바이트를 직접 출력하는 경우라면 다음과 같이 코딩을 해야 합니다.

0x8c, 0x01000011

// box IL 코드 == 0x8c
//
// 0x01000011 == System.Threading.CancellationToken 타입에 대한 메타데이터의 토큰값




그런데, 여기서 실수를 해 box 연산자를 누락한다면 어떻게 될까요? 실제로 위의 IL 소스 코드에서 box 라인만 주석 처리해,

.method private hidebysig static void  Main(string[] args) cil managed
{
    // ...[생략]...
    IL_0009:  ldloc.0
    // IL_000a:  box        [mscorlib]System.Threading.CancellationToken
    IL_000f:  call       void Program::LogOutput(object)
    IL_0014:  nop
    IL_0015:  ldstr      "End-of-Test4"
    IL_001a:  call       void [mscorlib]System.Console::WriteLine(string)
    // ...[생략]...
}

ilasm.exe로 exe를 생성/실행하면 화면에는 "(null)"이라는 출력이 나옵니다. 그나마 동작을 하는 듯하지만, 이것은 사실 "예측할 수 없다"는 것이 맞습니다. 이번엔 의도와는 다르게 출력이 되었어도 운이 좋게 프로그램이 종료하지는 않았는데요, 이 코드에서 다음과 같이 직접 정의한 구조체로 바꿔보면,

using System;

class Program
{
    static void Main(string[] args)
    {
        MyStruct token = new MyStruct();
        LogOutput(token);
        Console.WriteLine("End-of-Test4");
    }

    static void LogOutput(object instance)
    {
        Console.WriteLine(instance ?? "null");
    }
}

public struct MyStruct
{
    public int Age;
    public string Name;
}

이번에는 프로그램이 비정상 종료하면서 이벤트 로그에 다음과 같은 유형의 오류들이 쌓이는 것을 볼 수 있습니다.

Log Name:      Application
Source:        .NET Runtime
Date:          2018-09-23 오전 11:22:53
Event ID:      1023
Task Category: None
Level:         Error
Keywords:      Classic
User:          N/A
Computer:      TESTPC
Description:
Application: console.exe
Framework Version: v4.0.30319
Description: The process was terminated due to an internal error in the .NET Runtime at IP 00007FF83A503E30 (00007FF83A500000) with exit code 80131506.

Log Name:      Application
Source:        Application Error
Date:          2018-09-23 오전 11:22:53
Event ID:      1000
Task Category: (100)
Level:         Error
Keywords:      Classic
User:          N/A
Computer:      TESTPC
Description:
Faulting application name: console.exe, version: 0.0.0.0, time stamp: 0x5f8660ca
Faulting module name: clr.dll, version: 4.8.4250.0, time stamp: 0x5f2a059c
Exception code: 0xc0000005
Fault offset: 0x0000000000003e30
Faulting process id: 0x6060
Faulting application start time: 0x01d6a1d0ebe4a979
Faulting application path: C:\temp\bin\Debug\console.exe
Faulting module path: C:\Windows\Microsoft.NET\Framework64\v4.0.30319\clr.dll
Report Id: a4412515-d89d-462a-9df6-1f428b6ad155
Faulting package full name: 
Faulting package-relative application ID: 

Log Name:      Application
Source:        Windows Error Reporting
Date:          2018-09-23 오전 11:22:55
Event ID:      1001
Task Category: None
Level:         Information
Keywords:      Classic
User:          N/A
Computer:      TESTPC
Description:
Fault bucket 1335692000105475064, type 4
Event Name: APPCRASH
Response: Not available
Cab Id: 0

Problem signature:
P1: console.exe
P2: 0.0.0.0
P3: 5f8660ca
P4: clr.dll
P5: 4.8.4250.0
P6: 5f2a059c
P7: c0000005
P8: 0000000000003e30
P9: 
P10: 

Attached files:
\\?\C:\ProgramData\Microsoft\Windows\WER\Temp\WER4D67.tmp.WERInternalMetadata.xml

These files may be available here:
\\?\C:\ProgramData\Microsoft\Windows\WER\ReportArchive\AppCrash_console.exe_cc693ced9f02ff1fad4971022e1a719ec05145_c6eba193_bcbd42d7-ebe2-4c60-9a33-8dbc2d5cc5ee

Analysis symbol: 
Rechecking for solution: 0
Report Id: a4412515-d89d-462a-9df6-1f428b6ad155
Report Status: 268435456
Hashed bucket: eedc651829064f20028954cc1b9e2bf8
Cab Guid: 0

재현을 하진 못했지만, 어떤 때는 해당 코드를 가진 메서드의 실행 시 "System.Security.VerificationException" 예외가 발생하는 경우도 있습니다.

따라서, 값 형식을 object로 넘길 때는 box 연산을 반드시 잊지 않고 사용해야 합니다.




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



donaricano-btn



[최초 등록일: ]
[최종 수정일: 10/14/2020

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

비밀번호

댓글 쓴 사람
 




1  2  3  4  5  6  7  8  9  10  11  12  13  14  [15]  ...
NoWriterDateCnt.TitleFile(s)
12490정성태1/15/20211304.NET Framework: 1007. C# - foreach에서 열거 변수의 타입을 var로 쓰면 object로 추론하는 문제 [1]파일 다운로드1
12489정성태1/13/20211565.NET Framework: 1006. C# - DB에 저장한 텍스트의 (이모티콘을 비롯해) 유니코드 문자가 '?'로 보인다면?
12488정성태1/13/20211242.NET Framework: 1005. C# - string 타입은 shallow copy일까요? deep copy일까요?파일 다운로드1
12487정성태1/13/2021997.NET Framework: 1004. C# - GC Heap에 위치한 참조 개체의 주소를 알아내는 방법파일 다운로드1
12486정성태1/12/20211122.NET Framework: 1003. x64 환경에서 참조형의 기본 메모리 소비는 얼마나 될까요?
12485정성태1/11/20211361Graphics: 38. C# - OpenCvSharp.VideoWriter에 BMP 파일을 1초씩 출력하는 예제파일 다운로드1
12484정성태1/9/20211348.NET Framework: 1002. C# - ReadOnlySequence<T> 소개파일 다운로드1
12483정성태1/8/20211048개발 환경 구성: 521. dotPeek - 훌륭한 역어셈블 소스 코드 생성 도구
12482정성태1/8/20211011.NET Framework: 1001. C# - 제네릭 타입/메서드에서 사용 시 경우에 따라 CS8377 컴파일 에러
12481정성태1/7/20211023.NET Framework: 1000. C# - CS8344 컴파일 에러: ref struct 타입의 사용 제한 메서드파일 다운로드1
12480정성태1/6/20211419.NET Framework: 999. C# - ArrayPool<T>와 MemoryPool<T> 소개파일 다운로드1
12479정성태1/6/2021968.NET Framework: 998. C# - OWIN 예제 프로젝트 만들기
12478정성태1/5/20211228.NET Framework: 997. C# - ArrayPool<T> 소개파일 다운로드1
12477정성태1/5/20212232기타: 79. github 코드 검색 방법 [1]
12476정성태1/5/20211199.NET Framework: 996. C# - 닷넷 코어에서 다른 스레드의 callstack을 구하는 방법파일 다운로드1
12475정성태1/5/20211269.NET Framework: 995. C# - Span<T>와 Memory<T> [1]파일 다운로드1
12474정성태1/4/20211046.NET Framework: 994. C# - (.NET Core 2.2부터 가능한) 프로세스 내부에서 CLR ETW 이벤트 수신파일 다운로드1
12473정성태1/4/20211219.NET Framework: 993. .NET 런타임에 따라 달라지는 정적 필드의 초기화 유무 [1]파일 다운로드1
12472정성태1/3/20211135디버깅 기술: 178. windbg - 디버그 시작 시 스크립트 실행
12471정성태1/1/20211215.NET Framework: 992. C# - .NET Core 3.0 이상부터 제공하는 runtimeOptions의 rollForward 옵션
12470정성태12/30/20201334.NET Framework: 991. .NET 5 응용 프로그램에서 WinRT API 호출 [1]파일 다운로드1
12469정성태12/30/20201721.NET Framework: 990. C# - SendInput Win32 API를 이용한 가상 키보드/마우스파일 다운로드1
12468정성태12/30/20201035Windows: 186. CMD Shell의 "Defaults"와 "Properties"에서 폰트 정보가 다른 문제
12467정성태12/29/20201340.NET Framework: 989. HttpContextAccessor를 통해 이해하는 AsyncLocal<T> [1]파일 다운로드1
12466정성태12/29/20201424.NET Framework: 988. C# - 지연 실행이 꼭 필요한 상황이 아니라면 singleton 패턴에서 DCLP보다는 static 초기화를 권장파일 다운로드1
12465정성태12/29/20201331.NET Framework: 987. .NET Profiler - FunctionID와 연관된 ClassID를 구할 수 없는 문제
1  2  3  4  5  6  7  8  9  10  11  12  13  14  [15]  ...