什么是闭包?

305 阅读6分钟

当函数可以记住并访问所在的词法作用域时,就产生了闭包,即使函数是在当前词法作用域之外执行的

function foo() {
    var a = 1; // a 是一个被 foo 创建的局部变量
    function bar() { // bar 是一个内部函数,是一个闭包
        console.log(a); // 使用了父函数中声明的变量
    }
    return bar();
}
foo(); // 1

foo() 函数中声明了一个内部变量 a , 在函数外部是无法访问的,bar() 函数是 foo() 函数内部的函数,此时 foo 内部的所有局部变量,对 bar 都是可见的,反过来就不行,bar 内部的局部变量,对 foo 就是不可见的。这就是javaScript特有的”作用域链“。

function foo() {
    var a = 1; // a 是一个被 foo 创建的局部变量
    function bar() { // bar 是一个内部函数,是一个闭包
        console.log(a); // 使用了父函数中声明的变量
    }
    return bar;
}
const myFoo = foo();
myFoo();

这段代码和上面的代码运行结果完全一致,其中不同的地方就是在于内部函数 bar 在执行前,从外部函数返回。foo() 执行后,将其返回值(也就是内部的 bar 函数)赋值给变量 myFoo 并调用 myFoo(), 实际上只是通过不同的标识符引用调用了内部的函数 bar()

foo() 函数执行后,正常情况下 foo() 的整个内部作用域被销毁,占用的内存被回收。但是现在的 foo的内部作用域 bar() 还在使用,所以不会对其进行回收。bar() 依然持有对改作用域的引用,这个引用就叫做闭包。这个函数在定义的词法作用域以外的地方被调用。闭包使得函数可以继续访问定义时的词法作用域。

用一句话描述:闭包是指有权访问另一个函数作用域中变量的函数。创建闭包最常见的方式就是,在一个函数内部创建另一个函数。

常见的一些闭包

function foo(a) {
    setTimeout(function timer(){
        console.log(a)
    }, 1000)
}
foo(2);

foo执行1000ms 后,它的内部作用域不会消失,timer函数依然保有 foo 作用域的引用。timer函数就是一个闭包。

定时器,事件监听器,Ajax请求,跨窗口通信,Web Workers或者其他异步或同步任务中,只要使用回调函数,实际上就是闭包。

循环和闭包

for(var i = 0; i < 5; i++) {
    setTimeout(() => {
        console.log(i);
    }, i * 1000);
}

上面的这段代码,预期是每隔一秒,分别输出 0, 1, 2, 3, 4, 但实际上依次输出的是 5, 5, 5, 5, 5。首先解释5是从哪里来的,这个循环的终止条件是 i 不再 < 5,条件首次成立时 i 的值是5,因此,输出显示的是循环结束时 i 的最终值。

延迟函数的回调会在循环结束时才执行。事实上,当定时器运行时即使每个迭代中执行的都是 setTimeout(.., 0),所有的回调函数依然是在循环结束后才会被执行。因此每次输出一个 5来。

我们的预期是每个迭代在运行时都会给自己 "捕获" 一个 i 的副本。但是实际上,根据作用域的原理,尽管循环中的五个函数都是在各自迭代中分别定义的,但是他们都封闭在一个共享的全局作用域中,因此实际上只有一个 i。即所有函数共享一个 i 的引用。

for(var i = 0; i < 5; i++) {
    (function(j){
        setTimeout(() => {
            console.log(j);
        }, j * 1000);
    })(i)
}

代码改成上面这样,就可以按照我们期望的方式进行工作了。这样修改之后,在每次迭代内使用 IIFE(立即执行函数)会为每个迭代都生成一个新的作用域,使得延迟函数的回调可以将新的作用域封闭在每个迭代内部,每个迭代内部都会含有一个具有正确值的变量可以访问。

for(let i = 0; i < 5; i++) {
    setTimeout(() => {
        console.log(i);
    }, i * 1000);
}

使用 ES6 块级作用域的 let 替换 var 也可以达到我们的目的。

为什么总是 JavaScript 中闭包的应用都有着关键词 “return”, javaScript 秘密花园 中有一段话解释到:闭包是JavaScript 一个非常重要的特性,这意味着当前作用域总是能够访问外部作用域的变量。 因为函数是 JavaScript 中唯一拥有自身作用域的结构,因此闭包的创建依赖于函数。

需要注意的点

容易导致内存泄漏。 闭包会携带包含它的函数作用域,因此会比其他函数占用更多的内存。过度使用闭包会导致内存占用过多,所以要谨慎使用闭包。

关于this的情况

在闭包中使用 this 对象。

this对象是运行时基于函数的执行环境绑定的。全局函数中,this指向 window,当函数被作用某个对象的方法调用时,this指向这个对象,不过匿名函数的执行环境具有全局性,因此其this对象通常指向window。之前这篇一文理解this、call、apply、bind文章中也专门讲了this。

var name = 'The window';

var object = {
    name: 'my Object',
    getName: function() {
        return function() {
            return this.name;
        }
    }
}
console.log(object.getName()()); // The window 非严格模式下
  1. 上面代码创建了一个全局变量 name, 又创建了一个包含 name 属性的对象,这个对象还包含了一个方法 getName(),它返回一个匿名函数,而匿名函数又返回 this.name
  2. 由于getName返回一个函数,因此调用 object.getName()() 会立即调用它返回的函数。结果就是返回字符串 “The window ”,即全局 name 变量的值。

为什么匿名函数没有取得包含作用域的this对象呢?每个函数在被调用时会自动获取两个特殊的变量: this, arguments。内部函数在搜索这两个变量时,只会搜索到其活动对象为止,因此永远不可能直接访问外部函数的这两个变量。

不过把外部作用域中的 this对象保存在一个闭包能够访问到的变量里,就可以让闭包访问该对象了。

var name = 'The window';

var object = {
    name: 'my Object',
    getName: function() {
        var that = this; // 把this对象赋值给了 that变量
        return function() {
            return that.name;
        }
    }
}

console.log(object.getName()()); // my Object

上面代码中把this对象赋值给了 that变量,that变量时包含在函数中的,即时函数返回之后,that也仍然引用这 object,所以调用 object.getName()() 返回 “my Object”

arguments 和 this存在相同的问题,如果想访问作用域中的 arguments 对象,必须将对该对象的引用保存到另一个闭包能够访问的变量中。

有几种特殊情况下,this的值可能会意外地发生改变。比如下面的代码是修改其前面例子的结果。

var name = 'The window';

var object = {
    name: 'my Object',
    getName: function() {
        return this.name
    }
}

console.log(object.getName()); // my Object
console.log((object.getName)()); // my Object
console.log((object.getName = object.getName)()); // The window 非严格模式下

  1. 第一个就是正常的调用,打印 “my Object”
  2. 第二个就是在调用这个方法前先给它加上了括号,但是和 object.getName 是一样的,所以打印为 "my Object"
  3. 第三个是先执行了一个赋值语句,然后再调用赋值后的结果。因为这个赋值表达式是函数本身,所以此时调用,this 指向的是 window,打印的是 "The window"

总结

  • 闭包是指有权访问另一个函数作用域中变量的函数。
  • 闭包通常用来创建内部变量,使得 这些变量不能被外部随意修改,同时又可以通过指定的接口来操作。