下面的 lambda 表达式如何抛出 LocalJumpError ？

Question

我一直在阅读 Flanagan-Matz 的《Ruby 编程语言》一书

Context: Difference Between Proc.new and lambda wrt return statements

该书指出 lambda 中的 return 不应不会引发 LocalJumpError （因为 lambda类似于方法调用）。 lambda 中的 return 只是退出 lambda - 而不是包含迭代器的方法。

然而，下面的代码片段却另有说明。这里有什么问题？

def caller( aProc, switch)
  puts "Start Caller"
  case switch
    when :normal_block; iterator &aProc
    when :block_parameter; iterator_blockparam(&aProc)
    else iterator_param(aProc)
  end
  puts "End Caller"
end

def iterator
  puts "Begin iterator"
  [1,2,3,4].each { |x| yield x  }
  puts "End iterator"
end
def iterator_blockparam(&block)
  puts "Start Iterator wBlockParam"
  puts "Block is {block.lambda? ? 'Lambda' : 'Proc'}"
  [1,2,3,4].each { |x| block[x]  }
  puts "End Iterator wBlockParam"
end
def iterator_param(aProc)
  puts "Start Iterator wParam"
  puts "Block is {aProc.lambda? ? 'Lambda' : 'Proc'}"
  [1,2,3,4].each{ |x| aProc[x]}
  puts "End Iterator wParam"
end
 # enclosing method Proc.new already returned.
no3proc = Proc.new{|x| return -101 if x == 3; puts x }
no3lambda = lambda{|x| return -101 if x == 3; puts x }

#~ caller( no3proc, :normal_block)         #=> LocalJumpError
caller( no3lambda, :normal_block )       #  => LJE
#~ caller( no3proc, :block_parameter)        #=> LJE
#~ caller( no3lambda, :block_parameter)       # works!
#~ caller(no3proc, :with_param)               #=> LJE
#~ caller(no3lambda, :with_param)              # works!

Answer 1

LJE 不是由于从方法中返回，而是由于从调用块的数组迭代器返回。您无法从数组迭代器返回。通过简单地尝试从以下每个块返回来查看重现的行为：

<块引用><罢工>

[1,2,3].each {|x|返回 x }
LocalJumpError：意外返回
来自（irb）：7
来自（irb）：7：在“每个”中
来自（irb）：7

编辑：好的，我收回它，你可以从迭代器中返回。我的 LJE 是因为我在控制台（啊）。

编辑：好的，我看到你的问题了。基本问题是为什么 block[x] 有效而 yield x 不起作用（假设 &block 是 lambda）。 看起来 yield x 内联来自 block 的解释代码并在数组迭代器的上下文中调用它，这将抛出 LJE （如上所述）和 block[x ] 不会内联代码，只会从块本身返回。

因此，在未能回答您的问题后，我至少将其提炼为以下内容：

def call_as_block(&block)
    block.call
end

def call_as_yield
    yield
end

proc_return = Proc.new { return }
lambda_return = lambda { return }

call_as_block &proc_return # throws LJE
call_as_yield &proc_return # throws LJE
call_as_block &lambda_return # does NOT throw LJE
call_as_yield &lambda_return # throws LJE

所以看起来有什么不同不是在 lambda 和 Proc 之间（其行为符合预期），而是在通过 yield 调用 lambda 和通过 block.call 调用 lambda 之间。调用 yield 似乎会使 lambda 表现得像一个 Proc，并尝试从方法的上下文中返回。