Ruby 1.9 中的 #to_proc 符号和(即将能用的)curried Procs

阅读数:418 2008 年 2 月 28 日

话题:Ruby编程语言语言 & 开发架构

Ruby 1.9除了具有像线程机制的改变或者纤程(Fibers)这些较大的新特性以外,还在标准库中增加了一些小而实用的功能。我们已经谈过了Object.tap方法,它带来了一种简便的方法来监视链式方法调用。

tap方法类似,to_proc已经在 Ruby 社区中出现一段时间了——Ruby 1.9 预发布版本也具备了这个特性。Ruby 1.9 简单地把它整合在Symbol类中,无须任何支持库就可以使用。

Reg Braithwaite简单地介绍了to_proc是怎样让 (1..100).inject(&:+) 这样的代码工作的:



& 操作符用来把 Proc 对象转化成块,或者把块转化成 Proc 对象。这此例中,它试图把符号 :+ 转换成一个块。此转换过程使用了 Ruby 内建的强制机制。这个机制会检查我们是否有一个 Proc 对象。如果没有,它就把 #to_proc 方法传递到参数中 来生成一个 Proc。如果符号 :+ 有 #to_proc 方法,就调用它。在 Ruby 1.9 中,它就有一个 #to_proc 方法。此方法使用了第一个参数,然后返回一个 Proc,并把 + 方法和其他参数传递给它。

由此可见,&:+ 实际上就是 { |x, y| x + y }
要完成这个动作,也可以采用下面的代码:

plus = :+.to_proc

puts plus.call(1,2) # prints '3'
由于Symbol类具有to_proc方法,由此所有的符号都可以这样使用:

to_s = :to_s.to_proc

to_s.call(42) # results in the string "42"
to_proc的实现很简单。Dave Thomas (PragDave) 演示了它是如何工作的
def to_proc

 proc { |obj, *args| obj.send(self, *args) }

end
当一个对象调用它时,就创建一个 Proc,再把符号本身传递给对象。因此,比如当 names.map(&:upcase) 开始迭代 names 中的字符串时,它就调用里面这个块,把第一个 name 传递过去,并调用它的 upcase 方法。
这个特性也许可以产生非常简洁的代码,可是还有一个问题:它提高代码的可读性了吗?答案可能已经随着to_proc增加到 Ruby 1.9 标准库中而改变了,只是因为符号总是伴随着to_proc出现。

以前,方法的可用性依赖于代码或库是否开放符号并添加他们。而现在,理解这些代码需要用到#to_proc这个习惯称谓的知识,Ruby 1.9 中已经正式加入了它,并且在文献中会越来越多的涉及到。

还剩下一个问题:



 (1..100).map(&:to_s) 
对比
 (1..100).map{|x| x.to_s } 
只不过省下 5 个字符(此例中)——额外带来的复杂性是否值得呢?

Ruby 1.9 中还增加了一个涉及 Procs 的特性——尽管只存在于最近的修订版中:Proc#curry。最近在ruby-core 中讨论了 Proc#curry 的作用



 它一点也不难,

 proc {|x, y, z| x + y + z }.curry

返回一个与下面代码等价的 proc 对象  proc {|x| proc {|y| proc {|z| x + y + z } } }

这个方法的名字来源于Currying的概念,也就是:

[..] 是把带有多个参数的函数转化为带有单个参数的函数(其余的参数由 curry 来决定如何处理)

换 句话说:使用 currying,一个带有 x 个参数的 Proc,可以在调用时使用一个参数。当然,它显然不能返回代码的结果——还差几个参数才能运行代码 ——它返回一个带有 (x - 1) 个参数的新 Proc。就这样一直迭代到最初的 Proc 有了足够的参数,代码才得以运行并返回结果。

例如,在同一个 ruby 核线程中,它可以这么用:



plus_five = proc { |x,y,z| x + y + z }.curry.call(2).call(3) 

plus_five[10] #=> 15
注意:plus_five是一个 Proc——操作符 [ ] 被重载来调用它。

警告:Proc#curry最近才加入 Ruby 1.9——要试一试的话,你必须使用最近的修订版。

查看原文:Ruby 1.9 with Symbol#to_proc and (soon) curried Procs