Ruby 中的闭包和 for 循环

Question

我对 Ruby 有点陌生，一些闭包逻辑让我感到困惑。考虑这段代码：

array = []
for i in (1..5)
  array << lambda {i}
end
array.map{|f| f.call} # => [5, 5, 5, 5, 5]

这对我来说很有意义，因为 i 被绑定在循环之外，因此每次循环都会捕获相同的变量。对我来说，使用 each 块可以解决这个问题也很有意义：

array = []
(1..5).each{|i|  array << lambda {i}}
array.map{|f| f.call} # => [1, 2, 3, 4, 5]

...因为 i 现在每次都被单独声明。但是现在我迷路了：为什么我不能通过引入一个中间变量来修复它？

array = []
for i in 1..5
  j = i
  array << lambda {j}
end
array.map{|f| f.call} # => [5, 5, 5, 5, 5]

因为 j 每次循环都是新的，所以我认为每次循环都会捕获不同的变量。例如，这绝对是 C# 的工作方式，以及——我认为——Lisp 是如何使用 let 的。但在 Ruby 中没有那么多。到底发生了什么？

编辑：请参阅答案中的 cmets；问题似乎是 j 仍在循环之外的范围内。循环中的作用域如何真正起作用？

编辑：我想我还是不明白； if 循环不创建新的范围，为什么这样：

for i in 1..5
  puts j if i > 1 #undefined local variable or method `j' for main:Object (NameError)
  j = i
end

Answer 1

好吧，这越来越荒谬了。每次我尝试回答有关 for 循环如何在 Ruby 中工作的问题时，我都弄错了。

当然，原因是我在 Ruby 中不使用 for 循环，其他人也没有，所以这对我来说真的没关系 :-)

无论如何，为了一劳永逸地解决这个问题，我直接去了the ultimate source，2009 年 12 月 1 日的 IPA Ruby 语言规范（注定成为 ISO Ruby 语言规范）的初步草案：

§11.4.1.2.3 for 表达式

语法

• for-expression → for for-variable in expression em> do-clause end
• for-variable → left-hand-side | multiple-left-hand-side时间>

for-expression的表达式不能是jump-expression。

语义

for-expression 的求值方式如下：

1. 评估表达式。让O 成为结果值。

2. 让E 成为 primary-method-invocation 形式的 primary-expression [这里没有行终止符].each do | block-formal-argument-list | block-body end,其中 primary-expression 的值为 O，block-formal-argument-list 是 for-variable，block-body 是 do-clause 的 compound-statement。

   评估 E，但跳过 §11.2.2 的步骤 c。

3. for-expression 的值是调用的结果值。

好的，所以基本上这意味着

for for_variable in expression
  do_clause
end

被翻译成

O = expression
O.each do |for_variable|
  do_clause
end

或者，在你的情况下：

for i in 1..5
  puts j if i > 1 #undefined local variable or method `j' (NameError)
  j = i
end

被翻译成

(1..5).each do |i|
  puts j if i > 1 #no excpetion here, works just fine ??!!??
  j = i
end

啊哈！但是我们忘记了一些事情！有这个不祥的“跳过 §11.2.2 的步骤 c”。事物！那么，它说了什么？

• 将一组空的局部变量绑定推送到⟦local-variable-bindings⟧。

注意步骤 b

• 将执行上下文设置为Eb。

没有被跳过。

所以，据我所知，for 循环有自己的执行上下文，它开始时是当前执行上下文的副本，但它没有得到自己的集合局部变量绑定。 IOW：它有自己的动态执行上下文，但没有自己的词法范围。

我必须承认，我仍然不确定我是否完全理解它，但没有比这更精确的了。

Answer 2

您在哪个版本的 Ruby 上运行它？ 1.8 没有局部变量的块作用域，所以即使在for 结束之后，j 仍然存在（并且等于 5）。