c# - 对 ref T 的 TypedReference 抛出 BadImageFormatException

Question

我有以下示例代码:

string a = "1";
int b = 0;
TypedReference tr = __makeref(b);
Int32.TryParse(a, out __refvalue(tr, int));

应该将 1 放入 b 中。问题是，它抛出一个 BadImageFormatException: Bad class token。当然，问题出在 out __refvalue(tr, int) 表达式上。 __refvalue 被编译为 refanyval操作码，它应该返回存储在类型化引用中的地址。然后，out(同样适用于 ref)关键字应该将其转换为 ref int 并将(未更改的)引用传递给 TryParse 方法。

问题是在IL中发现的:

.locals init (string V_0, int32 V_1, typedref V_2)
IL_0000:  ldstr      "1"
IL_0005:  stloc.0
IL_0006:  ldc.i4.0
IL_0007:  stloc.1
IL_0008:  ldloca.s   V_1
IL_000a:  mkrefany   [mscorlib]System.Int32
IL_000f:  stloc.2
IL_0010:  ldloc.0
IL_0011:  ldloc.2
IL_0012:  refanyval  0 
IL_0017:  call       bool [mscorlib]System.Int32::TryParse(string, int32&)
IL_001c:  pop

问题现在很明显 - refanyval 0。操作码应该采用类型参数，因此 0 完全不合适，它应该是 refanyval [mscorlib]System.Int32。

这是编译器中的错误吗？有什么办法可以绕过这个错误吗？感谢您的意见。

编辑:所以我构建了一个很好的方法来生成 IL，允许在 TypedReference 和 ref T 之间进行转换:

public static class ReferenceHelper
{
    public delegate TResult OutDelegate<TArg,TResult>(out TArg variable);
    public delegate TResult RefDelegate<TArg,TResult>(ref TArg variable);
    public delegate void OutDelegate<TArg>(out TArg variable);
    public delegate void RefDelegate<TArg>(ref TArg variable);

    static readonly AssemblyBuilder ab;
    static readonly ModuleBuilder mob;
    static readonly Type TypedReferenceType = typeof(TypedReference);

    static ReferenceHelper()
    {
        ab = AssemblyBuilder.DefineDynamicAssembly(new AssemblyName("ReferenceHelperAssembly"), AssemblyBuilderAccess.Run);
        mob = ab.DefineDynamicModule("ReferenceHelperAssembly.dll");
    }

    public static TResult PassReference<TArg,TResult>(TypedReference tref, RefDelegate<TArg,TResult> del)
    {
        return ReferenceBuilder<TArg,TResult>.PassRef(tref, del);
    }

    public static void PassReference<TArg>(TypedReference tref, RefDelegate<TArg> del)
    {
        ReferenceBuilder<TArg>.PassRef(tref, del);
    }

    public static TResult PassReference<TArg,TResult>(TypedReference tref, OutDelegate<TArg,TResult> del)
    {
        return PassReference<TArg,TResult>(tref, delegate(ref TArg arg){return del(out arg);});
    }

    public static void PassReference<TArg>(TypedReference tref, OutDelegate<TArg> del)
    {
        PassReference<TArg>(tref, delegate(ref TArg arg){del(out arg);});
    }

    static int mcounter = 0;
    private static Type BuildPassRef(Type deltype, Type argType, Type resultType)
    {
        TypeBuilder tb = mob.DefineType("ReferenceHelperType"+(mcounter++), TypeAttributes.Public | TypeAttributes.Sealed | TypeAttributes.Abstract);
        MethodBuilder mb = tb.DefineMethod(
            "PassRef",
            MethodAttributes.Public | MethodAttributes.Static,
            resultType,
            new[]{TypedReferenceType, deltype}
        );
        var il = mb.GetILGenerator();
        il.Emit(OpCodes.Ldarg_1);
        il.Emit(OpCodes.Ldarg_0);
        il.Emit(OpCodes.Refanyval, argType);
        il.Emit(OpCodes.Callvirt, deltype.GetMethod("Invoke"));
        il.Emit(OpCodes.Ret);
        return tb.CreateType();
    }

    private static class ReferenceBuilder<TArg,TResult>
    {
        public delegate TResult PassRefDelegate(TypedReference tref, RefDelegate<TArg,TResult> del);
        public static readonly PassRefDelegate PassRef;

        static ReferenceBuilder()
        {
            Type t = BuildPassRef(typeof(RefDelegate<TArg,TResult>), typeof(TArg), typeof(TResult));
            PassRef = (PassRefDelegate)t.GetMethod("PassRef").CreateDelegate(typeof(PassRefDelegate));
        }
    }

    private static class ReferenceBuilder<TArg>
    {
        public delegate void PassRefDelegate(TypedReference tref, RefDelegate<TArg> del);
        public static readonly PassRefDelegate PassRef;

        static ReferenceBuilder()
        {
            Type t = BuildPassRef(typeof(RefDelegate<TArg>), typeof(TArg), typeof(void));
            PassRef = (PassRefDelegate)t.GetMethod("PassRef").CreateDelegate(typeof(PassRefDelegate));
        }
    }
}

使用

string a = "1";
int b = 0;
TypedReference tr = __makeref(b);
ReferenceHelper.PassReference(tr, delegate(out int val){return Int32.TryParse(a, out val);});

Answer 1

问题是 out - 编译器不知道如何正确编译 out __refvalue (或 ref __refvalue，就此而言) )，这并不奇怪，因为 __refvalue 支持的功能 (varargs) 不需要与 out 结合使用。这是一个错误，因为编译器不应该发出无效代码；这不是一个错误，因为如果您使用未记录的关键字，那么您就得靠自己(如果 Connect 票证有任何迹象的话，微软对修复由于使用它们而导致的错误不感兴趣)。

任何解决方法都将涉及不使用 out 参数，但这是否可行取决于您的场景(您可以在 Int32.TryParse 周围编写一个包装器，返回一个元组例如，而是将参数装箱，但当然这是一个简化的实例)。更好的解决方法是不要使用未记录的关键字——您可能必须硬着头皮进行动态 IL 生成(然后我无法想象您需要 mkrefany/refanyval).