Question

1. 闭包：运行时从函数字面量创建出来的值函数对象称做闭包closure。

2. 没有自由变量的函数字面量称作闭合语closed term 。

   • 自由变量：函数字面量的函数体以及参数以外的变量。
   • 绑定变量：函数字面量的参数变量。

   
   xxxxxxxxxx
   var more = 1 
   val f = (x:Int) => x + more // 闭包。 more：自由变量； x: 绑定变量

3. 如果在闭包创建之后再改变自由变量，则闭包能够看到这个改变。因为Scala 的闭包捕获的是变量本身，而不是变量引用的值。

   同理，如果闭包对捕获的变量修改，则闭包之外也能看到这种修改。

   
   xxxxxxxxxx
   val intList = List(1,2,3,4,5)
   var sum = 0
   val f = (x:Int) => sum += x         // 闭包
   intList.foreach(f) // 闭包内部修改了变量 sum: sum 现在为 15
   sum = 100          // 闭包外部修改了变量 sum
   intList.foreach(f) // 闭包内部修改了变量 sum: sum 现在为 115

4. 如果闭包使用了某个函数的局部变量，而这个函数又被调用了多次，则：闭包引用的实例是在被创建时活跃的那个。

   
   xxxxxxxxxx
   def make_f(more:Int) = (x:Int) => x+more // make_f 返回一个局部函数
   val f = make_f(100) // 闭包引用的 more 是 10
   println(1)          // 打印 11

   • make_f 每调用一次就会创建一个新的闭包。每个闭包都会访问创建时活跃的变量 more 。其返回结果取决于闭包创建时的 more 的定义。
   • Scala 编译器会重新组织和安排，让被捕获的参数在堆上继续存活（而不是由垃圾收集器自动回收）。