上一节我们了解了Linq查询大体上是如何运转的,并针对SQL表达式进行建模(DbExpression),这一节的重点在于如何将表达式转换为DbExpression

可以说只要能生成结构清晰的DbExpression,我们的翻译器就已经成功了一半了。为了将表达式转换为DbExpression,我们需要遍历它们,分解它们,在这个过程中拿出我们需要的信息,去构建一个个符合逻辑的DbExpression对象,最终将这些DbExpression组合起来,就形成了一个结构清晰的查询。

一.表达式遍历器(ExpressionVisitor)

相信不少人研究过ExpressionVisitor,它的作用是输入一个Expression,将Expression拆解为各个组成部分(也是Expression),再针对这些组成部分继续拆解,直到无法拆解,这是一个自顶向下的过程,每次拆解都是根据ExpressionType的不同而去调用专用的方法。

比如 x.Name == “灰机”这个BinaryExpression,将其输入ExpressionVisitor的执行过程如下

其中每个Visit方法都会将解析的结果返回,没有重写这些方法的话,ExpressionVisitor.Visit(Exp)的结果基本等于 Exp本身的,只是将它拆开又组合了一遍。

ExpressionVisitor帮我们做了很多工作,能准确的将特定类型的Expression传递给特定类型的方法去解析,并且它这些解析方法都是可重写的,我们就继承它,实现自己的解析逻辑。

二.数据库表达式遍历器(DbExpressionVisitor)

    /// <summary>
/// 数据库表达式遍历器
/// </summary>
public class DbExpressionVisitor : ExpressionVisitor
{
}

首先重写Visit方法提供对DbExpression的遍历支持

public override Expression Visit(Expression exp)
{
if (exp == null) return null; switch ((DbExpressionType)exp.NodeType)
{
case DbExpressionType.Select:
case DbExpressionType.Table:
case DbExpressionType.Join:
case DbExpressionType.Query:
return this.VisitQuery((QueryExpression)exp);
case DbExpressionType.Column:
return this.VisitColumn((ColumnExpression)exp);
} return base.Visit(exp);
}

1.我们需要完成基础的对IQueryable对象的解析,也就是说对一个IQueryable对象,没有调用任何方法,我们的解析器应该解析出一个QueryExpression对象

先从最普通的TableExpression开始

//query代表的是对User表的整表查询,应该解析为TableExpression
var query = new DbQuery<User>(provider);

先调试一下Execute方法看看query的Expression长啥样

可以发现是一个ConstantExpression,那我们就去改写VisitConstant方法

protected override Expression VisitConstant(ConstantExpression constant)
{
var queryable = constant.Value as IQueryable;
if (queryable != null)
{
//TableAttribute用来描述类对应的数据库表信息
var table = (TableAttribute)queryable.ElementType.GetCustomAttributes(typeof(TableAttribute), false).FirstOrDefault();
//如果没有该特性,直接使用类名作为表名
var tableName = table == null ? queryable.ElementType.Name : table.Name; return new TableExpression(queryable.ElementType, string.Empty, tableName);
} return base.VisitConstant(constant);
}

使用示例如下

这样我们就得到了一个结构清晰的TableExpression对象,根据这个对象生成SQL语句是不是很容易?容易得很~Name、Columns都有,等等,Columns我们没生成啊,我们只是得到了个表名啊喂,OK那我们就来做ColumnExpression的生成

快速回顾一下一个ColumnExpression的必要元素有哪些

SelectAlias -- 在SelectExpression中就是Select的别名,在TableExpression中应该是表名。

ColumnsName -- 列名

Index -- 排序

为什么需要Value呢,使用SelectAlias.ColumnName不就可以标识出列的全部信息了吗?

这是因为有时候列不一定是从来源那里得到的,比如我可以

”query.Select( x => new {  Date = DateTime.Now,  x.UserName } )“

这个时候[Date]列是我们临时构建的,我们需要保存DateTime.Now到Value里边去,而[UserName]的Value应该是对[User]的一个列引用

既然TableExpression代表对一个表的全部列查询,那我们就生成这个表的所有ColumnExpression好了,从哪里的得到这些信息呢?从映射类的定义

[Table(Name = "User")]
public class User
{
[Column(IsPrimaryKey = true)]
public int UserId { get; set; } [Column]
public string UserName { get; set; }
}

这些信息从TableExpression.Type就可以得到了,上代码(重载了QueryExpression.Columns)

/// <summary>
/// 表的列
/// </summary>
public override IEnumerable<ColumnExpression> Columns
{
get
{
if (_columns == null)
{
int index = ;
_columns = new List<ColumnExpression>();
var members = Type.GetProperties();
var obj = Expression.Constant(Activator.CreateInstance(Type));
foreach (var member in members)
{
_columns.Add(new ColumnExpression(member.PropertyType,
Expression.MakeMemberAccess(obj, member), Alias, member.Name, index++));
}
} return _columns;
}
} private List<ColumnExpression> _columns;

当然这里有很多可以优化的地方,但是现在先让我们看看使用上述代码后生成的结果

注意SelectAlias我赋了空,因为别名需要另外一些逻辑才能确定,不能单纯使用表名。

这里每个ColumnExpression的Value都是一条MemberExpression,这样我们就得到了详细的元数据了。

三.数据库表达式格式化器(QueryFormatter)

扯了这么多,终于可以写点有用的了,我们需要对TableExpression再Visit一遍,这次的是要生成SQL语句了。

首先为了职责分明,让我们再引入一个格式化器~

/// <summary>
/// 查询语句格式化器
/// </summary>
public class QueryFormatter : DbExpressionVisitor
{
}

内部放置一个StringBuilder来拼接语句

private readonly StringBuilder _sb = new StringBuilder();

重载一下VisitTable

public override Expression VisitTable(TableExpression table)
{
_sb.Append("(SELECT ");
  int index = ;
foreach (var column in table.Columns)
{
if (index++ > ) _sb.Append(", ");
this.VisitColumn(column);
}
_sb.AppendFormat(" FROM [{0}]", table.Name);
  if (!table.Alias.IsNullOrEmpty())
_sb.AppendFormat(" As [{0}] ", table.Alias);
    _sb.Append(")");

    return table;
}

再重载一下VisitColumn

public override Expression VisitColumn(ColumnExpression column)
{
var value = column.Value;
switch (value.NodeType)
{
case ExpressionType.MemberAccess:
if (!column.SelectAlias.IsNullOrEmpty())
_sb.AppendFormat("[{0}].", column.SelectAlias); var member = ((MemberExpression)value).Member;
if (member.Name == column.ColumnName)
_sb.AppendFormat("[{0}]", column.ColumnName);
else
_sb.AppendFormat("[{0}] As [{1}]", member.Name, column.ColumnName);
break;
default:
this.Visit(column.Value);
_sb.AppendFormat(" As [{0}]", column.ColumnName);
break;
} return column;
}

只要将TableExpression传递给QueryFormatter.Visit(),QueryFormatter内部的_sb对象就拥有了完整的SQL语句,让我们开放一个方法给外部调用验证下结果先

public string Format(Expression expression)
{
_sb.Clear();
this.VisitQuery((QueryExpression)expression);
return this._sb.ToString();
} public override Expression VisitQuery(QueryExpression exp)
{
switch (exp.DbExpressionType)
{
case DbExpressionType.Select: this.VisitSelect((SelectExpression)exp); break;
case DbExpressionType.Table: this.VisitTable((TableExpression)exp); break;
case DbExpressionType.Join: this.VisitSource((JoinExpression)exp); break;
} return exp;
}

这里假设Expression已经被转换为QueryExpression,毕竟没有转换的话我们这个格式化器是无法运转的。

调用示例如下

团长我完成任务了!( •̀ ω •́ )y

四.下一步做什么

我还没想好,等我对代码稍作整理~

自己动手实现Expression翻译器 – Part Ⅱ的更多相关文章

  1. 动手实现Expression翻译器1

    动手实现Expression翻译器 – Part I   伴随.Net3.5到来的Expression,围绕着它产生了各种各样有趣的技术与应用,Linq to object.Linq to sql.L ...

  2. 自己动手实现Expression翻译器 – Part I

    伴随.Net3.5到来的Expression,围绕着它产生了各种各样有趣的技术与应用,Linq to object.Linq to sql.Linq to sqllite.Linq to Anythi ...

  3. 自己动手实现Expression翻译器 – Part Ⅲ

    上一节实现了对TableExpression的解析,通过反射创建实例以及构建该实例的成员访问表达式生成了一个TableExpression,并将其遍历格式化为”Select * From TableN ...

  4. 动手写IL到Lua的翻译器——准备

    文章里的代码粘过来的时候格式有点问题,原因是一开始文章是在订阅号上写的(gamedev101,文末有二维码),不知道为啥贴过来就没了格式,还要手动删行号,就没搞了. 介绍下问题背景: 小说君正在参与的 ...

  5. 自己动手写ORM的感受

    之前看到奋斗前辈和时不我待前辈的自己动手写ORM系列博客,感觉讲解的通俗易懂,清晰透彻.作为一个菜鸟,闲来也想着自己写一个ORM,一来加深自己对 ORM的理解,以求对EF,NHibernate等ROM ...

  6. Windows 8 动手实验系列教程 实验8:Windows应用商店API

    动手实验 实验 8: Windows应用商店API 2012年9月 简介 编写Windows应用商店应用最令人瞩目的理由之一是您可以方便地将它们发布到Windows应用商店.考虑到世界范围内目前有超过 ...

  7. 不可不知的表达式树(1)Expression初探

    说起Lambda表达式,大家基本都很熟悉了,而表达式树(Expression Trees),则属于80%的工作中往往都用不到的那种技术,所以即便不是什么新技术,很多人对其理解都并不透彻.此文意图从表达 ...

  8. LeetCode 失败的尝试 10. regular expression matching & 正则

    Regular Expression Matching 看到正则就感觉头大,因为正则用好了就很强大.有挑战的才有意思. 其实没有一点思路.循环的话,不能一一对比,匹配模式解释的是之前的字符.那就先遍历 ...

  9. atitit.自己动手开发编译器and解释器(2) ------语法分析,语义分析,代码生成--attilax总结

    atitit.自己动手开发编译器and解释器(2) ------语法分析,语义分析,代码生成--attilax总结 1. 建立AST 抽象语法树 Abstract Syntax Tree,AST) 1 ...

随机推荐

  1. 使用批处理文件命令行方式快速启动和停止IIS、SqlServer

    原文:使用批处理文件命令行方式快速启动和停止IIS.SqlServer 虽然现在内存便宜了,但是自己还是嫌自己的512M内存太小,没办法,后台运行的东西太多了,有很多都是有用的没法关闭的.IIS和SQ ...

  2. .net下几种常用的对称加解密

    加密解密算法,太常用了,可是实在忍受不了十次八次之后还是要重头写,总是能告诉我原来的算法不好用(实际是压根不会用)的情况,不如直接写出来,再有人要直接给他看看,也顺便记录下算法,方便下新手大众. DE ...

  3. 【C语言的日常实践(八)】弦

    串数据类型是一个重要的,但C有没有明确的语言字符串数据类型.头文件string.h它包括大多数字符串处理函数. 故,有操作的串.通常包括string.h头文件. 1.字符串的长度:对字符串进行的操作中 ...

  4. 使用C#或javascript将Table里的数据导出到Excel

    原文:使用C#或javascript将Table里的数据导出到Excel Demo效果图: 用C#将Table数据导出Excel: 本方法已经将导出excel做成分部视图,引用时只需在视图中使用如下代 ...

  5. Spark操作hbase

    于Spark它是一个计算框架,于Spark环境,不仅支持单个文件操作,HDFS档,同时也可以使用Spark对Hbase操作. 从企业的数据源HBase取出.这涉及阅读hbase数据,在本文中尽快为了尽 ...

  6. kubernetes多节点部署的决心

    注:以下操作均基于centos7系统. 安装ansible ansilbe能够通过yum或者pip安装,因为kubernetes-ansible用到了密码.故而还须要安装sshpass: pip in ...

  7. 【Linux】Vim编辑器-批量注释与反注释

    [-] vim编辑器---批量注释与反注释 方法一 块选择模式 插入注释 取消注释 方法二 替换命令 批量注释 取消注释 实例演示   vim编辑器---批量注释与反注释 在使用vim编写代码的时候, ...

  8. elasticsearch的rest搜索---mapping

    目录: 一.针对这次装B 的解释 二.下载,安装插件elasticsearch-1.7.0   三.索引的mapping 四. 查询 五.对于相关度的大牛的文档 三.mapping 1. 索引的map ...

  9. 矿Mac必备软件

    1.Svn工具: Cornerstone_v2.7.10 2.iPhone配置文件管理 iPhoneConfigUtility.dmg 3.有道 for mac http://cidian.youda ...

  10. SQLServer 使用 @@ERROR

    原文:SQLServer 使用 @@ERROR 使用 @@ERROR 如果最后的 Transact-SQL 语句执行成功,则 @@ERROR 系统函数返回 0:如果此语句产生错误,则 @@ERROR ...