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