Ruby中的語句中斷和返回

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

return

經常使用方式

一般狀況下的return語句和你們理解的意思是相同的。

def m1 param
  if param == 1
    return 'returned 1'
  end
  'returned default value'#根據Ruby語言規範，最後一條執行語句的結果將做爲返回值返回，retu rn是可選的
end

m1(1) # => returned 1
m1(2) # => returned default value

在有異常捕獲的ensure時，狀況會稍有不一樣：

def m1
  'return default'
ensure
  puts 'I am sure that it will be here!'
end

m1 # => return default

像這種狀況，在ensure語句以前，不管是否顯示用return來返回，m1方法都會返回ensure以前的值， ensure語句只是確保以後的代碼塊puts 'I am sure that it will be here!'執行，可是不會從這裏返回。 若是在ensure語句中顯示的用return來返回值時，狀況就不同了。示例以下：

def m1
  return 'return default'
ensure
  return 'I am sure that it will be here!'
end

m1 # => 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 ... '
end

m1

# 輸出結果：
#
# "start ... "
# "block start"

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

def m1
  p 'start ... '
  -> do
    p 'block start'
    return
    p 'block end'
  end.call
  p 'end ... '
end

m1

# 輸出結果：
#
# "start ... "
# "block start"
# "end ... "

這裏多了一行"end ... "，緣由何在？這就是Proc和Lambda最大的區別，在他們之中的return 語句跳出去的目的做用域不一樣，Proc會直接跳出整個方法的調用，而Lambda只會跳出自身的做用域， 返回到方法中繼續執行，這一點須要格外注意。（在break中，Proc和Lambda的跳出方式和return是同樣的，後面就再也不贅述了。）

break

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

result = [1, 2, 3, 4, 5].map do |i|
  i * 2
end

p result # => [2, 4, 6, 8, 10]

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

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

是[1, 2, 3, nil, nil]？仍是[1, 2, 3]？仍是什麼？答案是nil，由於執行break後，直接跳到了FLAG ，也就是跳出了map方法，而map方法中的語句並無執行完，致使沒有任何返回值，爲了驗證這個想法是正確的，咱們 能夠利用Ruby語言的break能夠帶返回值的特性來驗證一下：

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

p 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 ... '
end

def m2 &block
  p 'start in m2 ... '
  block.call
  p 'end in m2 ... '
end

m1

# 輸出結果：
#
# "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，來看看執行結果：

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 ... '
end

def m2 &block
  p 'start in m2 ... '
  block.call
  p 'end in m2 ... '
end

m1

# 輸出結果：
#
# "start in m1 ... "
# "start in m2 ... "
# "start in block in m1 ... "
# "end in m1 ... "

能夠看到代碼塊的最後一行代碼沒有執行，m2的最後一行也沒有執行，就是由於這一行沒有執行，致使 break的第二個例子中的map沒有返回任何值。總結一下，代碼塊中的break會直接跳出調用的方法（m2）， 而在聲明代碼塊的方法（m1）中繼續執行此方法（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 ... '
end

def m2 &block
  p 'start in m2 ... '
  block.call
  p 'end in m2 ... '
end

m1

# 輸出結果：
#
# "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 * 2
end

p result # => [2, 4, 6, nil, nil]

next語句也能帶返回值：

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

p result # => [2, 4, 6, "next", "next"]

其餘

對於return，在方法中，代碼塊中均可以使用，而break和next只能在代碼塊中使用（循環結構中 也可使用，可是通常它也是用代碼塊的形式來表示），若是在方法中調用二者會提示語法錯誤，也就是：

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

結論

return 大部分狀況下和其餘語言無異，須要注意在ensure以及Proc和Lambda兩種不一樣的 代碼塊中的細節問題。

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

next 最老實，基本不須要注意什麼。

最後就是，不僅是return能返回值，break和next都能返回值。

---

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