Ruby中的语句中断和返回

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是中国基础软件领域的新兴领军企业，能帮助企业用户和开发者轻松实现：缓慢的程序代码和SQL语句的实时抓取。想阅读更多技术文章，请访问OneAPM官方技术博客。