J & J - 정성태의 닷넷 이야기

사용자

메뉴

최근 덧글

[정성태] VT sequences to "CONOUT$" vs. STD_O...[정성태] NetCoreDbg is a managed code debugg...[정성태] Evaluating tail call elimination in...[정성태] What’s new in System.Text.Json in ....[정성태] What's new in .NET 9: Cryptography ...[정성태] 아... 제시해 주신 "https://akrzemi1.wordp...[정성태] 다시 질문을 정리할 필요가 있을 것 같습니다. 제가 본문에...[이승준] 완전히 잘못 짚었습니다. 댓글 지우고 싶네요. 검색을 해보...[정성태] 우선 답글 감사합니다. ^^ 그런데, 사실 저 예제는 (g...[이승준] 수정이 안되어서... byteArray는 BYTE* 타입입니다...

글쓰기

제목

이름

암호

전자우편

HTML

홈페이지

유형

내용

<div style='display: inline'>
<h1 style='font-family: Malgun Gothic, Consolas; font-size: 20pt; color: #006699; text-align: center; font-weight: bold'>값(struct) 형식의 제네릭(Generic) 타입이 박싱되는 경우의 메타데이터 토큰 값</h1>

지난번 글에서 Generic 타입의 메타데이터 토큰에 대해 이야기했었는데요. 
 
<pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' >
닷넷 Generic 타입의 메타 데이터 토큰 값 알아내는 방법
; <a target='tab' href='http://www.sysnet.pe.kr/2/0/1848'>http://www.sysnet.pe.kr/2/0/1848</a>
</pre>
 
box 연산자를 사용하려면 값 형식의 경우 해당 타입의 메타 데이터 토큰 값을 알아야 하는데, 그렇다면 값 형식의 제네릭 타입은 어떻게 되는 건지 한번 알아보겠습니다. 
 
우선 다음과 같이 예제 코드를 만들고, 
 
<pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' >
using System;

class Program
{
    static void Main(string[] args)
    {
        StructVarTest&lt;int&gt; t2 = new StructVarTest&lt;int&gt;();
        ToObject(t2);
    }

private static void ToObject&lt;T&gt;(StructVarTest&lt;T&gt; t2)
 {
 object obj = t2;
 Console.WriteLine(obj);
 }
}

struct StructVarTest&lt;T&gt;
{
}
</pre>
 
ToObject 메서드를 ildasm.exe로 확인해 보면 다음과 같이 메서드의 signature와 box에서의 제네릭 타입에 대한 메타데이터 토큰값을 알아낼 수 있습니다. 
 
<pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' >
.method private hidebysig static void ToObject&lt;T&gt;(valuetype StructVarTest`1&lt;!!T&gt; t2) cil managed
// SIG: 10 01 01 01 15 11 0C 01 1E 00
{
 // Method begins at RVA 0x2074
 // Code size 16 (0x10)
 .maxstack 1
 .locals init ([0] object obj)
 IL_0000: /* 00 | */ nop
 IL_0001: /* 02 | */ ldarg.0
 IL_0002: /* 8C | (1B)000002 */ box valuetype StructVarTest`1&lt;!!T&gt;
 IL_0007: /* 0A | */ stloc.0
 IL_0008: /* 06 | */ ldloc.0
 IL_0009: /* 28 | (0A)000012 */ call void [mscorlib]System.Console::WriteLine(object)
 IL_000e: /* 00 | */ nop
 IL_000f: /* 2A | */ ret
} // end of method Program::ToObject
</pre>
<a name='parse_sig'></a>
 
SIG 값을 분석해 보면 다음과 같습니다. 
 
<pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' >
10: IMAGE_CEE_CS_CALLCONV_GENERIC
01: Generic 메서드인 경우 Generic 타입의 수
01: Generic 메서드인 경우 인자의 수
01: 반환값 타입 == ELEMENT_TYPE_VOID
15: ELEMENT_TYPE_GENERICINST
11: ELEMENT_TYPE_VALUETYPE
0C: StructVarTest 메타데이터 토큰(압축형)
01: 제네릭 타입 인자 수
1E 00: 'T' 메타데이터 토큰 인덱스 (참조: <a target='tab' href='http://www.sysnet.pe.kr/2/0/1848'>닷넷 Generic 타입의 메타 데이터 토큰 값 알아내는 방법</a>)
</pre>
 
위의 결과에서 StructVarTest의 압축된 토큰값을 구하는 것이 흥미롭습니다. 0x0c가 압축형이라면 이를 풀면 0x2000003 값이 나옵니다. 실제로 해당 어셈블리의 TypeDef 메타데이터 테이블에서 3번째 인덱스 값을 구해보면 StructVarTest`1 타입이 정의된 것을 확인할 수 있습니다. 
 
그런데, 역시 이번에도 "box 0x1b000002" 명령어의 0x1b000002 TypeSpec 메타데이터 토큰 값을 구해오기에는 SIG 값 자체만으로는 전혀 유추가 안되는 상황입니다. 지난 글(<a target='tab' href='http://www.sysnet.pe.kr/2/0/1848'>닷넷 Generic 타입의 메타 데이터 토큰 값 알아내는 방법</a>)에서는 0x1e를 기점으로 메타데이터 토큰 값을 구할 수 있었지만, 이번에는 상황이 완전히 다릅니다. 왜냐하면 제네릭 인자의 타입이 중요한 것이 아니고 그것을 담고 있는 값 형식의 제네릭 타입에 대한 TypeSpec 토큰 값을 구해와야 하기 때문입니다. 
 
일련의 조사를 해보면, 이 값은 "0x15 ... 0x1e 0x00" 까지의 signature 값으로 구해와야 함을 알 수 있습니다. 그래서 지난번 글의 코드에서 다음과 같이 변경될 수 있습니다. 
 
<pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' >
// ...[생략]...
mdTypeSpec foundTypeSpec = 0;

while (true)
{
    // ...[생략]...

for (size_t i = 0; i &lt; cEnumResult; i++)
    {
        DWORD cbSig = 0;
        PCCOR_SIGNATURE pvSig;
        hr = pMetaDataImport-&gt;GetTypeSpecFromToken(typeSpecs[i], &amp;pvSig, &amp;cbSig);
        if (hr != S_OK)
        {
            break;
        }

BYTE sigs[6] = { 0x15, 0x11, 0x0c, 0x01, 0x1e, 0x00 };
 if (memcmp(sigs, 6, cbSig) == 0)
 {
 foundTypeSpec = typeSpecs[i];
 break;
 }
 }

if (foundTypeSpec != 0)
    {
        break;
    }
}

pMetaDataImport-&gt;CloseEnum(hCorEnum);
</pre>
 
<hr style='width: 50%' /> 
 
재미있는 사실은, TypeSpec에 등록되는 타입의 조건 역시 TypeRef와 동일하다는 점입니다. 
 
<pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' >
TypeRef 메타테이블에 등록되는 타입의 조건
; <a target='tab' href='http://www.sysnet.pe.kr/2/0/1856'>http://www.sysnet.pe.kr/2/0/1856</a>
</pre>
 
따라서, 이 글의 예제 코드를 다음과 같이 변경하면, 
 
<pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' >
using System;

class Program
{
    static void Main(string[] args)
    {
        StructVarTest&lt;int&gt; t2 = new StructVarTest&lt;int&gt;();
        ToObject(t2);
    }

private static void ToObject&lt;T&gt;(StructVarTest&lt;T&gt; t2)
 {
 StructVarTest&lt;T&gt; t3 = t2;
 // object obj = t2;
 }
}

struct StructVarTest&lt;T&gt;
{
}
</pre>
 
이때는 "{ 0x15, 0x11, 0x0c, 0x01, 0x1e, 0x00 }" 시그니처를 갖는 TypeSpec 토큰값이 (IL 코드에서 해당 토큰값이 사용된 적이 없으므로) 메타데이터 테이블에 저장되지 않습니다. 따라서, 위의 ToObject 메서드 내에 동적으로 "box [...t2인스턴스...]"와 같은 동작을 하는 코드를 넣고 싶어도 토큰값이 없으므로 이것이 불가능합니다. 
 
이것을 가능하게 하려면 <a target='tab' href='https://docs.microsoft.com/en-us/dotnet/framework/unmanaged-api/metadata/imetadataemit-interface'>IMetaDataEmit</a> 인터페이스의 힘을 빌려야 합니다. 
 
<pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' >
IMetaDataEmit2 *pEmit2;
hr = pMetaDataImport-&gt;QueryInterface(IID_IMetaDataEmit2, (LPVOID *)&amp;pEmit2);
if (hr == S_OK &amp;&amp; pEmit2 != nullptr)
{
 mdTypeSpec foundTypeSpec = mdTokenNil;
 
 BYTE sigs[6] = { 0x15, 0x11, 0x0c, 0x01, 0x1e, 0x00 };

pEmit2-&gt;GetTokenFromTypeSpec(sigs, 6, &amp;foundTypeSpec);
 pEmit2-&gt;Release();
}
</pre>
 
비록 이름은 "Get"으로 시작하는 GetTokenFromTypeSpec 메서드지만, 이 메서드를 이용하면 전달된 signature를 TypeSpec 메타데이터 테이블에 등록하고 마지막 인자로 그 토큰값을 반환해 줍니다. (물론, 이미 동일한 signature로 등록된 값이 있으면 기존의 토큰값을 반환해 줍니다.) 
 
(<a target='tab' href='http://www.sysnet.pe.kr/bbs/DownloadAttachment.aspx?fid=912&amp;boardid=331301885'>이번 글에는 위의 코드를 테스트 해볼 수 있는 .NET Profiler 예제를 포함</a>시켰습니다.)

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

첨부파일

스팸 방지용 인증 번호

1157 (왼쪽의 숫자를 입력해야 합니다.)