return,break,next 這幾個(gè)關(guān)鍵字的使用都涉及到跳出作用域的問(wèn)題,而他們的不同 則在于不同的關(guān)鍵字跳出去的目的作用域的不同,因?yàn)橛写a塊則導(dǎo)致有一些地方需要格外注意。
return
常用方式
通常情況下的return語(yǔ)句和大家理解的意思是相同的。
復(fù)制代碼 代碼如下:
def m1 param
if param == 1
return 'returned 1'
end
'returned default value'#根據(jù)Ruby語(yǔ)言規(guī)范,最后一條執(zhí)行語(yǔ)句的結(jié)果將作為返回值返回,retu rn是可 選的
end
m1(1) # => returned 1
m1(2) # => returned default value
在有異常捕獲的ensure時(shí),情況會(huì)稍有不同:
復(fù)制代碼 代碼如下:
def m1
'return default'
ensure
puts 'I am sure that it will be here!'
end
m1 # => return default
像這種情況,在ensure語(yǔ)句之前,無(wú)論是否顯示用return來(lái)返回,m1方法都會(huì)返回ensure之前的值, ensure語(yǔ)句只是確保之后的代碼塊puts 'I am sure that it will be here!'執(zhí)行,但是不會(huì)從這里返回。 如果在ensure語(yǔ)句中顯示的用return來(lái)返回值時(shí),情況就不一樣了。示例如下:
復(fù)制代碼 代碼如下:
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!
無(wú)論在ensure之前是否顯示返回,都只會(huì)返回ensure之后的值。
在有代碼塊干預(yù)的情況下,又會(huì)有所不同:
復(fù)制代碼 代碼如下:
def m1
p 'start ... '
proc do
p 'block start'
return
p 'block end'
end.call
p 'end ... '
end
m1
# 輸出結(jié)果:
#
# "start ... "
# "block start"
這個(gè)應(yīng)該是在預(yù)料之中的,再看下一個(gè):
復(fù)制代碼 代碼如下:
def m1
p 'start ... '
-> do
p 'block start'
return
p 'block end'
end.call
p 'end ... '
end
m1
# 輸出結(jié)果:
#
# "start ... "
# "block start"
# "end ... "
這里多了一行"end ... ",原因何在?這就是Proc和Lambda最大的區(qū)別,在他們之中的return 語(yǔ)句跳出去的目的作用域不同,Proc會(huì)直接跳出整個(gè)方法的調(diào)用,而Lambda只會(huì)跳出自身的作用域, 返回到方法中繼續(xù)執(zhí)行,這一點(diǎn)需要格外注意。(在break中,Proc和Lambda的跳出方式和return是一樣的,后面就不再贅述了。)
break
先來(lái)看一個(gè)簡(jiǎn)單的小例子:
復(fù)制代碼 代碼如下:
result = [1, 2, 3, 4, 5].map do |i|
i * 2
end
p result # => [2, 4, 6, 8, 10]
這個(gè)沒(méi)什么奇怪的,那么看看下面這個(gè),來(lái)猜猜它的輸出結(jié)果是什么?
復(fù)制代碼 代碼如下:
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,因?yàn)閳?zhí)行break后,直接跳到了FLAG ,也就是跳出了map方法,而map方法中的語(yǔ)句并沒(méi)有執(zhí)行完,導(dǎo)致沒(méi)有任何返回值,為了驗(yàn)證這個(gè)想法是正確的,我們 可以利用Ruby語(yǔ)言的break可以帶返回值的特性來(lái)驗(yàn)證一下:
復(fù)制代碼 代碼如下:
result = [1, 2, 3, 4, 5].map do |i|
break 'returned break' if i > 3
i * 2
end
p result # => "returned break"
這里可以證明我們的猜測(cè)是正確的。雖然上面說(shuō)明了這個(gè)問(wèn)題,但是應(yīng)該還不是非常容易理解,我們自己定義 一個(gè)代碼塊,再來(lái)說(shuō)明一下:
復(fù)制代碼 代碼如下:
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
# 輸出結(jié)果:
#
# "start in m1 ... "
# "start in m2 ... "
# "start in block in m1 ... "
# "end in block in m1 ... "
# "end in m2 ... "
# "end in m1 ... "
然后我們?cè)趍1中的block中添加break,來(lái)看看執(zhí)行結(jié)果:
復(fù)制代碼 代碼如下:
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
# 輸出結(jié)果:
#
# "start in m1 ... "
# "start in m2 ... "
# "start in block in m1 ... "
# "end in m1 ... "
可以看到代碼塊的最后一行代碼沒(méi)有執(zhí)行,m2的最后一行也沒(méi)有執(zhí)行,就是因?yàn)檫@一行沒(méi)有執(zhí)行,導(dǎo)致 break的第二個(gè)例子中的map沒(méi)有返回任何值。總結(jié)一下,代碼塊中的break會(huì)直接跳出調(diào)用的方法(m2), 而在聲明代碼塊的方法(m1)中繼續(xù)執(zhí)行此方法(m1)中剩下的語(yǔ)句。
next
next關(guān)鍵字類(lèi)似其他語(yǔ)言中的continue,它的工作方式基本和continue類(lèi)似。
復(fù)制代碼 代碼如下:
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
# 輸出結(jié)果:
#
# "start in m1 ... "
# "start in m2 ... "
# "start in block in m1 ... "
# "end in m2 ... "
# "end in m1 ... "
只是略過(guò)了代碼塊的最后一行代碼,這就是next的工作方式了。我們?cè)賮?lái)看看break的那個(gè)例子如果 用next來(lái)寫(xiě),看看結(jié)果是什么?如果你完全理解了上面所寫(xiě)的,相信你已經(jīng)能在大腦中計(jì)算出結(jié)果了:
復(fù)制代碼 代碼如下:
result = [1, 2, 3, 4, 5].map do |i|
next if i > 3
i * 2
end
p result # => [2, 4, 6, nil, nil]
next語(yǔ)句也能帶返回值: ``` result = [1, 2, 3, 4, 5].map do |i| next 'next' if i > 3 i * 2 end
復(fù)制代碼 代碼如下:
p result # => [2, 4, 6, "next", "next"] ```
其他
對(duì)于return,在方法中,代碼塊中都可以使用,而break和next只能在代碼塊中使用(循環(huán)結(jié)構(gòu)中 也可以使用,但是一般它也是用代碼塊的形式來(lái)表示),如果在方法中調(diào)用兩者會(huì)提示語(yǔ)法錯(cuò)誤,也就是:
復(fù)制代碼 代碼如下:
def m1
return # OK
break # Invalid break, compile error (SyntaxError)
next # Invalid next, compile error (SyntaxError)
end
結(jié)論
return 大部分情況下和其他語(yǔ)言無(wú)異,需要注意在ensure以及Proc和Lambda兩種不同的 代碼塊中的細(xì)節(jié)問(wèn)題。
break 在有方法嵌套調(diào)用中的代碼塊中需要注意,它總是返回到調(diào)用代碼塊方法的方法中(有點(diǎn)繞)。
next 最老實(shí),基本不需要注意什么。
最后就是,不只是return能返回值,break和next都能返回值。