从带有 ensure 的方法调用的 yield block 中返回 Ruby

Question

def foo
  puts "in foo"
  s = yield
  puts "s = #{s}"
  return 2
ensure
  puts "in ensure"
  return 1
end

def bar
  foo do
    puts "in bar block"
    return 3
  end
  return 4
end


[36] pry(main)> r = bar
in foo
in bar block
in ensure
=> 4

我期望 r = 3，但结果是 r = 4。如果我删除确保代码，则期望 r = 3。这是为什么？

def foo
  puts "in foo"
  s = yield
  puts "s = #{s}"
  return 2
end

r = bar
in foo
in bar block
=> 3

Answer 1

这是从 block 中“展开堆栈”的 Ruby 功能。您的返回流程是如何逐步运作的:

1. 你从 bar 返回 3堵塞。 return_value = 3 并且 Ruby 标记它是 block 的返回值，因此它应该展开堆栈并从父函数返回 3。它不会返回到 foo如果没有 ensure部分。从函数返回和从 block 返回是非常重要的区别。
2. 但 Ruby 总是执行 ensure , 还有一个 return在ensure节foo .
3. 在 return 1 之后在 ensure节foo , return_value是 1。它不是 block 中的值，所以 Ruby 会“忘记”之前的 return 3忘记从bar归还它.
4. 它从 foo 返回 1和 4来自 bar .

另外，如果你写next 3而不是 return 3在 block 中 - 它将返回到 foo在 yield 之后并执行 puts "s = #{s}"; return 2即使没有确保 block 。这是迭代器和枚举器的神奇 Ruby 特性。