【Emit基礎】OpCodes.Ldind_Ref 和 OpCodes.Ldind_I*

一.OpCodes.Ldind_Ref

OpCodes.Ldind_Ref ，MSDN的解釋是：将對象引用作為 O（對象引用）類型間接加載到計算堆棧上。

     比較拗口，我對OpCodes.Ldind_Ref 的了解是，目前計算堆棧頂部的值是一個（對象引用的）位址（即指針的指針），而OpCodes.Ldind_Ref 就是要把這個位址處的對象引用加載到計算堆棧上。具體過程如下：

将位址推送到堆棧上。

從堆棧中彈出位址；擷取位于此位址的對象引用。

将擷取的引用推送到堆棧上。

     什麼時候用到它了？通常是Emit加載方法的out/ref參數時。舉個例子：

     我們需要Emit一個這樣的動作，為方法的第一個參數（自定義引用類型，使用out修飾）調用ToString方法：     

    ldarg.1 

    ldind.ref 

    callvirt instance string [mscorlib]System.Object::ToString()

     由于第一個參數使用了out修飾符，說明傳入方法的實際上是對象引用的位址（即位址的位址），而該位址并不是一個對象引用，是以必須通過Ldind_Ref将該位址處的對象引用加載到計算堆棧，而後才能對其調用ToString()方法。

 二.OpCodes.Ldind_I

     如果ref/out參數是一個值類型，也是類似的情況，這時我們就需要使用OpCodes.Ldind_I*系列的字段。比如，将一個int類型的out參數間接加載到計算堆棧：

    ldarg.2 

    ldind.i4     

     i4表示目标類型是Int32，而對于不同的值類型，會有不同的操作符字段，使用下面的方法，可以簡化調用：

        /// <summary>

        /// Ldind 間接加載。（即從位址加載）

         /// </summary>       

        public static void Ldind(ILGenerator ilGenerator, Type type)

        {

            if (!type.IsValueType)

            {

                ilGenerator.Emit(OpCodes.Ldind_Ref);

                return;

            }

            if (type.IsEnum)

                Type underType = Enum.GetUnderlyingType(type);

                EmitHelper.Ldind(ilGenerator, underType);

            if (type == typeof(Int64))

                ilGenerator.Emit(OpCodes.Ldind_I8);

            if (type == typeof(Int32))

                ilGenerator.Emit(OpCodes.Ldind_I4);

            if (type == typeof(Int16))

                ilGenerator.Emit(OpCodes.Ldind_I2);

            if (type == typeof(Byte))

                ilGenerator.Emit(OpCodes.Ldind_U1);

            if (type == typeof(SByte))

                ilGenerator.Emit(OpCodes.Ldind_I1);

            if (type == typeof(Boolean))

            if (type == typeof(UInt64))

            if (type == typeof(UInt32))

                ilGenerator.Emit(OpCodes.Ldind_U4);

            if (type == typeof(UInt16))

                ilGenerator.Emit(OpCodes.Ldind_U2);

            if (type == typeof(Single))

                ilGenerator.Emit(OpCodes.Ldind_R4);

            if (type == typeof(Double))

                ilGenerator.Emit(OpCodes.Ldind_R8);

            if (type == typeof(System.IntPtr))

            if (type == typeof(System.UIntPtr))

            throw new Exception(string.Format("The target type:{0} is not supported by EmitHelper.Ldind()" ,type));

        } 

三.OpCodes.Stind_Ref 與 OpCodes.Stind_I*

    與OpCodes.Ldind_Ref  和 OpCodes.Ldind_I* 的間接加載相反，OpCodes.Stind_Ref 與 OpCodes.Stind_I* 是間接存儲，即

将值推送到堆棧上。

從堆棧中彈出值和位址；将值存儲在該位址。

     為了簡化調用，封裝下面的Helper方法：

        /// Stind 間接存儲

         /// </summary>      

        public static void Stind(ILGenerator ilGenerator, Type type)

                ilGenerator.Emit(OpCodes.Stind_Ref);

                EmitHelper.Stind(ilGenerator, underType);

                ilGenerator.Emit(OpCodes.Stind_I8);

                ilGenerator.Emit(OpCodes.Stind_I4);

                ilGenerator.Emit(OpCodes.Stind_I2);

                ilGenerator.Emit(OpCodes.Stind_I1);

                ilGenerator.Emit(OpCodes.Stind_R4);

                ilGenerator.Emit(OpCodes.Stind_R8);

            throw new Exception(string.Format("The target type:{0} is not supported by EmitHelper.Stind_ForValueType()", type));