純粋な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 
}