【转】由浅入好达式树(一)创建表达式。【转】由浅入雅达式树(一)创建表达式。

SQL就是通过把表达式树翻译成SQL来实现的,SQL就是通过把表达式树翻译成SQL来实现的

     
 为什么而上学表达式树?表达式树是拿我们原本可以直接由代码编写的逻辑以表达式的方式囤在树状的构造里,从而得以于运转时去分析这个培训,然后实施,实现动态的编排和实践代码。LINQ
to
SQL就是透过将表达式树翻译成SQL来促成之,所以了解表达树有助于我们更好之知
LINQ to SQL,同时使你发出趣味,可以用它创造出广大有趣的东西来。

     
 为什么要上表达式树?表达式树是将我们本来可以直接由代码编写的逻辑以表达式的办法囤在树状的组织里,从而得以以运转时失去分析这个培训,然后实施,实现动态的编纂和实施代码。LINQ
to
SQL就是经过把表达式树翻译成SQL来贯彻之,所以了解表达树有助于我们还好的晓
LINQ to SQL,同时假设您产生趣味,可以为此其创造有许多妙不可言的东西来。

  表达式树是随着.NET
3.5出产的,所以现在为不算什么新技巧了。但是未懂得多少人是针对其了解的死去活来透,
在上一篇Lambda表达式的还原中即使扣留的发出大家对Lambda表达式和表达式树要比感兴趣的,那我们就是来好好的关押无异扣这个培训了LINQ
to SQL以及被LINQ to Everything的好东西吧。

  表达式树是随着.NET
3.5推出的,所以现在吗不算什么新技巧了。但是非理解多少人是对它掌握的不得了透,
在上一篇Lambda表达式的过来中便扣留的出大家对Lambda表达式和表达式树要于感兴趣的,那我们即便来可以的关押一样圈是培训了LINQ
to SQL以及为LINQ to Everything的好东西吧。

  本系列计划三首,第一首重要介绍表达式树的创建方式。第二篇重要介绍表达式树的遍历问题。第三首,将利用表达式树打造一个融洽的LinqProvider。

  本系列计划三首,第一篇重要介绍表达式树的创立方式。第二首重要介绍表达式树的遍历问题。第三篇,将使表达式树打造一个自己之LinqProvider。

  • 出于浅入好达式树(一)创建表达式树
  • 由于浅入好达式树(二)遍历表达式树
  • 由浅入好达式树(三)Linq to
    博客园
  • 是因为浅入雅达式树(一)创建表达式树
  • 鉴于浅入雅达式树(二)遍历表达式树
  • 出于浅入雅达式树(三)Linq to
    博客园

  本文主要内容:

  本文主要内容:

  • 鉴于Lambda表达式创建简单的表达式树
  • 手动创建复杂的表达式树
  • 表达式树类型列表及示范
  • 是因为Lambda表达式创建简单的表达式树
  • 手动创建复杂的表达式树
  • 表达式树类型列表及示范

缔造一个简约的Lambda表达式树

  在
上一篇Lambda表达式丁我们提到了足以直接冲Lambda表达式来创造表达式树,这该是太直接的始建表达式树的点子了。

Expression<Func<int, int>> expr = x => x + 1;
Console.WriteLine(expr.ToString());  // x=> (x + 1)

// 下面的代码编译不通过
Expression<Func<int, int, int>> expr2 = (x, y) => { return x + y; };
Expression<Action<int>> expr3 = x => {  };

  但是变化想象的最好美好,这种办法只能创造最简便易行的表达式树,复杂点的编译器就未识了。

  右边是一个Lambda表达式,而左边是一个达式树。为什么可以直接赋值呢?这个即将多亏我们的Expression<TDelegate>泛型类了。而Expression<TDelegate>是直接接轨自LambdaExpression的,我们来拘禁一下Expression之构造函数:

internal Expression(Expression body, string name, bool tailCall, ReadOnlyCollection<ParameterExpression> parameters)
    : base(typeof(TDelegate), name, body, tailCall, parameters)
{
}

  实际上这构造函数什么为无开,只是将有关的参数传被了父类,也就是LambdaExpression,由她将咱表达式的主体,名称,以及参数保存在。

Expression<Func<int, int>> 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

  图片 1

  简单的吧,Expression<TDelegate>泛型类做了一如既往叠封装,方便我们根据Lambda表达式来创造Lambda表达式树。它们当中产生一个更换过程,而这个转换的长河尽管产生在咱们编译的时候。还记得我们Lambda表达式中说道的吗?Lambda表达式在编译之后是寻常的法,而Lambda式树是坐相同种植树的组织于加载到我们的周转时之,只有如此我们才可以在运转时失去遍历这个培训。但是为什么我们不克依据Expression<TDelegate>来创造比较复杂的表达式树也?您要接着向下看。

缔造一个简约的Lambda表达式树

  在
上一篇Lambda表达式面临我们关系了足直接冲Lambda表达式来创造表达式树,这应该是极度直接的缔造表达式树的方了。

Expression<Func<int, int>> expr = x => x + 1;
Console.WriteLine(expr.ToString());  // x=> (x + 1)

// 下面的代码编译不通过
Expression<Func<int, int, int>> expr2 = (x, y) => { return x + y; };
Expression<Action<int>> expr3 = x => {  };

  但是别想象的最好美好,这种方法只能创造最简便易行的表达式树,复杂点的编译器就未识了。

  右边是一个Lambda表达式,而左边是一个达式树。为什么可以直接赋值呢?这个即将多亏我们的Expression<TDelegate>泛型类了。而Expression<TDelegate>是一直接轨自LambdaExpression的,我们来拘禁一下Expression底构造函数:

internal Expression(Expression body, string name, bool tailCall, ReadOnlyCollection<ParameterExpression> parameters)
    : base(typeof(TDelegate), name, body, tailCall, parameters)
{
}

  实际上这构造函数什么为从未做,只是将有关的参数传被了父类,也即是LambdaExpression,由她将咱表达式的关键性,名称,以及参数保存在。

Expression<Func<int, int>> 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

  图片 2

  简单的吧,Expression<TDelegate>泛型类做了一如既往重合封装,方便我们根据Lambda表达式来创造Lambda表达式树。它们当中有一个更换过程,而这个转换的经过尽管产生在咱们编译的下。还记得我们Lambda表达式中提的也?Lambda表达式在编译之后是寻常的计,而Lambda式树是为平等栽树的组织于加载到我们的周转时之,只有如此我们才可以在运作时失去遍历这个培训。但是怎么我们不克依据Expression<TDelegate>来创造比较复杂的表达式树也?您要接着向下看。

缔造一个繁杂的Lambda表达式树

  下面我们就算来平等步一步的创办一个复杂的表达式树,你们准备好了么?上面我们谈话到直由Lambda表达式的艺术来创造表达式树,可惜只有限于一种档次。下面我们虽来演示一下怎样创建一个无参无返回值的抒发式树。

// 下面的方法编译不能过 
/*
Expression<Action> lambdaExpression2 = () =>
{
    for (int i = 1; i <= 10; i++)
    {
        Console.WriteLine("Hello");
    }
};
*/     

// 创建 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<Action> lambdaExpression =  Expression.Lambda<Action>(block);
lambdaExpression.Compile().Invoke();

  上面我们通过手动编码的主意开创了一个无参的Action,执行了同等组循环。代码很简单,重要之是咱若熟悉这些各种类型的表达式以及他们的行使方法。上面我们引入了以下种类的表达式:

图片 3

  看起神密的表达式树啊可这样嘛?如果大家去履行方的代码,就会陷入死循环,我莫啊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<Func<int>> myAction = Expression.Lambda<Func<int>>(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<Action> lambdaExpression =  Expression.Lambda<Action>(block);
lambdaExpression.Compile().Invoke();

  图片 4

  希望地方的代码没有挡住你学习表达式树的决意J 。

  好吧,我们又套了几乎单新的类的表达式,来总一下:

图片 5

  到此地,我怀念大家应该针对发挥式树的构建有矣一个解的认识。至于缘何未允我们一直冲复杂的Lambda表达式来创造表达式树为?

  • 此的Lambda表达式实际上是一个Expression Body。
  • 以此Expression Body实际上就是咱们地方讲到之Expression中之平等种。
  • 也就是说编译器需要时错开分析你究竟是啊一样种植?
  • 极简便易行的x=> x+1之类的呢就是是Func<TValue,TKey>
    是十分容易分析的。
  • 实在及时其间允许的Expression Body只生BinaryExpression。

图片 6

  最后,我们来完全的羁押一下.NET都为我们提供了哪路的表达式(下面这些近似都是连续自Expression)。

图片 7

开创一个错综复杂的Lambda表达式树

  下面我们便来同样步一步之创建一个错综复杂的表达式树,你们准备好了么?上面我们叙到一直由Lambda表达式的法子来创造表达式树,可惜只有限于一种植类型。下面我们不怕来演示一下什么样创造一个无参无返回值的发表式树。

// 下面的方法编译不能过 
/*
Expression<Action> lambdaExpression2 = () =>
{
    for (int i = 1; i <= 10; i++)
    {
        Console.WriteLine("Hello");
    }
};
*/     

// 创建 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<Action> lambdaExpression =  Expression.Lambda<Action>(block);
lambdaExpression.Compile().Invoke();

  上面我们经过手动编码的法开创了一个无参的Action,执行了平等组循环。代码很粗略,重要的凡咱们设熟悉这些各种类型的表达式以及他们的施用办法。上面我们引入了以下项目的表达式:

图片 8

  看起神密的表达式树也可是这样嘛?如果大家去实施方的代码,就会见深陷死循环,我莫啊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<Func<int>> myAction = Expression.Lambda<Func<int>>(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<Action> lambdaExpression =  Expression.Lambda<Action>(block);
lambdaExpression.Compile().Invoke();

  图片 9

  希望上面的代码没有阻碍你上表达式树的决定J 。

  好吧,我们还要学了几乎独新的项目的表达式,来总一下:

图片 10

  到此处,我想大家该本着发挥式树的构建出矣一个懂得的认识。至于为什么不容许我们一直冲复杂的Lambda表达式来创造表达式树啊?

  • 此间的Lambda表达式实际上是一个Expression Body。
  • 夫Expression Body实际上即便是我们地方说到之Expression中之同一种。
  • 也就是说编译器需要时刻错开分析你到底是哪一样种?
  • 最简易的x=> x+1之类的吧不怕是Func<TValue,TKey>
    是那个轻分析的。
  • 实际上及时中允许的Expression Body只来BinaryExpression。

图片 11

  最后,我们来整体的羁押一下.NET且为我们提供了怎样类型的表达式(下面这些近似都是延续自Expression)。

图片 12

TypeBinaryExpression

TypeBinaryExpression typeBinaryExpression =
    Expression.TypeIs(
        Expression.Constant("spruce"),
        typeof(int));

Console.WriteLine(typeBinaryExpression.ToString());
// ("spruce" Is Int32)

TypeBinaryExpression

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<Func<int[], int, int, int>> lambdaExpr = Expression.Lambda<Func<int[], int, int, int>>(
        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

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<Func<int[], int, int, int>> lambdaExpr = Expression.Lambda<Func<int[], int, int, int>>(
        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<int, string>));
Console.WriteLine(newDictionaryExpression.ToString());
// new Dictionary`2()

NewExpression

NewExpression newDictionaryExpression =Expression.New(typeof(Dictionary<int, string>));
Console.WriteLine(newDictionaryExpression.ToString());
// new Dictionary`2()

InvocationExpression

Expression<Func<int, int, bool>> 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乎我们提供的表达式类型。下一致篇,我们用持续研究发表式树的遍历问题,敬请期待,如果对表达式树出趣味之同学欢迎持续关注~,

InvocationExpression

Expression<Func<int, int, bool>> 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也我们提供的表达式类型。下同样篇,我们将继续研究发表式树的遍历问题,敬请期待,如果对表达式树起趣味的校友欢迎持续关注~,