关于Scala闭包的问题（来自《Scala编程》）

我不明白为什么作者说“Scala 编程”中的代码清单 9.1 使用闭包。在第 9 章中，他们展示了如何将原始代码重构为更少重复的形式：

object FileMatcher {
  private def filesHere = (new java.io.File(".")).listFiles
  def filesEnding(query: String) =
    for (file <- filesHere; if file.getName.endsWith(query))
      yield file
  def filesContaining(query: String) =
    for (file <- filesHere; if file.getName.contains(query))
      yield file
  def filesRegex(query: String) =
    for (file <- filesHere; if file.getName.matches(query))
      yield file
}

到第二个版本：

object FileMatcher {
  private def filesHere = (new java.io.File(".")).listFiles
  def filesMatching(query: String,
    matcher: (String, String) => Boolean) = {
      for (file <- filesHere; if matcher(file.getName, query))
        yield file
    }    
  def filesEnding(query: String) =
    filesMatching(query, _.endsWith(_))
  def filesContaining(query: String) =
    filesMatching(query, _.contains(_))
  def filesRegex(query: String) =
    filesMatching(query, _.matches(_))
}

他们说这里没有闭包的用处。现在我明白了。然而他们引入了使用closure进行更多重构，如清单 9.1 所示：

object FileMatcher {
  private def filesHere = (new java.io.File(".")).listFiles
  private def filesMatching(matcher: String => Boolean) =
    for (file <- filesHere; if matcher(file.getName))
      yield file
  def filesEnding(query: String) =
    filesMatching(_.endsWith(query))
  def filesContaining(query: String) =
    filesMatching(_.contains(query))
  def filesRegex(query: String) =
    filesMatching(_.matches(query))
}

现在他们说query是一个自由变量，但我不太明白他们为什么这么说？由于“查询”似乎是从顶部方法显式传递到字符串匹配函数。

让我们看一下经典的 add-n 闭包什么是闭包 https://stackoverflow.com/questions/36636/what-is-a-closure.

(define (add a)
  (lambda (b)
    (+ a b)))

(define add3 (add 3))

(add3 4) returns 7

在上面的 lambda 表达式中，a is the 自由变量 http://en.wikipedia.org/wiki/Free_variables_and_bound_variables，在维基百科链接中定义为：

函数中引用的变量 这不是局部变量或 该函数的参数。升值 是一个已绑定的自由变量 （封闭）有一个封闭物。

回到

def filesEnding(query: String) =
  filesMatching(_.endsWith(query))

隐式函数x => x.endsWith(query)是一等函数，被分配给一等值matcher, and _.endsWith()已关闭query，类似于3关闭的方式a in (add 3). (add3 4)相当于由matcher(file.getName).

Edit：棘手的部分是 Scala 中称为占位符语法匿名函数的功能。通过使用_Scala 会自动创建一个匿名函数来代替发送者或参数，我们可以将其视为 lambda 表达式。

例如，

_ + 1              creates       x => x + 1
_ * _              creates       (x1, x2) => x1 * x2
_.endsWith(query)  creates       x => x.endsWith(query)

函数内x => x.endsWith(query), query满足成为自由变量的两个要求：

1. query不是函数内定义的局部变量（没有局部变量）。
2. query不是函数的参数（唯一的参数是x).