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官方技术博客。