32

为什么匿名函数中的显式返回语句（使用return关键字的语句）从封闭的命名函数返回，而不仅仅是从匿名函数本身返回？

例如，以下程序会导致类型错误：

def foo: String = {
  ((x: Integer) => return x)
  "foo"
}

我知道建议避免使用该return关键字，但我对为什么显式和隐式返回语句在匿名函数中具有不同语义感兴趣。

在下面的示例中，return 语句m在执行完毕后“存活”，程序导致运行时异常。如果匿名函数没有从封闭函数返回，则无法编译该代码。

def main(args: Array[String]) {
  m(3)
}

def m: (Integer => Unit) =
  (x: Integer) => return (y: Integer) => 2
4

2 回答 2

23

正式地说，return 定义为总是从最近的封闭命名方法返回

return 表达式 return e 必须出现在一些封闭的命名方法或函数的主体内。源程序中最内层的命名方法或函数 f 必须具有显式声明的结果类型，并且 e 的类型必须符合它。return 表达式计算表达式 e 并将其值作为 f 的结果返回。省略返回表达式后面的任何语句或表达式的求值。

所以它在 lambda 中没有不同的语义。问题在于，与普通方法不同，从 lambda 创建的闭包可以逃避对封闭方法的调用，并且如果在这样的闭包中有返回，则可以得到异常。

如果 return 表达式本身是匿名函数的一部分，则 f 的封闭实例可能在 return 表达式执行之前已经返回。在这种情况下，抛出的 scala.runtime.NonLocalReturnException 将不会被捕获，并将向上传播调用堆栈。

现在，至于“为什么”。一个较小的原因是美学：lambdas 是表达式，当一个表达式及其所有子表达式具有相同的含义时，无论嵌套结构如何，这都很好。Neal Gafter 在http://gafter.blogspot.com/2006/08/tennents-correspondence-principle-and.html上谈到了这一点

但是，它存在的主要原因是它允许您轻松模拟命令式编程中常用的控制流形式，但仍然允许您将事物抽象为更高阶的函数。作为一个玩具示例，Java 的 foreach 构造 ( for (x : xs) { yada; }) 允许在循环内返回。Scala 没有语言级别的 foreach。相反，它将 foreach 放入库中（不计算没有 yield 的“for expression”，因为它们只是对 foreach 脱糖）。具有非本地返回意味着您可以采用 Java foreach 并直接转换为 Scala foreach。

顺便说一句，Ruby、Smalltalk 和 Common Lisp（我想不到）也有类似的“非本地”返回。

于 2013-07-19T21:43:11.013 回答
3

该return关键字是为（类）方法保留的，不能在函数中使用。您可以轻松测试：

object Foo {
  val bar = (i: Int) => return i + i
}

这给

<console>:42: error: return outside method definition
       object Foo { val bar = (i: Int) => return i + i }
                                          ^

大多数情况下，您可以将方法和函数视为相同，因为函数的apply方法在语法上的行为类似于调用方法，并且所谓的 eta-expansion 允许将方法作为函数参数传递。

在这种情况下，它会有所作为。当定义为方法时，它是合法的：

object Foo { 
  def bar(i: Int): Int = return i + i
}

总之，您应该只return在允许有条件（早期）返回的方法中使用。有关方法与函数的讨论，请参见这篇文章。

于 2013-07-19T20:49:12.247 回答