Ruby异常处理过程中变量值莫名丢失问题排查

问题重现 #

以下是最小可复现代码：

class AbortReading < RuntimeError; end
class SomeError < RuntimeError; end

def rno
  retval = false
  catch(:abort_reading) do
    begin
      yield
    rescue AbortReading 
      puts "throw abort_reading"
      throw :abort_reading
    end # begin
    puts "Setting to true"
    retval = true
  end # catch
ensure # rno
  puts "rno returns #{retval.inspect}"
  retval # return value
end

def rfb
  success = rno do
    begin
      puts "failing"
      fail SomeError
    rescue SomeError
      puts "intercepted SomeError"
      fail AbortReading
    end
  end
  puts "success=#{success.inspect}"
  success
end   

puts rfb 

运行后输出：

failing
intercepted SomeError
throw abort_reading
rno returns false
success=nil

可见rno的ensure块明确输出返回false，但rfb中接收返回值的success变量却是nil，与预期不符。

问题原因 #

核心问题在于Ruby中throw的行为和ensure块的返回值规则：

1. 执行throw :abort_reading时，会直接跳出对应的catch(:abort_reading)块，此时**throw的默认返回值nil会成为当前方法的临时返回值**。
2. ensure块会被执行，但它的返回值不会覆盖throw带来的返回值。只有当方法正常执行完毕（无提前退出操作），或者在rescue块中正常返回时，ensure块的最后表达式才会成为方法的返回值。

简言之：throw已经决定了方法返回nil，后续ensure块里的retval仅被输出，不会改变方法最终返回给调用者的值。

修复方案 #

调整rno的结构，让方法的返回值由catch块之外的表达式决定，而非依赖ensure块：

def rno
  retval = false
  catch(:abort_reading) do
    begin
      yield
    rescue AbortReading 
      puts "throw abort_reading"
      throw :abort_reading
    end # begin
    puts "Setting to true"
    retval = true
  end # catch
  retval # 明确将retval作为方法返回值
ensure # rno
  puts "rno returns #{retval.inspect}"
end

修复原理 #

• 当throw跳出catch块后，方法会继续执行catch块之后的代码（即retval这一行），最终返回retval的值。
• ensure块仍会在方法返回前执行，负责输出日志，但不会干扰方法的返回值。

修改后运行代码，输出会变为：

failing
intercepted SomeError
throw abort_reading
rno returns false
success=false
false

符合预期，rfb正确接收到false并返回。

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