순수 C++/CLI의 MSIL

Question

/clr:pure 스위치는 순수한 MSIL을 생성하지만 검증 할 수는 없습니다. 네이티브 배열과 포인터는이 모드에서 사용할 수 있습니다. 즉, MSIL에는 네이티브 배열과 포인터를 보유하는 구조가 있습니까? 그렇다면 MSIL 원시 배열과 포인터를 어떻게 코딩 할 수 있습니까?

Answer 1

예, 관리되지 않는 포인터를 나타내는 CIL 유형이 있습니다. 그들은 관리 포인터 (C#의 경우 ref과 out, CIL의 경우 &)와 비슷하지만 GC가이를 무시하고 포인터로 이해할 수있는 산술 연산을 수행 할 수 있습니다.

흥미롭게도 포인터 유형에는 대상 유형에 대한 정보가 포함되어 있으므로 (예 : int32*) 모든 산술 연산은 바이트 기반입니다. 일례로서

다음 C++/CLI 방법 (반사체에 의해보고 된) 그것이 ref class 내부 때

void Bar(int *a) 
{ 
    a[5] = 15; 
} 

는 다음 CIL을 생산 :

.method private hidebysig instance void Bar(int32* a) cil managed 
{ 
    .maxstack 2 
    L_0000: ldarg.1  // load the value of a pointer to the stack 
    L_0001: ldc.i4.s 20 // load the number 20 (= 4 * 5) to the stack 
    L_0003: add   // add 20 to the pointer 
    L_0004: ldc.i4.s 15 // load the number 15 to the stack 
    L_0006: stind.i4  // store the value of 15 at the computed address 
    L_0007: ret   // return from the method 
}