如何理解javascript词法作用域_闭包怎样形成？

词法作用域是闭包形成的底层前提，即函数定义时就确定其可访问的变量范围；闭包是嵌套函数引用外层变量并逃逸出其作用域后，因outer指针保持对外层词法环境的引用而自然形成的现象。

词法作用域是闭包形成的底层前提，不是运行时决定的，而是写代码时函数放在哪、嵌套在哪，就“锁定”了它能访问哪些变量。闭包不是刻意造出来的，是词法作用域 + 函数作为值被返回或传递时自然发生的现象。

词法作用域：定义时就定死的作用域范围

JavaScript 的作用域在函数声明那一刻就确定了，跟它后来在哪被调用完全无关。比如一个函数在全局定义，它的 outer 指针就指向全局词法环境；如果它定义在另一个函数内部，outer 就指向那个外层函数的词法环境。

这和“动态作用域”（比如某些 shell 脚本）完全不同——后者看的是调用链，而 JS 看的是代码结构本身。

• 函数里访问变量，先查自己词法环境（let/const）和变量环境（var）
• 找不到，就顺着 outer 指针往上找，一级一级直到全局
• 这个查找路径就是作用域链，它由 outer 指针串联而成，不是靠调用栈决定的

闭包形成：内部函数“带走”了外层变量的引用

当一个函数内部定义了另一个函数，并且这个内部函数引用了外部函数的局部变量（比如 let 声明的 count），同时这个内部函数以某种方式逃出了外部函数的作用域（比如作为返回值、赋给全局变量、传给 setTimeout），那么闭包就形成了。

立即学习“Java免费学习笔记（深入）”；

关键点在于：外部函数执行完后，它的执行上下文本该被销毁，但因为内部函数还“抓着”它的词法环境（通过 outer），JS 引擎就不会回收那些变量——它们被“活捉”住了。

标签： javascript java js 栈 作用域