【JavaScript闭包】JavaScript何为闭包，浅谈闭包的形成和意义

news2024/11/28 7:44:36

谈到js，必然逃不了闭包。
闭包到底是啥呢？我查了不少资料，解释真的是各种各样，千奇百怪，令人困惑。
我们先来看看一下各种解释

红宝石书：闭包指的是那些引用了另一个函数作用域中变量的函数。
mdn : 闭包（closure）是一个函数以及其捆绑的周边环境状态的引用的组合
其它：闭包就是指有权访问另一个函数作用域中的变量的函数
这可以说是我们最常见的几种说法。
第一和第三种说法，我们把句子整合一下，就是说闭包是个函数

然后再来说说我们常看见的闭包

function func() {
    const a = 1;
    return () => a;
}
const oFunc = func();

我相信大多数人一开始见到的闭包都是这样
一个内部函数引用了外部函数作用域的变量，然后这个函数被保存函数外部。

作用域

首先说一句，闭包一定跟作用域有关。
作用域有块级作用域，函数作用域，全局作用域。
函数之所以能访问到外部作用域中的变量和函数，正是因为有作用域链的存在。

作用域是当前的执行上下文，值和表达式在其中“可见”或可被访问。如果一个变量或表达式不在当前的作用域中，那么它是不可用的。作用域也可以堆叠成层次结构，子作用域可以访问父作用域，反过来则不行。

一句话内层作用域能访问外层作用域的东西。

这跟一个东西有关。叫作用域链。

作用域链[[scope]]其实就是包含指针的列表，可以看作是一个数组，每个指针都指向一个变量对象。

这里的变量对象又牵扯到另一个东西叫做执行上下文。

执行上下文

执行上下文是动态的，当函数或程序执行时，会创建自己的执行上下文推入执行上下文栈中，执行上下文可以认为是代码的一个执行环境，所有代码都是在执行上下文环境中执行的。

JavaScript执行上下文有全局执行上下文，和函数执行上下文。

执行上下文有一个变量对象，全局执行上下文的变量对象叫做全局上下文对象，函数执行上下文的变量对象叫做活动对象。

当一个函数要执行时，会把它的执行上下文推入调用栈，调用栈始终执行栈顶的代码，当函数的代码执行完成后就会把函数的执行上下文弹出栈顶。因为js最开始是进入全局环境，所以调用栈的栈底是全局执行上下文。

变量对象在执行上下文中。

以下面的代码为例
我们来看看[[scope]]

function wrapper() {
    function inner() { }
}

inner执行时的作用域链
在这里插入图片描述
wrapper执行时的作用域链

从作用域链来看，外部函数的作用域链里没有内部函数的变量对象，自然访问不到内部函数的任何东西，这也是在情理之中。
上面wrapper执行时的作用域链也可以认为是inner定义时的作用域链。

前置知识已经了解。

那么什么是闭包呢？以下都是我的认为，不敢说百分百正确。

闭包

首先，闭包一定不是一个函数。我更喜欢说，它是内部函数访问其它函数作用域里变量或函数的一种现象。
首先说一下我在写这篇文章前一段时间对闭包的一个认识。

只要在函数内部用到了其它作用域的变量那么就会产生闭包。

这句话不能说他是错的，而且也是我认为最接近闭包的一个解释。
最具权威的就是mdn了。
我们直接上代码。

let g = 10;
function a() {
    let a1 = 10, a2 = 20, a3 = () => { }; // 外层函数作用域
    let yx = 10;

    {   // 块级作用域
        let block1 = 10;
        let block2 = 20
        (function (e) {
            g; // 用到了全局作用域里的变量
            a1; // 用到了a函数作用域的变量
            a2; // 用到了a函数作用域的变量
            a3(); // 用到了a函数作用域的函数
            block1; // 用到了块级作用域的变量
            block2; // 用到了块级作用域的变量
            console.dir(arguments.callee); // 打印函数本身的引用
        })(5);
    }
    // 函数并没有保存到外部 而是直接执行了
}
a();

控制台打印结果
在这里插入图片描述

我们看到一个很眼熟的东西Closure

闭包（closure）是一个函数以及其捆绑的周边环境状态的引用的组合

这不就是mdn上的一个解释吗？
我们看到它保存了内部函数引用到的外层函数作用域里的几个变量和函数,a1,a2,a3。
但它却没有包含yx。
很显然闭包只保存了用到的变量和函数，而且这些变量和函数所存在的作用域应该是函数作用域。
在打印结果中
块级作用域引用到的变量被保存在Block
全局作用域引用到的变量被保存在Script

其实这里我在想，Block和Script算不算是闭包的另一种表示。

闭包是什么呢？