为什么不同版本的.net(或编译器)为同一个表达式生成不同的表达式树

Question

在我的一个库中,我有从表达式返回MethodInfo的代码:

public MethodInfo GetMethod(Expression expression)
{
    var lambdaExpression = (LambdaExpression)expression;
    var unaryExpression = (UnaryExpression)lambdaExpression.Body;
    var methodCallExpression = (MethodCallExpression)unaryExpression.Operand;
    var methodInfoExpression = (ConstantExpression)methodCallExpression.Arguments.Last();
    return (MethodInfo)methodInfoExpression.Value;
}

我有一系列辅助函数来启用如下调用:

public MethodInfo Func<T, R, A1>(Expression<Func<T, Func<A1, R>>> expression)
{
    return GetMethod(expression);
}

这将启用以下语法:

var methodInfo = Func<TestClass, bool, string>(x => x.AnInstanceMethodThatTakesAStringAndReturnsABool);

这很好用,直到我最近将库升级到.Net 4.6.1和最新的c#编译器.

在.net的早期版本中,表达式将采用以下形式:

{x => Convert(CreateDelegate(System.Func`2[System.String, System.Boolean], x, Boolean AnInstanceMethodThatTakesAStringAndReturnsABool(System.String)))}

因此,我的代码会将methodInfoExpression作为methodCallExpression的最后一个参数.

现在,在.Net 4.6.1(最新的c#编译器)中,编译器似乎正在生成一个不同形式的表达式:

{x => Convert(Boolean AnInstanceMethodThatTakesAStringAndReturnsABool(System.String).CreateDelegate(System.Func`2[System.String, System.Boolean], x))}

我当前的代码中断,因为最后一个参数不是ConstantExpression.看着它 - 轻松修复,只需改为

 var methodInfoExpression = (ConstantExpression)methodCallExpression.Object;

显然,GetMethod函数非常脆弱,并且可能会改变编译器生成表达式的方式.我很好奇这个更改的原因以及我如何重构GetMethod,以便它对编译器生成的表达式树更具弹性.

Answer 1

我很好奇改变的原因

从 .NET 4.5 开始，有两种创建委托的方法MethodInfo：

1. MethodInfo、 和上的实例方法
2. Delegate.CreateDelegate静态方法

看起来微软决定从使用 #2 切换到使用 #1，无论出于什么原因（它可能更有效）。

我如何重构GetMethod，使其对编译器生成的表达式树更具弹性？

您可以使用表达式树访问者，并以这种方式查找方法信息。