V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
OneAPM
V2EX  ›  Ruby on Rails

Ruby 中断语句

  •  5
     
  •   OneAPM · 2015-06-19 09:41:20 +08:00 · 3153 次点击
    这是一个创建于 3430 天前的主题,其中的信息可能已经有所发展或是发生改变。

    returnbreaknext 这几个关键字的使用都涉及到跳出作用域的问题,而他们的不同则在于不同的关键字跳出去的目的作用域的不同,因为有代码块则导致有一些地方需要格外注意。

    return

    常用方式

    通常情况下的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 ... ",原因何在?这就是ProcLambda最大的区别,在他们之中的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,在方法中,代码块中都可以使用,而breaknext只能在代码块中使用(循环结构中也可以使用,但是一般它也是用代码块的形式来表示),如果在方法中调用两者会提示语法错误,也就是:

    def m1
      return # OK
      break  # Invalid break, compile error (SyntaxError)
      next   # Invalid next, compile error (SyntaxError)
    end
    

    结论

    • return 大部分情况下和其他语言无异,需要注意在ensure以及ProcLambda两种不同的 代码块中的细节问题。
    • break 在有方法嵌套调用中的代码块中需要注意,它总是返回到调用代码块方法的方法中(有点绕)。
    • next 最老实,基本不需要注意什么。

    最后就是,不只是return能返回值,breaknext都能返回值。

    本文系 OneAPM 工程师编译整理。想阅读更多技术文章,请访问OneAPM官方技术博客

    目前尚无回复
    关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   实用小工具   ·   2814 人在线   最高记录 6679   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 23ms · UTC 13:19 · PVG 21:19 · LAX 05:19 · JFK 08:19
    Developed with CodeLauncher
    ♥ Do have faith in what you're doing.