使用 DLR 调用带有 ref 参数的方法

Question

尝试调用带有 ref 参数的示例方法：

public void RefTest(ref int i)
{
    Console.WriteLine(i);
    i = 18;
}

利用 DLR：

var prog = new Program();
var binder = Microsoft.CSharp.RuntimeBinder.Binder.InvokeMember(
    CSharpBinderFlags.ResultDiscarded,
    "RefTest", null, typeof(Program),
    new CSharpArgumentInfo[]{
        CSharpArgumentInfo.Create(0,null),
        CSharpArgumentInfo.Create(CSharpArgumentInfoFlags.IsRef,null)
    }
);
ParameterExpression p = Expression.Parameter(typeof(int));
Expression dyn = Expression.Dynamic(binder, typeof(object), Expression.Constant(prog), p);
var lam = Expression.Lambda<Action<int>>(dyn, p).Compile();
lam(9); //RuntimeBinderException

但是，代码失败并出现 RuntimeBinderException，它无法将 int 转换为 ref int。如何解决？

我正在尝试模仿以下代码：

dynamic prog = new Program();
Action<int> lam = i => prog.RefTest(ref i);
lam(9);

我必须使用 DLR 而不是反射，因为提供的对象 (prog) 可能是动态的。

Answer 1

我重现了您的问题，并发现相关代码存在一些潜在问题。为了解释，我将从我如何解释您实际尝试做的事情开始，即运行以下代码：

dynamic program = ...;
program.RefTest(ref myInt);

请注意，上面的代码可以正常运行并运行该方法。

这里有几点需要注意：

• program 变量是一个常量。
• 方法返回void
• 我们应该能够通过引用传入任何整数。

您的问题中与此不一致的一些内容是：

• 您的Expression.Dynamic 调用告诉该方法返回object。相反，它应该返回 typeof(void)。
• 您的Expression.Lambda 调用将委托类型指定为Action<int>。该参数的类型应为ref int。为了解决这个问题，应该有一个Action，它有ref 参数。 delegate void RefAction<T>(ref T arg1)

这让我想到了以下代码：

Expression programExpr = Expression.Constant(program);
var binder = Binder.InvokeMember(CSharpBinderFlags.ResultDiscarded | CSharpBinderFlags.InvokeSimpleName, "Bla", null, typeof (Program),
    new[] { CSharpArgumentInfo.Create(CSharpArgumentInfoFlags.None, null), 
            CSharpArgumentInfo.Create(CSharpArgumentInfoFlags.IsRef, null) });
var intParam = Expression.Parameter(typeof (int).MakeByRefType(), "x");
Expression methodCall = Expression.Dynamic(binder, typeof (void), programExpr, intParam);
var expr = Expression.Lambda<RefAction<int>>(methodCall, intParam).Compile();
expr(ref myInt);

但是，我遇到了和你一样的异常：

“Microsoft.CSharp.RuntimeBinder.RuntimeBinderException”类型的未处理异常发生在 System.Core.dll

附加信息：无法将类型“int”转换为“ref int”

这使我相信存在一些框架错误，导致 RuntimeBinder 错误地处理动态调用的 ref 参数，或者 Expression.Dynamic 代码错误地按值参数分配应该使用 ref 参数的位置.

请注意，我也能够重现 out 参数的问题，产生完全相同的结果。

但是，对于您的情况，您似乎已经非常了解要调用的类型，甚至创建了一个强类型的委托来调用。在这种情况下，我会选择以下内容：

var programExpr = Expression.Constant(program);
var intParam = Expression.Parameter(typeof(int).MakeByRefType(), "x");
var methodCall = Expression.Call(programExpr, typeof (Program)
    .GetMethod("RefTest", BindingFlags.NonPublic | BindingFlags.Instance), intParam);
var expr = Expression.Lambda<RefAction<int>>(methodCall, intParam).Compile();
expr(ref myInt);

Answer 2

如果我没记错的话，Dynamic doesn't support ref/out parameters。参考 Alexandra Rusina 在链接线程和here also 中的回答。

尝试以下（不会编译）：

dynamic value = 5;
RefTest(ref value);

Simply dynamic 不支持 ref/out。所以很明显，用表达式尝试同样的方法也行不通。