1

我正在尝试构建一个动态属性访问器。想要一些非常快接近调用实际属性的东西。不想走反射路线，因为它非常慢。所以我选择使用 DynamicAssembly 并使用 ILGenerator 注入 IL。下面是似乎工作的 ILGenerator 相关代码

        Label nulllabel = getIL.DefineLabel();
        Label returnlabel = getIL.DefineLabel();
        //_type = targetGetMethod.ReturnType;
        if (methods.Count > 0)
        {
            getIL.DeclareLocal(typeof(object));
            getIL.DeclareLocal(typeof(bool));

            getIL.Emit(OpCodes.Ldarg_1); //Load the first argument

            //(target object)

            //Cast to the source type

            getIL.Emit(OpCodes.Castclass, this.mTargetType);
            //Get the property value

            foreach (var methodInfo in methods)
            {
                getIL.EmitCall(OpCodes.Call, methodInfo, null);

                if (methodInfo.ReturnType.IsValueType)
                {
                    getIL.Emit(OpCodes.Box, methodInfo.ReturnType);
                    //Box if necessary
                }
            }

            getIL.Emit(OpCodes.Stloc_0); //Store it
            getIL.Emit(OpCodes.Br_S,returnlabel);

            getIL.MarkLabel(nulllabel);
            getIL.Emit(OpCodes.Ldnull);
            getIL.Emit(OpCodes.Stloc_0);

            getIL.MarkLabel(returnlabel);
            getIL.Emit(OpCodes.Ldloc_0);
        }
        else
        {
            getIL.ThrowException(typeof(MissingMethodException));
        }
        getIL.Emit(OpCodes.Ret);

所以上面得到第一个参数，它是包含属性的对象。方法集合包含嵌套属性（如果有）。对于每个属性，我使用 EmitCall 将值放在堆栈上，然后我尝试将其装箱。这就像一个魅力。

唯一的问题是如果您有像 Order.Instrument.Symbol.Name 这样的属性并假设 Instrument 对象为空。然后代码将抛出一个空对象异常。

所以这就是我所做的，我引入了一个空检查

            foreach (var methodInfo in methods)
            {
                getIL.EmitCall(OpCodes.Call, methodInfo, null);

                getIL.Emit(OpCodes.Stloc_0);
                getIL.Emit(OpCodes.Ldloc_0);

                getIL.Emit(OpCodes.Ldnull);
                getIL.Emit(OpCodes.Ceq);
                getIL.Emit(OpCodes.Stloc_1);
                getIL.Emit(OpCodes.Ldloc_1);
                getIL.Emit(OpCodes.Brtrue_S, nulllabel);
                getIL.Emit(OpCodes.Ldloc_0);

                if (methodInfo.ReturnType.IsValueType)
                {
                    getIL.Emit(OpCodes.Box, methodInfo.ReturnType);
                    //Box if necessary
                }
            }

现在这段代码打破了说对象/内存已损坏等。那么这段代码到底有什么问题。我在这里错过了什么吗？

提前致谢。

4

1 回答 1

5

以前，如果你有连续的属性 P 返回字符串，然后 Q 返回 int，你会得到这样的结果：

...   
call P // returns string
call Q // requires a string on the stack, returns an int
box
...

现在你有这样的东西：

...
call P // returns string
store  // stores to object
...    // load, compare to null, etc.
load   // loads an *object*
call Q // requires a *string* on the stack
store  // stores to object *without boxing*
...

所以我看到了两个明显的问题：

  1. 您以这样一种方式调用方法，即目标只知道是一个对象，而不是具有该方法的特定类型。
  2. 在将值类型存储到类型对象的本地之前，您不会对它们进行装箱。

这些可以通过稍微修改你的逻辑来解决。您还可以清理其他一些小细节：

  1. 而不是ceq紧随其后brtrue，只需使用beq.
  2. 这样做没有意义，Stloc_1而Ldloc_1不仅仅是使用堆栈上的值，因为该 local 在其他任何地方都没有使用。

结合这些更改，这就是我要做的：

Type finalType = null;

foreach (var methodInfo in methods)
{
    finalType = methodInfo.ReturnType;

    getIL.EmitCall(OpCodes.Call, methodInfo, null);
    if (!finalType.IsValueType)
    {
        getIL.Emit(OpCodes.Dup);
        getIL.Emit(OpCodes.Ldnull);
        getIL.Emit(OpCodes.Beq_S, nulllabel);
    }
}

if (finalType.IsValueType)
{
    getIL.Emit(OpCodes.Box, methodInfo.ReturnType);
    //Box if necessary
}

getIL.Emit(OpCodes.Br_S, returnLabel);

getIL.MarkLabel(nulllabel);
getIL.Emit(OpCodes.Pop);    
getIL.Emit(OpCodes.Ldnull);

getIL.MarkLabel(returnlabel);

请注意，我们可以摆脱这两个局部变量，因为我们现在只需在与 null 比较之前复制堆栈上的顶部值。

于 2011-09-26T21:38:25.700 回答