Ruby编程中关于中断和返回的用法教程
return,break,next这几个关键字的使用都涉及到跳出作用域的问题,而他们的不同则在于不同的关键字跳出去的目的作用域的不同,因为有代码块则导致有一些地方需要格外注意。
return
常用方式
通常情况下的return语句和大家理解的意思是相同的。
defm1param ifparam==1 return'returned1' end 'returneddefaultvalue'#根据Ruby语言规范,最后一条执行语句的结果将作为返回值返回,return是可选的 end m1(1)#=>returned1 m1(2)#=>returneddefaultvalue
在有异常捕获的ensure时,情况会稍有不同:
defm1 'returndefault' ensure puts'Iamsurethatitwillbehere!' end m1#=>returndefault
像这种情况,在ensure语句之前,无论是否显示用return来返回,m1方法都会返回ensure之前的值,ensure语句只是确保之后的代码块puts'Iamsurethatitwillbehere!'执行,但是不会从这里返回。如果在ensure语句中显示的用return来返回值时,情况就不一样了。示例如下:
defm1 return'returndefault' ensure return'Iamsurethatitwillbehere!' end m1#=>Iamsurethatitwillbehere!
无论在ensure之前是否显示返回,都只会返回ensure之后的值。
在有代码块干预的情况下,又会有所不同:
defm1 p'start...' procdo p'blockstart' return p'blockend' end.call p'end...' end m1 #输出结果: # #"start..." #"blockstart"
这个应该是在预料之中的,再看下一个:
defm1 p'start...' ->do p'blockstart' return p'blockend' end.call p'end...' end m1 #输出结果: # #"start..." #"blockstart" #"end..."
这里多了一行"end...",原因何在?这就是Proc和Lambda最大的区别,在他们之中的return语句跳出去的目的作用域不同,Proc会直接跳出整个方法的调用,而Lambda只会跳出自身的作用域,返回到方法中继续执行,这一点需要格外注意。(在break中,Proc和Lambda的跳出方式和return是一样的,后面就不再赘述了。)
break
先来看一个简单的小例子:
result=[1,2,3,4,5].mapdo|i| i*2 end presult#=>[2,4,6,8,10]
这个没什么奇怪的,那么看看下面这个,来猜猜它的输出结果是什么?
result=[1,2,3,4,5].mapdo|i| breakifi>3 i*2 end #FLAG presult
是[1,2,3,nil,nil]?还是[1,2,3]?还是什么?答案是nil,因为执行break后,直接跳到了FLAG,也就是跳出了map方法,而map方法中的语句并没有执行完,导致没有任何返回值,为了验证这个想法是正确的,我们可以利用Ruby语言的break可以带返回值的特性来验证一下:
result=[1,2,3,4,5].mapdo|i| break'returnedbreak'ifi>3 i*2 end presult#=>"returnedbreak"
这里可以证明我们的猜测是正确的。虽然上面说明了这个问题,但是应该还不是非常容易理解,我们自己定义一个代码块,再来说明一下:
defm1 p'startinm1...' m2do#代码块 p'startinblockinm1...' p'endinblockinm1...' end p'endinm1...' end defm2&block p'startinm2...' block.call p'endinm2...' end m1 #输出结果: # #"startinm1..." #"startinm2..." #"startinblockinm1..." #"endinblockinm1..." #"endinm2..." #"endinm1..."
然后我们在m1中的block中添加break,来看看执行结果:
defm1 p'startinm1...' m2do#代码块 p'startinblockinm1...' break p'endinblockinm1...' end p'endinm1...' end defm2&block p'startinm2...' block.call p'endinm2...' end m1 #输出结果: # #"startinm1..." #"startinm2..." #"startinblockinm1..." #"endinm1..."
可以看到代码块的最后一行代码没有执行,m2的最后一行也没有执行,就是因为这一行没有执行,导致break的第二个例子中的map没有返回任何值。总结一下,代码块中的break会直接跳出调用的方法(m2),而在声明代码块的方法(m1)中继续执行此方法(m1)中剩下的语句。
next
next关键字类似其他语言中的continue,它的工作方式基本和continue类似。
defm1 p'startinm1...' m2do#代码块 p'startinblockinm1...' next p'endinblockinm1...' end p'endinm1...' end defm2&block p'startinm2...' block.call p'endinm2...' end m1 #输出结果: # #"startinm1..." #"startinm2..." #"startinblockinm1..." #"endinm2..." #"endinm1..."
只是略过了代码块的最后一行代码,这就是next的工作方式了。我们再来看看break的那个例子如果用next来写,看看结果是什么?如果你完全理解了上面所写的,相信你已经能在大脑中计算出结果了:
result=[1,2,3,4,5].mapdo|i| nextifi>3 i*2 end presult#=>[2,4,6,nil,nil]
next语句也能带返回值:
result=[1,2,3,4,5].mapdo|i| next'next'ifi>3 i*2 end presult#=>[2,4,6,"next","next"]
其他
对于return,在方法中,代码块中都可以使用,而break和next只能在代码块中使用(循环结构中也可以使用,但是一般它也是用代码块的形式来表示),如果在方法中调用两者会提示语法错误,也就是:
defm1 return#OK break#Invalidbreak,compileerror(SyntaxError) next#Invalidnext,compileerror(SyntaxError) end
结论
return大部分情况下和其他语言无异,需要注意在ensure以及Proc和Lambda两种不同的代码块中的细节问题。
break在有方法嵌套调用中的代码块中需要注意,它总是返回到调用代码块方法的方法中(有点绕)。
next最老实,基本不需要注意什么。
最后就是,不只是return能返回值,break和next都能返回值。