Ruby中begin;return;ensure代码块执行机制及实现原理问询

这其实是Ruby里ensure块的核心设计特性，完全符合语言规范！

先解释现象背后的原因 #

你之前的理解误区在于：很多语言里return会直接跳出函数，但Ruby把ensure块的执行优先级放在了返回操作的前面。具体来说：

• 当begin块里执行到return 'foo'时，Ruby会先暂存这个要返回的值，不会立刻弹出调用栈；
• 接着强制执行ensure块里的所有代码（也就是你的puts 'bar'）；
• 等ensure块执行完毕后，才会把之前暂存的返回值真正返回出去。

这就是为什么你调用foo后，会先看到bar被输出，然后方法返回foo（如果是在IRB环境下，返回值会自动显示，所以你会看到两个内容）。

ensure的设计初衷就是做资源清理——比如关闭打开的文件、释放数据库连接、清理临时文件这类操作，不管代码是正常执行完成、抛出异常，还是像你这样提前return，都必须保证这些清理逻辑被执行，这是Ruby为了代码鲁棒性做的设计，和Java的finally、Python的finally块行为一致。

再说说底层实现逻辑（以YARV为例） #

Ruby的主流虚拟机YARV在解析代码时，会把ensure块标记为「必须执行的清理段」。当执行到return指令时：

1. 虚拟机不会直接执行返回操作，而是先记录当前的返回值和调用栈状态；
2. 切换到ensure块的执行上下文，逐行执行其中的代码；
3. 等ensure块执行完成后，再恢复之前记录的状态，把暂存的返回值传递给调用者。

甚至你可以做个有趣的测试：如果在ensure块里也写return，它会覆盖之前的返回值：

def foo
  begin
    return 'foo'
  ensure
    puts 'bar'
    return 'baz'
  end
end
puts foo # 输出：bar → baz

这就证明了ensure块确实是在原return生效前执行的，它的return会覆盖原返回值。

内容的提问来源于stack exchange，提问作者Huliax