return, break , next 这几个关键字的使用都涉及到跳出作用域的问题,而他们的不同则在于不同的关键字跳出去的目的作用域的不同,因为有代码块则导致有一些地方需要格外注意。
通常情况下的 return
语句和大家理解的意思是相同的。
def m1 param if param == 1 return 'returned 1' end 'returned default value' # 根据Ruby语言规范,最后一条执行语句的结果将作为返回值返回,return是可选的 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 # => I am sure that it will be here!
像这种情况,在 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
是一样的,后面就不再赘述了。)
先来看一个简单的小例子:
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
关键字类似其他语言中的 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
ensure
以及 Proc
和 Lambda
两种不同的 代码块中的细节问题。 最后就是,不只是 return
能返回值, break
和 next
都能返回值。
本文系 OneAPM 工程师编译整理。想阅读更多技术文章,请访问OneAPM 官方技术博客 。