성태의 닷넷 이야기
홈 주인
모아 놓은 자료
프로그래밍
질문/답변
사용자 관리
사용자
메뉴
아티클
외부 아티클
유용한 코드
온라인 기능
MathJax 입력기
최근 덧글
[정성태] Working with Rust Libraries from C#...
[정성태] Detecting blocking calls using asyn...
[정성태] 아쉽게도, 커뮤니티는 아니고 개인 블로그입니다. ^^
[정성태] 질문이 잘 이해가 안 됩니다. 우선, 해당 소스코드에서 ILis...
[양승조
] var대신 dinamic으로 선언해서 해결은 했습니다. 맞는 해...
[양승조
] 또 막혔습니다. ㅠㅠ var list = props[i].Ge...
[양승조
] 아. 감사합니다. 어제는 안됐던것 같은데....정신을 차려야겠네...
[정성태] "props[i].GetValue(props[i])" 코드에서 ...
[정성태] 저렇게 조각 코드 말고, 실제로 재현이 되는 예제 프로젝트를 압...
[정성태] Modules 창(Ctrl+Shift+U)을 띄워서, 해당 Op...
글쓰기
제목
이름
암호
전자우편
HTML
홈페이지
유형
제니퍼 .NET
닷넷
COM 개체 관련
스크립트
VC++
VS.NET IDE
Windows
Team Foundation Server
디버깅 기술
오류 유형
개발 환경 구성
웹
기타
Linux
Java
DDK
Math
Phone
Graphics
사물인터넷
부모글 보이기/감추기
내용
<div style='display: inline'> <h1 style='font-family: Malgun Gothic, Consolas; font-size: 20pt; color: #006699; text-align: center; font-weight: bold'>C# - ref/out 매개변수의 IL 코드 처리</h1> <p> 우선, ref와 out의 차이점은 C# 언어에서 구분한 것이지 IL 수준에서는 out도 결국 ref로 처리가 이뤄집니다.<br /> <br /> 그리고 그 "ref/out"으로 인한 차이점이 어떻게 발생하는지 다음과 같은 간단한 예제를 만들고,<br /> <br /> <pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' > class Program { static void Main(string[] args) { Program pg = new Program(); TestMethod1(<span style='color: blue; font-weight: bold'>pg</span>); TestMethod2(<span style='color: blue; font-weight: bold'>ref pg</span>); } private static void TestMethod1(<span style='color: blue; font-weight: bold'>Program pg</span>) { Program pg1 = pg; pg1.ToString(); } private static void TestMethod2(<span style='color: blue; font-weight: bold'>ref Program pg</span>) { Program pg1 = pg; pg1.ToString(); } } </pre> <br /> 이에 대한 IL 코드 번역을 보면 알 수 있습니다. 아래는 일반적인 매개변수의 상황이고,<br /> <br /> <pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' > // Token: 0x06000002 RID: 2 RVA: 0x00002074 File Offset: 0x00000274 .method private hidebysig static void TestMethod1 ( class Program pg ) cil managed { // Header Size: 12 bytes // Code Size: 11 (0xB) bytes // LocalVarSig Token: 0x11000001 RID: 1 .maxstack 1 .locals init ( [0] class Program pg1 ) /* 0x00000280 00 */ IL_0000: nop /* 0x00000281 02 */ IL_0001: ldarg.0 /* 0x00000282 0A */ IL_0002: stloc.0 /* 0x00000283 06 */ IL_0003: ldloc.0 /* 0x00000284 6F1100000A */ IL_0004: callvirt instance string [mscorlib]System.Object::ToString() /* 0x00000289 26 */ IL_0009: pop /* 0x0000028A 2A */ IL_000A: ret } // end of method Program::TestMethod1 </pre> <br /> 여기에 ref/out 매개변수가 되면 "ldind.ref" IL 코드가 추가된다는 차이점이 발생합니다.<br /> <br /> <pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' > // Token: 0x06000003 RID: 3 RVA: 0x0000208C File Offset: 0x0000028C .method private hidebysig static void TestMethod2 ( class Program& pg ) cil managed { // Header Size: 12 bytes // Code Size: 12 (0xC) bytes // LocalVarSig Token: 0x11000001 RID: 1 .maxstack 1 .locals init ( [0] class Program pg1 ) /* 0x00000298 00 */ IL_0000: nop /* 0x00000299 02 */ IL_0001: ldarg.0 <span style='color: blue; font-weight: bold'>/* 0x0000029A 50 */ IL_0002: ldind.ref</span> /* 0x0000029B 0A */ IL_0003: stloc.0 /* 0x0000029C 06 */ IL_0004: ldloc.0 /* 0x0000029D 6F1100000A */ IL_0005: callvirt instance string [mscorlib]System.Object::ToString() /* 0x000002A2 26 */ IL_000A: pop /* 0x000002A3 2A */ IL_000B: ret } // end of method Program::TestMethod2 </pre> <br /> 사실 이러한 차이점은 메서드 내부에서만 이뤄지는 것이 아니고 호출 측에서도 변화가 있습니다. 일반적인 매개변수는 다음과 같이 해당 개체의 주소를 ecx 레지스터에 복사해 전달하지만,<br /> <br /> <pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' > 7: TestMethod1(pg); 02A6088E 8B 4D C0 mov <span style='color: blue; font-weight: bold'>ecx,dword ptr [ebp-40h]</span> 02A60891 E8 AA FB FF FF call Program.TestMethod1(Program) (02A60440h) 02A60896 90 nop </pre> <br /> ref/out 매개변수는 해당 개체가 위치한 스택의 주솟값을 ecx 레지스터에 복사해 전달합니다.<br /> <br /> <pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' > 8: TestMethod2(ref pg); 02A60897 8D 4D C0 lea <span style='color: blue; font-weight: bold'>ecx,[ebp-40h]</span> 02A6089A E8 A9 FB FF FF call Program.TestMethod2(Program ByRef) (02A60448h) 02A6089F 90 nop </pre> <br /> 그리고 이를 받은 측에서 사용하는 경우 일반 매개변수는 개체가 위치한 GC Heap 주솟값을 그대로 사용하지만,<br /> <br /> <pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' > 13: Program pg1 = pg; 02A60938 8B 45 C4 mov eax,dword ptr [ebp-3Ch] 02A6093B 89 45 C0 mov dword ptr [ebp-40h],eax </pre> <br /> ref/out 매개변수는 스택의 주솟값이 담고 있는 GC Heap의 주솟값을 다시 조회해 사용하게 됩니다.<br /> <br /> <pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' > 19: Program pg1 = pg; 02A60998 8B 45 C4 mov eax,dword ptr [ebp-3Ch] 02A6099B 8B 00 mov eax,dword ptr [eax] 02A6099D 89 45 C0 mov dword ptr [ebp-40h],eax </pre> <br /> <hr style='width: 50%' /><br /> <br /> 한 가지 재미있는 점은, JIT 컴파일러가 ldind.ref IL 코드가 없는 경우, VerificationException을 발생시키지는 않는다는 점입니다. 실제로 위의 TestMethod2를 dnSpy를 이용해 IL 코드를 직접 편집하는 방식으로 ldind.ref 명령어를 삭제하면,<br /> <br /> <pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' > /* 0x00000298 00 */ IL_0000: nop /* 0x00000299 02 */ IL_0001: ldarg.0 <span style='color: blue; font-weight: bold'>/* 0x0000029A 00 */ IL_0002: nop</span> /* 0x0000029B 0A */ IL_0003: stloc.0 /* 0x0000029C 06 */ IL_0004: ldloc.0 /* 0x0000029D 6F1100000A */ IL_0005: callvirt instance string [mscorlib]System.Object::ToString() /* 0x000002A2 26 */ IL_000A: pop /* 0x000002A3 2A */ IL_000B: ret </pre> <br /> 실행 시 "Unhandled Exception: System.AccessViolationException: Attempted to read or write protected memory. This is often an indication that other memory is corrupt." 예외가 발생합니다. 따라서 예외 메시지만 보고 추적하기에는 ldind.ref 유무에 따른 오류인지 판정하기가 힘들어 디버깅에 애를 먹을 수 있습니다. ^^<br /> </p><br /> <br /><hr /><span style='color: Maroon'>[이 글에 대해서 여러분들과 의견을 공유하고 싶습니다. 틀리거나 미흡한 부분 또는 의문 사항이 있으시면 언제든 댓글 남겨주십시오.]</span> </div>
첨부파일
스팸 방지용 인증 번호
4832
(왼쪽의 숫자를 입력해야 합니다.)