由浅入深创建表达式树

　　为什么要学习表达式树？表达式树是将我们原来可以直接由代码编写的逻辑以表达式的方式存储在树状的结构里，从而可以在运行时去解析这个树，然后执行，实现动态的编辑和执行代码。LINQ to SQL就是通过把表达式树翻译成SQL来实现的，所以了解表达树有助于我们更好的理解 LINQ to SQL，同时如果你有兴趣，可以用它创造出很多有意思的东西来。

　　表达式树是随着.NET 3.5推出的，所以现在也不算什么新技术了。但是不知道多少人是对它理解的很透彻， 在上一篇Lambda表达式的回复中就看的出大家对Lambda表达式和表达式树还是比较感兴趣的，那我们就来好好的看一看这个造就了LINQ to SQL以及让LINQ to Everything的好东西吧。

　　本系列计划三篇，第一篇主要介绍表达式树的创建方式。第二篇主要介绍表达式树的遍历问题。第三篇，将利用表达式树打造一个自己的LinqProvider。

• 由浅入深表达式树（一）创建表达式树

• 由浅入深表达式树（二）遍历表达式树

• 由浅入深表达式树（三）Linq to 博客园

　　本文主要内容：

• 由Lambda表达式创建简单的表达式树

• 手动创建复杂的表达式树

• 表达式树类型列表及示例

　　在 上一篇Lambda表达式中我们提到了可以直接根据Lambda表达式来创建表达式树，这应该是最直接的创建表达式树的方式了。

expression> expr = x => x + 1;
Console.WriteLine(expr.ToString());  // x=> (x + 1)
 
// 下面的代码编译不通过
expression> expr2 = (x, y) => { return x + y; };
expression> expr3 = x => {  };

　　右边是一个Lambda表达式，而左边是一个表达式树。为什么可以直接赋值呢？这个就要多亏我们的expression泛型类了。而expression是直接继承自Lambdaexpression的，我们来看一下expression的构造函数：　　但是别想象的太美好，这种方式只能创建最简单的表达式树，复杂点的编译器就不认识了。

expression> expr = x => x + 1;
Console.WriteLine(expr.ToString());  // x=> (x + 1)
 
var lambdaExpr = expr as Lambdaexpression;
Console.WriteLine(lambdaExpr.Body);   // (x + 1)
Console.WriteLine(lambdaExpr.ReturnType.ToString());  // System.Int32
 
foreach (var parameter in lambdaExpr.Parameters)
{
    Console.WriteLine("Name:{0}, Type:{1}, ",parameter.Name,parameter.Type.ToString());
}
 
//Name:x, Type:System.Int32

　　实际上这个构造函数什么也没有做，只是把相关的参数传给了父类，也就是Lambdaexpression，由它把我们表达式的主体，名称，以及参数保存着。

　　简单的来说，expression泛型类做了一层封装，方便我们根据Lambda表达式来创建Lambda表达式树。它们中间有一个转换过程，而这个转换的过程就发生在我们编译的时候。还记得我们Lambda表达式中讲的么？Lambda表达式在编译之后是普通的方法，而Lambda式树是以一种树的结构被加载到我们的运行时的，只有这样我们才可以在运行时去遍历这个树。但是为什么我们不能根据expression来创建比较复杂的表达式树呢？您请接着往下看。

　　下面我们就来一步一步的创建一个复杂的表达式树，你们准备好了么？上面我们讲到直接由Lambda表达式的方式来创建表达式树，可惜只限于一种类型。下面我们就来演示一下如何创建一个无参无返回值的表达式树。

// 下面的方法编译不能过
    
        
// 创建 loop表达式体来包含我们想要执行的代码
Loopexpression loop = expression.Loop(
    expression.Call(
        null,
        typeof(Console).GetMethod("WriteLine", new Type[] { typeof(string) }),
        expression.Constant("Hello"))
        );
 
// 创建一个代码块表达式包含我们上面创建的loop表达式
Blockexpression block = expression.Block(loop);
 
// 将我们上面的代码块表达式
expression lambdaexpression =  expression.Lambda(block);
lambdaexpression.Compile().Invoke();

　　上面我们通过手动编码的方式创建了一个无参的Action，执行了一组循环。代码很简单，重要的是我们要熟悉这些各种类型的表达式以及他们的使用方式。上面我们引入了以下类型的表达式：

　　看起来神密的表达式树也不过如此嘛？如果大家去执行上面的代码，就会陷入死循环，我没有为loop加入break的条件。为了方便大家理解，我是真的一步一步来啊，现在我们就来终止这个循环。就像上面那一段不能编译通过的代码实现的功能一样，我们要输出10个”Hello”。

　　上面我们先写了一个Loopexpression，然后把它传给了BlockExpresson，从而形成的的一块代码或者我们也可以说一个方法体。但是如果我们有多个执行块，而且这多个执行块里面需要处理同一个参数，我们就得在block里面声明这些参数了。

Parameterexpression number=expression.Parameter(typeof(int),"number");
             
Blockexpression myBlock = expression.Block(
    new[] { number },
    expression.Assign(number, expression.Constant(2)),
    expression.AddAssign(number, expression.Constant(6)),
    expression.DivideAssign(number, expression.Constant(2)));
 
expression> myAction = expression.Lambda>(myBlock);
Console.WriteLine(myAction.Compile()());
// 4

　　我们声明了一个int的变量并赋值为2，然后加上6最后除以2。如果我们要用变量，就必须在block的你外面声明它，并且在block里面把它引入进来。否则在该表达式树时会出现，变量不在作用域里的错。

　　下面我们继续我们未完成的工作，为循环加入退出条件。为了让大家快速的理解loop的退出机制，我们先来看一段伪代码：

LabelTarget labelBreak = expression.Label();
expression.Loop(
    "如果 条件 成功"
        "执行成功的代码"
    "否则"
        expression.Break(labelBreak) //跳出循环
    , labelBreak);

　　我们需要借助于LabelTarget 以及expression.Break来达到退出循环的目地。下面我们来看一下真实的代码：

LabelTarget labelBreak = expression.Label();
Parameterexpression loopIndex = expression.Parameter(typeof(int), "index");
 
Blockexpression block = expression.Block(
new[] { loopIndex },
// 初始化loopIndex =1
    expression.Assign(loopIndex, expression.Constant(1)),
    expression.Loop(
        expression.IfThenElse(
            // if 的判断逻辑
            expression.LessThanOrEqual(loopIndex, expression.Constant(10)),
            // 判断逻辑通过的代码
            expression.Block(
                expression.Call(
                    null,
                    typeof(Console).GetMethod("WriteLine", new Type[] { typeof(string) }),
                    expression.Constant("Hello")),
                expression.PostIncrementAssign(loopIndex)),
            // 判断不通过的代码
            expression.Break(labelBreak)
            ),labelBreak));
 
// 将我们上面的代码块表达式
expression lambdaexpression =  expression.Lambda(block);
lambdaexpression.Compile().Invoke();

　　希望上面的代码没有阻止你学习表达式树的决心J 。

　　好吧，我们又学了几个新的类型的表达式，来总结一下：

　　到这里，我想大家应该对表达式树的构建有了一个清楚的认识。至于为什么不允许我们直接基于复杂的Lambda表达式来创建表达式树呢？

• 这里的Lambda表达式实际上是一个expression Body。

• 这个expression Body实际上就是我们上面讲到的expression中的一种。

• 也就是说编译器需要时间去分析你到底是哪一种？

• 最简单的x=> x+1之类的也就是Func 是很容易分析的。

• 实际这里面允许的expression Body只有Binaryexpression。

　　最后，我们来完整的看一下.NET都为我们提供了哪些类型的表达式（下面这些类都是继承自expression）。

TypeBinaryexpression typeBinaryexpression =
    expression.TypeIs(
        expression.Constant("spruce"),
        typeof(int));
 
Console.WriteLine(typeBinaryexpression.ToString());
// ("spruce" Is Int32)

Indexexpression

Parameterexpression arrayExpr = expression.Parameter(typeof(int[]), "Array");
 
Parameterexpression indexExpr = expression.Parameter(typeof(int), "Index");
 
Parameterexpression valueExpr = expression.Parameter(typeof(int), "Value");
 
expression arrayAccessExpr = expression.ArrayAccess(
    arrayExpr,
    indexExpr
);
 
expression> lambdaExpr = expression.Lambda>(
        expression.Assign(arrayAccessExpr, expression.Add(arrayAccessExpr, valueExpr)),
        arrayExpr,
        indexExpr,
        valueExpr
    );
 
Console.WriteLine(arrayAccessExpr.ToString());
// Array[Index]
 
Console.WriteLine(lambdaExpr.ToString());
// (Array, Index, Value) => (Array[Index] = (Array[Index] + Value))
 
Console.WriteLine(lambdaExpr.Compile().Invoke(new int[] { 10, 20, 30 }, 0, 5));
// 15

Newexpression

Newexpression newDictionaryexpression =expression.New(typeof(Dictionary));
Console.WriteLine(newDictionaryexpression.ToString());
// new Dictionary`2()

Invocationexpression

expression> largeSumTest =
    (num1, num2) => (num1 + num2) > 1000;
 
Invocationexpression invocationexpression= expression.Invoke(
    largeSumTest,
    expression.Constant(539),
    expression.Constant(281));
 
Console.WriteLine(invocationexpression.ToString());
// Invoke((num1, num2) => ((num1 + num2) > 1000),539,281)

　　今天我们演示了如何通过代码的方式去创建表达式树，然后总结了一下.NET为我们提供的表达式类型。下一篇，我们将继续研究表达式树的遍历问题，敬请期待，如果对于表达式树有兴趣的同学欢迎持续关注~，