BT

如何利用碎片时间提升技术认知与能力? 点击获取答案

使用ParseTree进行LINQ风格查询和提取元数据

| 作者 Werner Schuster 关注 6 他的粉丝 ,译者 李明(nasi) 关注 0 他的粉丝 发布于 2008年2月27日. 估计阅读时间: 6 分钟 | Google、Facebook、Pinterest、阿里、腾讯 等顶尖技术团队的上百个可供参考的架构实例!

通过对.NET中LINQ的介绍和对LISP的重拾兴趣,一类元编程被重新关注起来。在LINQ中,可以使用表达式树,例如一棵由一段代码表示的树。

LISP(或者类似语言)中,这种方法被称为或者宏展开。宏看上去很像函数调用,但不同的是函数调用在编译期就被估值,例如当代码载入的时候。宏可以得到宏调用的抽象语法树(AST),但是在AST宏返回时宏调用会被替换掉。这也就是说,宏调用并不是一段被实际执行的代码,而是返回的AST宏被执行了,例如宏调用展开的实际的代码。

Ruby并不在语言级别支持AST,于是有一些库做到了。最流行的一个要数ParseTree了,可以将s表达式作为AST返回。例如,符号紧凑列表和字符常量。有很多有用的工具就是基于ParseTree而构建的,例如:

  • Ruby2Ruby
    此工具可以将ParseTree的AST转化为格式化的Ruby源代码。这使得我们可以解析Ruby代码,在AST级别(而非源代码的字符级别的修改)修改它并最终重新生成可以运行的Ruby代码。
  • Heckle
    Ryan Davis和Kevin Clark开发的工具,通过使用Ruby2Ruby在代码中引入随机修改来实现覆盖测试。

现在,一些新库采用了LINQ的方式来使用ParseTree。Ambition允许用户使用Ruby语法来编写查询,例如:

LDAP::User.select { |m| m.name == 'jon' && m.age == 21 } 
或者
SQL::User.select { |m| m.name == 'jon' && m.age == 21 } 

在块中的代码实际上永远都不会运行,相反会被ParseTree用来得到AST。它会被分析并转换成目标查询语言的查询语句。Ambition提供可扩展的适配器,可以允许用户为Ruby的AST到查询语言的转化来编写新的转换器。

另外一个采用了此类型查询的库是Sequel。作为一个ORM,Sequel同样允许用户使用Ruby来编写查询

old_nonruby_posts = posts.filter {:stamp > 1.month.ago && :category != 'ruby'} 

需要重点注意的是,和Ambition不同,这仅仅是Sequel编写查询的方法之一,它同样支持通过字符串常量来编写查询。

一种很不同的Ruby代码AST使用方法可以在Merb中找到。它被用在参数化Action中:

参数化Action:
如果你在你的action方法中指定了参数,收到的查询参数将会自动被正确的指定。示例如下:
class Foos < Merb::Controller
 def index(id, search_string = "%")
  @foo = Foo.find_with_search(id, search_string)
 end
end
访问/foos/index/12将会调用index方法并传入参数“12”和“%”(默认值)。访问/foos/index将 会抛出一个BadBehavior错误(状态码400),因为id是一个必须的参数,但是却没有被传入。访问/foos/index/5? search_string=hello将会调用index方法并传入参数“5”和“hello”。最后的示例说明你可以像是用一个真正的方法一般使用 action。
这个特性是通过查看处理action方法的AST并抽取默认参数来实现的。通过这种方法,可以实现一种通常并不可用的、类似于内视/反射的特性。

这些示例展示了此类内视特性的强大。然而,Sequel和Merb同时也显示出了此类方法的缺点:基于ParseTree的特性是非强制性的。例如,这些工具并不依赖它们。如果在系统中ParseTree不可用,则这些特性也不可用。这源自于ParseTree的本质就是原生Ruby扩展。一些原生扩展的部署问题已经被解决了,例如Windows上的ParseTree或者MacOS X上的ParseTree

但是问题依然存在。ParseTree并不支持Ruby 1.9,尽管可能的解决方案正在考虑当中。Ruby 1.9实际上通过Ripper实现了对AST的部分支持。关于Ripper的信息还非常少,但是已知可以将它用作一个SAX类型的解析器。例如:
require 'ripper'
 class MyRipper < Ripper
 def on_gvar(node)
 puts node
 end
 def on_int(node)
 puts node
 end
 # etc.
 # Handle each element of the AST with an on_* method
end
可以这样来使用:
f = MyRipper.new("$foo = 1") 
f.parse
除了Ruby 1.9以外,ParseTree还提供了对其他可选Ruby实现的支持。Rubinius大量的使用了ParseTree的AST表示。JRuby几乎完全移植了ParseTree,但是基于.NET的Ruby实现似乎目前还不支持。

查看原文链接Using ParseTree for LINQ-style queries and extracting metadata

评价本文

专业度
风格

您好,朋友!

您需要 注册一个InfoQ账号 或者 才能进行评论。在您完成注册后还需要进行一些设置。

获得来自InfoQ的更多体验。

告诉我们您的想法

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我
社区评论

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我

讨论

登陆InfoQ,与你最关心的话题互动。


找回密码....

Follow

关注你最喜爱的话题和作者

快速浏览网站内你所感兴趣话题的精选内容。

Like

内容自由定制

选择想要阅读的主题和喜爱的作者定制自己的新闻源。

Notifications

获取更新

设置通知机制以获取内容更新对您而言是否重要

BT