Lambda实参代入变换

这里要讲的lambda实参代入变换就是把实参表达式替换掉lambda里的形参表达式。举个例子：

Expression<Func<int, int, Func<int, int>>> e = (i, j) => x => x + i + j;

lambda e接受2个参数，并返回一个相加的表达式。

Expression<Func<int, int>> p1 = x => x + 1;

Expression<Func<int, int>> p2 = x => x - 1;

p1, p2都是准备代入到之前e的2个参数i, j，直接代入后的e样子应该是：

Expression<Func<int, int, Func<int, int>>> e = () => x => x + (x => x + 1) + (x => x - 1);
 
懂一点lambda演算的应该都明白了，就是实现β变换。代换后的表达式有点问题，就是x存在冲突，按照β变换规则，β变换前应该始终做α变换，也就是自由变量的重命名，理想情况下，上面的表达式应该是：
Expression<Func<int, int, Func<int, int>>> e = () => x => x + (p1 => p1 + 1) + (p2 => p2 - 1);
 
幸运的是C#的ParameterExpression都是按引用区分的，也就是说就算名字一样只要不是同一个引用就不算一个ParameterExpression，所以我们没必要去做α变换。现在我们只需要简单的把原先表达式的i,j 2个参数的替换成p1,p2 2个表达式就成了，这个工作就用ExpressionVisitor来完成：
        class SubstitutionVisitor : System.Linq.Expressions.ExpressionVisitor
        {
            private IDictionary<ParameterExpression, Expression> _dict;
            public SubstitutionVisitor(IDictionary<ParameterExpression, Expression> dict)
            {
                _dict = dict;
            }

            protected override Expression VisitParameter(ParameterExpression node)
            {
                Expression exp;
                if (_dict.TryGetValue(node, out exp))
                    return exp;
                return base.VisitParameter(node);
            }
        }
这里构造函数接收一个形参到实参的映射表以用来替换。
 
替换代码就是通过visitor对lambda的body做一次遍历：
        Expression Substitution(LambdaExpression expression, params Expression[] parameters)
        {
            return new SubstitutionVisitor(parameters.ToDictionary(exp => expression.Parameters[parameters.IndexOf(p => p == exp)])).Visit(expression.Body);
        }

        LambdaExpression Substitution(LambdaExpression expression, params LambdaExpression[] lambda)
        {
            return Expression.Lambda(Substitution(expression, lambda.Select(l => l.Body).ToArray()), lambda.SelectMany(l => l.Parameters).ToArray());
        }

        Expression<TDelegate> Substitution<TDelegate>(LambdaExpression expression, params LambdaExpression[] lambda)
        {
            return Substitution(expression, lambda) as Expression<TDelegate>;
        }
 
然后只要
var exp = Substitution<Func<int, int, Func<int, int>>>(e, p1, p2);
exp就是替换后的lambda表达式
编译执行：
exp.Compile()(1, 2)(3)
1, 2就是e的i, j也就是p1, p2的x，3就是e里的x，结果为6。