序言

  在上一篇中,我们认识了什么是表达式树、什么是委托,以及它们的关系。可能是我功力不好,貌似大家都不怎么关注,没有讲解出不同角度的问题。

  学习一种新技术,是枯燥的过程,只有在你掌握后并能运用时才能从它身上得到乐趣。

  做程序开发是一群很奇怪的人群,我们居然可以通过密密麻麻的英文字符加上标点符号从中找到乐趣,确实很奇怪。

  考虑到大家接触新技术需要一个过程:

其实对于很多人来说已经不是新技术了,不过您会耐心看本篇后续的文章,说明您可能对这一项技术运用的并不是很熟练

  所以我不打算一上来,就放一大堆代码,然后解释这是什么,那是什么,因为会接触很多新的关键词,这样大家学习起来会也会很痛苦

  本系列后面的所有篇幅都只在每篇中提一个新概念,这样大家学习起来可以减少学习的范围。

  然后也让大家彻底搞懂每种类型的作用,同时我会用Lambda方式、动态构造、以及表达式树的结构三种方式来共同研究每篇课题的新类型。

什么是LambdaExpression

  LambdaExpression是继承自Expression的。LambdaExpression的具体表现是:Expression<Func<>>或者Expression<Action<>>

这段不明白没关系,看下面示例就知道了

  首先,我们先从MSDN上看它的注释说明:

描述一个 lambda 表达式。 这将捕获与 .NET 方法体类似的代码块。

  看MSDN注释,我们还是没搞懂它是什么意思,通俗的讲:一段包含有运算表达式的代码,就是LambdaExpression。

  好吧,我说了吧,我的功底不行,您越看越不明白了………………(比MSDN解释的还更糟糕)

LambdaExpression的定义
Expression<Func<int,int>> exp1 = o=> o + ;
Expression<Action<int>> exp2 = o=> o = + ;

  这种通过 o=> ...... 定义的就是LambdaExpression了。回过头,我上面说的:

一段包含有运算表达式的代码,就是LambdaExpression。

  这样子是不是更容易理解了?当然上面只做了 加法操作,当然不仅仅是这些操作,比如:

Expression<Func<UserVO, object>> exp = o => o.ID !=  && (o.UserName == "steden" || o.UserName == "farseer.net")

  再比如在我们的Linq To Object中(当然这里是纯委托类型:Func<int,bool>,但它也是lambda表达式(注意不是表达式树))

var lst = new List<int>();
lst.Where(o => o > );

  这些都是Lambda的定义。并且我们在上篇中也学习到如何将Expression<Func<UserVO,object>>转换成Func<UserVO,object>。

LambdaExpression有什么用?

  这时候聪明的读者会想,即然我可以直接定义o=>.... ,为什么还要去理解LambdaExpression,反正C#编译器会把它转成LambdaExpression,根本不用我们关心。

  确实是这样,如果我们不需要动态构造它

我的意思是在程序运行时动态的生成它,则不是在编写代码的时候定义它

  的时候,确实不用管是不是LambdaExpression了,只管在代码上定义就行了。

  但是,其实很多场景下,我们是需要动态的构造它的,然后将它传递给其它地方,让他们去解析它,比如说:

场景:在系统分层中,我们有个实体类,比如叫:UserVO(它属于xxx.Entity类库)。而在我们的底层中,需要动态对实体类生成一些“通用的”操作(比如逻辑删除功能)。但是我们知道底层是不知道上层有什么数据类型,甚至被谁调用了也不知道。因此这个时候,我就必须以动态构造的方式来创建它了。(因为我根本不知道有UserVO这个类)

  事实上,上面举的场景例子不仅仅是LambdaExpression,其它的Expression也是如此。

  在讲动态构造前,我觉得还是先让大家学习如何解析它,必境我们的学习是先了解它的内部结构,才更好的知道如何构造它,不是吗?

LambdaExpression的解析

  这要请出我们伟大的ExpressionVisitor类了。事实上,在我的Farseer.Net ORM框架中重新封装了这个类,叫AbsExpressionVisitor.cs,它是我所有表达式树访问器的基类,另外派出了一个专门提供给SQL的解析器,叫AbsSqlVisitor.cs

  其中有个入口方法:

protected virtual Expression Visit(Expression exp)

  ExpressionVisitor以访问者模式(设计模式)来访问这个表达式树。可以看到有个:exp.NodeType属性,返回的是:ExpressionType枚举:

protected virtual Expression Visit(Expression exp)
{
if (exp == null)
return exp;
switch (exp.NodeType)
{
case ExpressionType.Negate:
case ExpressionType.NegateChecked:
case ExpressionType.Not:
case ExpressionType.Convert:
case ExpressionType.ConvertChecked:
case ExpressionType.ArrayLength:
case ExpressionType.Quote:
case ExpressionType.TypeAs:
return this.VisitUnary((UnaryExpression)exp);
case ExpressionType.Add:
case ExpressionType.AddChecked:
case ExpressionType.Subtract:
case ExpressionType.SubtractChecked:
case ExpressionType.Multiply:
case ExpressionType.MultiplyChecked:
case ExpressionType.Divide:
case ExpressionType.Modulo:
case ExpressionType.And:
case ExpressionType.AndAlso:
case ExpressionType.Or:
case ExpressionType.OrElse:
case ExpressionType.LessThan:
case ExpressionType.LessThanOrEqual:
case ExpressionType.GreaterThan:
case ExpressionType.GreaterThanOrEqual:
case ExpressionType.Equal:
case ExpressionType.NotEqual:
case ExpressionType.Coalesce:
case ExpressionType.ArrayIndex:
case ExpressionType.RightShift:
case ExpressionType.LeftShift:
case ExpressionType.ExclusiveOr:
return this.VisitBinary((BinaryExpression)exp);
case ExpressionType.TypeIs:
return this.VisitTypeIs((TypeBinaryExpression)exp);
case ExpressionType.Conditional:
return this.VisitConditional((ConditionalExpression)exp);
case ExpressionType.Constant:
return this.VisitConstant((ConstantExpression)exp);
case ExpressionType.Parameter:
return this.VisitParameter((ParameterExpression)exp);
case ExpressionType.MemberAccess:
return this.VisitMemberAccess((MemberExpression)exp);
case ExpressionType.Call:
return this.VisitMethodCall((MethodCallExpression)exp);
case ExpressionType.Lambda:
return this.VisitLambda((LambdaExpression)exp);
case ExpressionType.New:
return this.VisitNew((NewExpression)exp);
case ExpressionType.NewArrayInit:
case ExpressionType.NewArrayBounds:
return this.VisitNewArray((NewArrayExpression)exp);
case ExpressionType.Invoke:
return this.VisitInvocation((InvocationExpression)exp);
case ExpressionType.MemberInit:
return this.VisitMemberInit((MemberInitExpression)exp);
case ExpressionType.ListInit:
return this.VisitListInit((ListInitExpression)exp);
default:
throw new Exception(string.Format("Unhandled expression type: '{0}'", exp.NodeType));
}

  然后根据传入进来的表达式树,进行一一解析,您能从中看到,当case 到 ExpressionType.Lambda时,会强制转换成LambdaExpression

  并传入VisitLambda方法中:

    protected virtual Expression VisitLambda(LambdaExpression lambda)
{
Expression body = this.Visit(lambda.Body);
if (body != lambda.Body)
{
return Expression.Lambda(lambda.Type, body, lambda.Parameters);
}
return lambda;
}

  事实上,这段代码不用太过理解其它部份,只需要知道:

  当Expression的NodeType == ExpressionType.Lambda时,是可以显示转换成:LambdaExpression的。

  并且它有一个叫Body的属性:(获取 lambda 表达式的主体。),以及一个叫Parameters的属性:(获取 lambda 表达式的参数。

  Body返回的是LambdaExpression的主体

主体:指在LambdaExpression中的主要结构,或者说主要表达式。比如红色标记部份的:

o => o.ID != 1 && (o.UserName == "steden" || o.UserName == "farseer.net")

  而Parameters的返回的是参数表达式树(出现了一个新名词,下篇会详细讲解)。这里简单的讲解:上面出现的o 即是参数,o的类型是UserVO

  接着上面的:VisitLambda方法里继续访问:this.Visit(lambda.Body),也就是解析主体部份

  从上面的表达式代码(红色部份),它会执行:this.VisitBinary((BinaryExpression)exp);方法。

  在这里知道BinaryExpression(表示包含二元运算符的表达式。)是对于上面的&&的解析就足够了。

  在上篇我们强调了Expression是一种数据结构,也就是说红色部份,我们定义的代码实质是被保存成一种数据结构的,如图:

  

  红色底是:BinaryExpression类型(表示包含二元运算符的表达式。)二元运算,比如 && || >= < !=

  蓝色底是:ParameterExpression类型(表示命名的参数表达式。)传入的参数,比如UserVO实体类

  绿色底是:ConstantExpression类型(表示具有常量值的表达式。)具体的常量值。

总结

由于太晚了,这篇末尾的动态构造,放到下一篇中

最新文章

  1. Compensating Transaction Pattern(事务修正模式)
  2. VC工程中文件的编译顺序
  3. C#执行存储过程的简化
  4. java之final关键字
  5. LOTUS 迁移到Exchange 2010 POC 之在Exchange 2007 安装Lotus Admin!
  6. 计算字符串的最长回文子串 :Manacher算法介绍
  7. S - 骨牌铺方格(第二季水)
  8. 有关ios中images.xcassets的导入图片等命名问题
  9. js数组对象方法
  10. java课程设计——博客作业教学数据分析系统(201521123083 戴志斌)
  11. 架构师入门:搭建基本的Eureka架构(从项目里抽取)
  12. 马拉车算法,mannacher查找最长回文子串
  13. Diffuse贴图+Lightmap+Ambient
  14. bootStrap中的ul导航4
  15. PLSQL连接Oracle 数据库配置详解
  16. Windows 7上安装配置TensorFlow-GPU运算环境
  17. python 结巴分词(jieba)详解
  18. 机器学习之路: python 线性回归LinearRegression, 随机参数回归SGDRegressor 预测波士顿房价
  19. SQL SERVER大话存储结构(5)_SQL SERVER 事务日志解析
  20. Python爬虫基础(二)urllib2库的get与post方法

热门文章

  1. Cordova打包vue项目(Android)
  2. 浅谈UML的概念和模型之UML视图
  3. bzoj1486【HNOI2009】最小圈
  4. jetty与tomcat
  5. caioj1272&amp;&amp;codeforces 148D: 概率期望值3:抓老鼠
  6. 日元兑换——国内兑换需要护照和签证,国外的机场有兑换ATM
  7. 洛谷P3778 [APIO2017]商旅——01分数规划
  8. appium学习【一】:pycharm运行不生成HtmlTestRunner测试报告
  9. vue 练习 bug
  10. 洛谷 P2763 试题库问题【最大流】