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

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 ... " ，原因何在？这就是 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 都能返回值。