ruby - LocalJumpError 是如何从以下 lambda 抛出的？

Question

我一直在阅读 Flanagan-Matz 的 Ruby Programming Language 一书

上下文:Proc.new 和 lambda w.r.t return 语句之间的区别

书中指出，在 lambda 中返回应该不引发 LocalJumpError(因为 lambda 类似于方法调用)。 lambda 中的返回只是退出 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 不是由于从方法中返回，而是从调用 block 的数组迭代器中返回。您不能从数组迭代器返回。通过简单地尝试从以下每个 block 返回来查看重现的行为:

[1,2,3].each {|x| return x } LocalJumpError: unexpected return from (irb):7 from (irb):7:in `each' from (irb):7

编辑:好的，我收回它，你可以从迭代器中返回。我的 LJE 是因为我在控制台中 (argh)。

编辑:好的，我明白你的问题了。基本问题是为什么 block[x]工作和yield x不会(假设 &block 是一个 lambda)。 似乎 yield x从 block 中内联解释代码并在数组迭代器的上下文中调用它，这将抛出 LJE(如上所述)和 block[x]不内联代码，只返回 block 本身。

因此，由于未能回答您的问题，我至少将其提炼为以下内容:

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 一样，并试图从方法的上下文中返回。