c# - MSIL 存储要返回的结构的值

Question

我正在使用 RemotingLite 库 ( see at github )，并且代理类工厂存在问题。 简而言之，问题在于生成返回 ValueType 对象(如用户定义的结构)的代码时。

这里是原始代码的一部分:

...
mIL.Emit(OpCodes.Ldloc, resultLB.LocalIndex); //load the result array
mIL.Emit(OpCodes.Ldc_I4, 0); //load the index of the return value. Alway 0
mIL.Emit(OpCodes.Ldelem_Ref); //load the value in the index of the array

if (returnType.IsValueType)
{
    mIL.Emit(OpCodes.Unbox, returnType); //unbox it
    mIL.Emit(ldindOpCodeTypeMap[returnType]);
}
else
    mIL.Emit(OpCodes.Castclass, returnType);
}
        mIL.Emit(OpCodes.Ret);

ldindOpCodeTypeMap 是一个包含诸如 OpCodes.Ldind_U2 等操作码的字典。因此它仅适用于标准 MSIL 类型，例如 Int16、Int32 等。但是，如果我需要压入堆栈然后返回自定义 ValueType 值(例如 - Guid - 大小为 16 字节)，我需要做什么？

例如:

...
mIL.Emit(OpCodes.Unbox, returnType); //unbox it
OpCode opcode;
if (ldindOpCodeTypeMap.TryGetValue(returnType, out opcode))
{
    mIL.Emit(ldindOpCodeTypeMap[returnType]);
}
else
{
    // here I getting the size of custom type
    var size = System.Runtime.InteropServices.Marshal.SizeOf(returnType);
    // what next?
}
...

这里我得到了自定义ValueType值的大小。那么如何像 Ldind_x 操作码那样间接将自定义 ValueType 的值加载到计算堆栈上呢？ 谢谢!

Answer 1

Ldobj 会做你想做的事。但您也可以用 Unbox_Any 替换整个条件:它将执行值类型或引用类型所需的所有操作。

您发布的代码的完整替换是:

...
mIL.Emit(OpCodes.Ldloc, resultLB.LocalIndex); //load the result array
mIL.Emit(OpCodes.Ldc_I4, 0); //load the index of the return value. Alway 0
mIL.Emit(OpCodes.Ldelem_Ref); //load the value in the index of the array

mIL.Emit(OpCodes.Unbox_Any, returnType);
mIL.Emit(OpCodes.Ret);