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
都能返回值。