BT

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

透视Ruby 1.9的Lambda函数

| 作者 Werner Schuster 关注 9 他的粉丝 ,译者 贾晓楠 关注 0 他的粉丝 发布于 2008年1月23日. 估计阅读时间: 6 分钟 | ArchSummit北京2018 共同探讨机器学习、信息安全、微服务治理的关键点
Ruby的Block块是它的关键特色之一,用块能够写出简明且高度可重用的算法。即使没有别的用处,它至少消弱了人们对循环敬畏的态度。这个概念在其他语言和理论中还被称为: 

这是个十分令人迷惑的词汇,因为闭包这个词汇还指对代码作用域的捕获。而块则不需要捕获这个作用域——例如下面的代码     

x = lambda {|x,y| x + y}

没有使用自由变量没有绑定的变量;参数列表中正式声明x和y),因此无须创建一个闭包。

块在其他语言中有很多种多样的表现形式,有的简洁有的冗长。比如对Ruby影响深远的LISP语言,所使用的块语法为:    

(lambda (arg) "hello world")

对Ruby的设计产生影响的另一种语言Smalltalk,采用方括号来简洁地表达语法: 

[arg| ^"hello world"]

Ruby中,块的最方便也最常使用的语法是作为函数的参数。它允许简单地在函数名后面添加一个用do/end 或者花括号{ / }包围的代码块。例如:

5.times {|x| puts x}

这非常的方便,同时也产生了Builder这样的习惯性用法。Builder可以通过嵌套的块来很容易地创建分层的数据结构。提示:就在一月下旬InfoQ即将发表一篇详细描述如何在Ruby中创建Builder的文章)。

不过,还有一个问题:要传递一个以上的块给函数或方法就没那么简单了。它可以实现,但不能用这么短的语法,得使用Proc.new {}lambda {} 来创建块。虽然还不至于恐怖,但这样会使代码冗长,而且还引入了一些不受欢迎的词汇把代码搞得凌乱不堪。(注意:Proc.new {} 和 lambda {}也有些微妙的不同,但本文不关注它们)。

在特定情况下可能变通的方法。例如,如果一个API调用需要多个块,辅助函数就会嵌入到类中,这样就产生了两个作用:a) 辅助了块 b) 带有貌似命名参数的负作用:

find (predicate {|x,y| x < y}, predicate{|x,y| x > 20})

其中predicate函数仅仅是:

def predicate(&b)
 b
end
它用来返回这个块。不论这是否合适或者不依赖于特定情况。在这种情况下,下面的代码——毋庸置疑地——更能表达清楚,也能起到相同的作用。
find (lambda{|x,y| x < y}, lambda {|x,y| x > 20})

为什么呢?因为lambda泄露了实现它的细节——若带有一个块参数,就不需要额外的关键词。predicate的解决方案对代码做了注解,产生了lambda。需要明确的是,这只是变通的方法

现在,Ruby 1.9引入了一个新的、更简洁的语法来创建lambda函数

  x = ->{puts "Hello Lambda"}

新的语法更加简短,还抛弃了那个不知所云的术语lambda。需要明确的是,这是个语法糖衣。不过它的确有助于写出可读性非常好的API代码。中一些API可以被称为“内部DSLs”,尽管它们的定义都很模糊。出于这些,新的lambda定义帮我们摆脱了那个夹在要么是纯领域要么是问题确定的代码中间的晦涩的术语“lambda”。

Sidu Ponnappa报告了1.9中另外一个语法变化:

在Ruby 1.9.0中,在一个块内显式调用另一个块。在上一篇帖子中我没有提到这个方法,因为解析器一遇到|*args, &block|时就会工作失常。代码如下:[..]

class SandBox
 def abc(*args)
  yield(*args)
end
define_method :xyz do
 |*args, &block|
 block.call(*args)
 end
end
SandBox.new.abc(1,2,3){|*args| p args} # => [1, 2, 3]

这段代码在Ruby 1.8.x下无法运行——它在解析阶段就失败了:

benchmark3.rb:8: syntax error, unexpected ',', expecting '|' 
define_method :xyz do |*args, &block|
 ^
benchmark3.rb:11: syntax error, unexpected kEND, expecting $end

在Ruby 1.9中,它可以正常运行。

1.9的另外一个变化就是修复了一个早就发现的问题: 现在块参数局部的了。看这段代码:

foo = "Outer Scope"
[1,2,3].each{|foo|
 foo = "I'm not local to this block"
}
puts foo

在1.8中,这段代码会输出"I'm not local to this block",而在1.9中,输出为"Outer Scope"。简而言之,现在块像我们期望的那样工作了:块参数遮住了块外的同名变量。(我们先来问自己一个问题:“如何访问外部域的变量”。你不能—— 仅为块参数选择一个不同的名字)。

你怎么看Ruby 1.9中lambda和块的变化?它们涉及了我们一直关注的问题了吗?还有没有遗留的问题?

提示: 查看InfoQ上所有Ruby 1.9相关的文章。 

查看英文原文:The state of the Lambda in Ruby 1.9

评价本文

专业度
风格

您好,朋友!

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

获得来自InfoQ的更多体验。

告诉我们您的想法

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

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

不错 by x a

相对‘lambda’而言,我也喜欢->这个符号~

允许的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通知我

1 讨论

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


找回密码....

Follow

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

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

Like

内容自由定制

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

Notifications

获取更新

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

BT