C#3.0新增功能10 表达式树 07 翻译(转换)表达式

系列目录    【已更新最新开发文章，点击查看详细】

　　本篇将介绍如何访问表达式树中的每个节点，同时生成该表达式树的已修改副本。 以下是在两个重要方案中将使用的技巧。 第一种是了解表达式树表示的算法，以便可以将其转换到另一个环境中。 第二种是何时更改已创建的算法。 这可能是为了添加日志记录、拦截方法调用并跟踪它们，或其他目的。

转换即访问

　　生成的用于转换表达式树的代码是你已看到的用于访问树中所有节点的代码的扩展。 转换表达式树时，会访问所有节点，并在访问它们的同时生成新树。 新树可包含对原始节点的引用或已放置在树中的新节点。

让我们通过访问表达式树，并创建具有一些替换节点的新树，来查看其工作原理。 在此示例中，我们将任何常数替换为其十倍大的常数。  我们通过将常数节点替换为执行乘法运算的新节点来进行此替换，而不必阅读常数的值并将其替换为新的常数。

此处，在找到常数节点后，创建新乘法节点（其子节点是原始常数和常数 10）：

private static Expression ReplaceNodes(Expression original)
{
    if (original.NodeType == ExpressionType.Constant)
    {
        return Expression.Multiply(original, Expression.Constant());
    }
    else if (original.NodeType == ExpressionType.Add)
    {
        var binaryExpression = (BinaryExpression)original;
        return Expression.Add(ReplaceNodes(binaryExpression.Left),
                              ReplaceNodes(binaryExpression.Right));
    }
    return original;
}

通过替换原始节点，将形成一个包含修改的新树。 可以通过编译并执行替换的树对此进行验证。

var one = Expression.Constant(, typeof(int));
var two = Expression.Constant(, typeof(int));
var addition = Expression.Add(one, two);
var sum = ReplaceNodes(addition);
var executableFunc = Expression.Lambda(sum);
 
var func = (Func<int>)executableFunc.Compile();
var answer = func();
Console.WriteLine(answer);

生成新树是两者的结合：访问现有树中的节点，和创建新节点并将其插入树中。

此示例演示了表达式树不可变这一点的重要性。 请注意，上面创建的新树混合了新创建的节点和现有树中的节点。 这是安全的，因为现有树中的节点无法进行修改。 这可以极大提高内存效率。 相同的节点可能会在整个树或多个表达式树中遍历使用。 由于不能修改节点，因此可以在需要时随时重用相同的节点。

遍历并执行加法

　　通过生成遍历加法节点的树并计算结果的第二个访问者来对此进行验证。 可以通过对目前见到的访问者进行一些修改来执行此操作。 在此新版本中，访问者将返回到目前为止加法运算的部分总和。 对于常数表达式，该总和即为常数表达式的值。 对于加法表达式，遍历这些树后，其结果为左操作数和右操作数的总和。

var one = Expression.Constant(, typeof(int));
var two = Expression.Constant(, typeof(int));
var three= Expression.Constant(, typeof(int));
var four = Expression.Constant(, typeof(int));
var addition = Expression.Add(one, two);
var add2 = Expression.Add(three, four);
var sum = Expression.Add(addition, add2);
 
// 声明委托，这样就可以从它本身递归地调用它
Func<Expression, int> aggregate = null;
// 聚合、返回常量或左、右操作数之和。
// 主要简化：假设每个二进制表达式都是一个加法。
aggregate = (exp) => exp.NodeType == ExpressionType.Constant 
                   ? (int)((ConstantExpression)exp).Value 
                   : aggregate(((BinaryExpression)exp).Left) + aggregate(((BinaryExpression)exp).Right);
var theSum = aggregate(sum);
Console.WriteLine(theSum);

此处有相当多的代码，但这些概念是非常容易理解的。 此代码访问首次深度搜索后的子级。 当它遇到常数节点时，访问者将返回该常数的值。 访问者访问这两个子级之后，这些子级将计算出为该子树计算的总和。 加法节点现在可以计算其总和。 在访问了表达式树中的所有节点后，将计算出总和。 可以通过在调试器中运行示例并跟踪执行来跟踪执行。

让我们通过遍历树，来更轻松地跟踪如何分析节点以及如何计算总和。 下面是包含大量跟踪信息的聚合方法的更新版本：

private static int Aggregate(Expression exp)
{
    if (exp.NodeType == ExpressionType.Constant)
    {
        var constantExp = (ConstantExpression)exp;
        Console.Error.WriteLine($"Found Constant: {constantExp.Value}");
        return (int)constantExp.Value;
    }
    else if (exp.NodeType == ExpressionType.Add)
    {
        var addExp = (BinaryExpression)exp;
        Console.Error.WriteLine("Found Addition Expression");
        Console.Error.WriteLine("Computing Left node");
        var leftOperand = Aggregate(addExp.Left);
        Console.Error.WriteLine($"Left is: {leftOperand}");
        Console.Error.WriteLine("Computing Right node");
        var rightOperand = Aggregate(addExp.Right);
        Console.Error.WriteLine($"Right is: {rightOperand}");
        var sum = leftOperand + rightOperand;
        Console.Error.WriteLine($"Computed sum: {sum}");
        return sum;
    }
    else throw new NotSupportedException("Haven't written this yet");
}

在同一表达式中运行该版本将生成以下输出：

Found Addition Expression
Computing Left node
Found Addition Expression
Computing Left node
Found Constant:
Left is:
Computing Right node
Found Constant:
Right is:
Computed sum:
Left is:
Computing Right node
Found Addition Expression
Computing Left node
Found Constant:
Left is:
Computing Right node
Found Constant:
Right is:
Computed sum:
Right is:
Computed sum:

跟踪输出，并在上面的代码中跟随。 应当能够看出代码如何在遍历树的同时访问代码和计算总和，并得出总和。

现在，让我们来看看另一个运行，其表达式由 sum1 给出：

Expression<Func<int> sum1 = () =>  + ( + ( + ));

下面是通过检查此表达式得到的输出：

Found Addition Expression
Computing Left node
Found Constant:
Left is:
Computing Right node
Found Addition Expression
Computing Left node
Found Constant:
Left is:
Computing Right node
Found Addition Expression
Computing Left node
Found Constant:
Left is:
Computing Right node
Found Constant:
Right is:
Computed sum:
Right is:
Computed sum:
Right is:
Computed sum:

虽然最终结果是相同的，但树遍历完全不同。 节点的访问顺序不同，因为树是以首先发生的不同运算构造的。

限制

存在一些不好翻译成表达式树的较新的 C# 语言元素。 表达式树不能包含 await 表达式或 async lambda 表达式。 C# 6 发行中添加的许多功能不会完全按照表达式树中所编写的那样显示。 较新的功能可能会显示在表达式树中等效、早期的语法中。 这可能不像你想象的那样有局限性。 实际上，这意味着在引入新语言功能时，解释表达式树的代码将仍可能照常运行。

即使具有这些限制，通过表达式树，仍可创建依赖于解释和修改表示为数据结构的代码的动态算法。 它是一种功能强大的工具，作为 .NET 生态系统的一种功能，它可使丰富的库（如实体框架）完成其所执行的操作。

系列目录    【已更新最新开发文章，点击查看详细】