在匿名函数中找到返回的封闭 f

Question

在 Scala 语言规范 6.20 返回表达式中，它说： “返回表达式 return e 必须出现在某个封闭的命名方法或函数的主体内。源程序中最内层的封闭命名方法或函数，f...”

这里有一个innermost enclosing f，我想为return找到那个f。但是当涉及到匿名函数时，事情就变得有点复杂了。

示例 1：这里最里面的 f 是f1。在反编译的java代码中，我们可以看到异常被f1捕获。

def main(args: Array[String]) { 
  def f1() { () => return }
}

示例 2：这里最里面的 f 仍然是f1。在反编译的java代码中，我们可以看到异常仍然被f1捕获，尽管从执行视图来看，f2是return最里面的封闭f。

def main(args: Array[String]) { 
  def f2(x: Any) { println(x) }
  def f1() { f2(() => return) }
}

也许我们可以说，在 Example2 中，x 并没有真正在 f2 中执行。但这是另一个奇怪的例子。

Example3：这里最里面的f是main，不是map和println。（但是我知道map或者println的class文件不能在这里改。）

def main(args: Array[String]) {
  val list = List(1, 2, 3)
  println(list.map(x => return x * 2))
}

总之，这个innermost enclosing f 似乎就是那个直接包含返回表达式的精确def 的方法。

我说的对吗？

Answer 1

是的，你是对的。 “封闭”是指“封闭definition”。

正如您自己所注意到的，它不能指代“封闭方法调用”，因为即使是像以下早期 return 的规范用例这样简单的事情：

def findFirstGreaterZero(as: List[Int]): Option[Int] = {
  for (a <- as) {
    if (a > 0) return Some(a)
  }
  None
}

不起作用，即使这里没有明确的 lambda。 for 将脱糖为(a <- as).foreach{ a => ... return }，如果{ a => ... return ...} 将“包围”return 关键字，则return 将仅从foreach 的主体的当前调用返回，而不是从方法findFirstGreaterZero，这将使return 几乎无用。