Ruby中的語句中斷和返回

李哲 — APRIL 28, 2015 
return，break，next 這幾個關鍵字的使用都涉及到跳出作用域的問題，而他們的不同 則在于不同的關鍵字跳出去的目的作用域的不同，因為有代碼塊則導致有一些地方需要格外注意。

return

常用方式

通常情況下的return語句和大家理解的意思是相同的。

def m1 param  if param == 1    return 'returned 1'  end  'returned default value'#根據Ruby語言規(guī)范，最后一條執(zhí)行語句的結果將作為返回值返回，retu rn是可選的endm1(1) # => returned 1m1(2) # => returned default value

在有異常捕獲的ensure時，情況會稍有不同：

def m1  'return default'ensure  puts 'I am sure that it will be here!'endm1 # => return default

像這種情況，在ensure語句之前，無論是否顯示用return來返回，m1方法都會返回ensure之前的值， ensure語句只是確保之后的代碼塊puts 'I am sure that it will be here!'執(zhí)行，但是不會從這里返回。 如果在ensure語句中顯示的用return來返回值時，情況就不一樣了。示例如下：

def m1  return 'return default'ensure  return 'I am sure that it will be here!'endm1 # => I am sure that it will be here!

無論在ensure之前是否顯示返回，都只會返回ensure之后的值。

在有代碼塊干預的情況下，又會有所不同：

def m1  p 'start ... '  proc do    p 'block start'    return    p 'block end'  end.call  p 'end ... 'endm1# 輸出結果：## "start ... "# "block start"

這個應該是在預料之中的，再看下一個：

def m1  p 'start ... '  -> do    p 'block start'    return    p 'block end'  end.call  p 'end ... 'endm1# 輸出結果：## "start ... "# "block start"# "end ... "

這里多了一行"end ... "，原因何在？這就是Proc和Lambda最大的區(qū)別，在他們之中的return 語句跳出去的目的作用域不同，Proc會直接跳出整個方法的調用，而Lambda只會跳出自身的作用域， 返回到方法中繼續(xù)執(zhí)行，這一點需要格外注意。（在break中，Proc和Lambda的跳出方式和return是一樣的，后面就不再贅述了。）

break

先來看一個簡單的小例子：

result = [1, 2, 3, 4, 5].map do |i|  i * 2endp result # => [2, 4, 6, 8, 10]

這個沒什么奇怪的，那么看看下面這個，來猜猜它的輸出結果是什么？

result = [1, 2, 3, 4, 5].map do |i|  break if i > 3  i * 2end# FLAGp result

是[1, 2, 3, nil, nil]？還是[1, 2, 3]？還是什么？答案是nil，因為執(zhí)行break后，直接跳到了FLAG ，也就是跳出了map方法，而map方法中的語句并沒有執(zhí)行完，導致沒有任何返回值，為了驗證這個想法是正確的，我們 可以利用Ruby語言的break可以帶返回值的特性來驗證一下：

result = [1, 2, 3, 4, 5].map do |i|  break 'returned break' if i > 3  i * 2endp result # => "returned break"

這里可以證明我們的猜測是正確的。雖然上面說明了這個問題，但是應該還不是非常容易理解，我們自己定義 一個代碼塊，再來說明一下：

def m1  p 'start in m1 ... '  m2 do # 代碼塊    p 'start in block in m1 ... '    p 'end in block in m1 ... '  end  p 'end in m1 ... 'enddef m2 &block  p 'start in m2 ... '  block.call  p 'end in m2 ... 'endm1# 輸出結果：## "start in m1 ... "# "start in m2 ... "# "start in block in m1 ... "# "end in block in m1 ... "# "end in m2 ... "# "end in m1 ... "

然后我們在m1中的block中添加break，來看看執(zhí)行結果：

def m1  p 'start in m1 ... '  m2 do # 代碼塊    p 'start in block in m1 ... '    break    p 'end in block in m1 ... '  end  p 'end in m1 ... 'enddef m2 &block  p 'start in m2 ... '  block.call  p 'end in m2 ... 'endm1# 輸出結果：## "start in m1 ... "# "start in m2 ... "# "start in block in m1 ... "# "end in m1 ... "

可以看到代碼塊的最后一行代碼沒有執(zhí)行，m2的最后一行也沒有執(zhí)行，就是因為這一行沒有執(zhí)行，導致 break的第二個例子中的map沒有返回任何值?？偨Y一下，代碼塊中的break會直接跳出調用的方法（m2）， 而在聲明代碼塊的方法（m1）中繼續(xù)執(zhí)行此方法（m1）中剩下的語句。

next

next關鍵字類似其他語言中的continue，它的工作方式基本和continue類似。

def m1  p 'start in m1 ... '  m2 do # 代碼塊    p 'start in block in m1 ... '    next    p 'end in block in m1 ... '  end  p 'end in m1 ... 'enddef m2 &block  p 'start in m2 ... '  block.call  p 'end in m2 ... 'endm1# 輸出結果：## "start in m1 ... "# "start in m2 ... "# "start in block in m1 ... "# "end in m2 ... "# "end in m1 ... "

只是略過了代碼塊的最后一行代碼，這就是next的工作方式了。我們再來看看break的那個例子如果 用next來寫，看看結果是什么？如果你完全理解了上面所寫的，相信你已經能在大腦中計算出結果了：

result = [1, 2, 3, 4, 5].map do |i|  next if i > 3  i * 2endp result # => [2, 4, 6, nil, nil]

next語句也能帶返回值：

result = [1, 2, 3, 4, 5].map do |i|  next 'next' if i > 3  i * 2endp result # => [2, 4, 6, "next", "next"]

其他

對于return，在方法中，代碼塊中都可以使用，而break和next只能在代碼塊中使用（循環(huán)結構中 也可以使用，但是一般它也是用代碼塊的形式來表示），如果在方法中調用兩者會提示語法錯誤，也就是：

def m1  return # OK  break  # Invalid break, compile error (SyntaxError)  next   # Invalid next, compile error (SyntaxError)end

結論

return 大部分情況下和其他語言無異，需要注意在ensure以及Proc和Lambda兩種不同的 代碼塊中的細節(jié)問題。

break 在有方法嵌套調用中的代碼塊中需要注意，它總是返回到調用代碼塊方法的方法中（有點繞）。

next 最老實，基本不需要注意什么。

最后就是，不只是return能返回值，break和next都能返回值。

本文作者系OneAPM工程師李哲 ，想閱讀更多好的技術文章，請訪問OneAPM官方技術博客。