什么是'关闭'？

为了帮助理解闭包,检查它们如何以过程语言实现可能是有用的.这个解释将遵循Scheme中闭包的简单实现.

首先,我必须介绍命名空间的概念.当您向Scheme解释器输入命令时,它必须评估表达式中的各种符号并获取它们的值.例:

(define x 3)

(define y 4)

(+ x y) returns 7

define表达式将值3存储在x的点中,将值4存储在y的点中.然后当我们调用(+ xy)时,解释器查找命名空间中的值并能够执行操作并返回7.

但是,在Scheme中有一些表达式允许您临时覆盖符号的值.这是一个例子:

(define x 3)

(define y 4)

(let ((x 5))
   (+ x y)) returns 9

x returns 3

let关键字的作用是引入一个新的命名空间,其中x为值5.您将注意到它仍然能够看到y为4,使得返回的总和为9.您还可以看到表达式结束后x从这个意义上讲,x已经被本地值暂时屏蔽了.

程序和面向对象语言具有类似的概念.每当在函数中声明一个与全局变量同名的变量时,您都会获得相同的效果.

我们如何实现这个？一种简单的方法是使用链表 - 头部包含新值,尾部包含旧命名空间.当你需要查找符号时,从头部开始沿着尾部向下移动.

现在让我们暂时跳到一流函数的实现.或多或少,函数是一组在函数被调用时返回值最终执行的指令.当我们读入一个函数时,我们可以在幕后存储这些指令并在调用函数时运行它们.

(define x 3)

(define (plus-x y)
  (+ x y))

(let ((x 5))
  (plus-x 4)) returns ?

我们将x定义为3,将plus-x定义为其参数y,加上x的值.最后,我们在一个x被新x掩盖的环境中调用plus-x,这个值为5.如果我们只是为函数plus-x存储操作(+ xy),因为我们在上下文中如果x为5,则返回的结果为9.这就是所谓的动态范围.

但是,Scheme,Common Lisp和许多其他语言都有所谓的词法作用域 - 除了存储操作(+ xy)之外,我们还将命名空间存储在该特定点.这样,当我们查找值时,我们可以看到x,在这个上下文中,实际上是3.这是一个闭包.

(define x 3)

(define (plus-x y)
  (+ x y))

(let ((x 5))
  (plus-x 4)) returns 7

总之,我们可以使用链表来存储函数定义时命名空间的状态,允许我们从封闭范围访问变量,并使我们能够本地屏蔽变量而不影响其余部分.程序.

这是一个真实世界的例子,说明为什么Closures会屁股......这是我的Javascript代码.让我来说明一下.

Function.prototype.delay = function(ms /*[, arg...]*/) {
  var fn = this,
      args = Array.prototype.slice.call(arguments, 1);

  return window.setTimeout(function() {
      return fn.apply(fn, args);
  }, ms);
};

var startPlayback = function(track) {
  Player.play(track);  
};
startPlayback(someTrack);

startPlayback.delay(5000, someTrack);
// Keep going, do other things

function startAt(x) {
    return function (y) {
        return x + y;
    }
}

var closure1 = startAt(1);
var closure2 = startAt(5);

console.log(closure1(3)); // 4 (x == 1, y == 3)
console.log(closure2(3)); // 8 (x == 5, y == 3)

var pure = function pure(x){
  return x 
  // only own environment is used
}

var foo = "bar"

var closure = function closure(){
  return foo 
  // foo is a free variable from the outer environment
}