如何理解JavaScript中的词法作用域与动态作用域？-js教程-PHP中文网

如何理解JavaScript中的词法作用域与动态作用域？

幻影之瞳

发布： 2025-10-06 14:32:01

原创

388人浏览过

JavaScript使用词法作用域，函数作用域在定义时确定，基于代码结构决定变量访问权限。例如，内部函数可访问外部函数变量，无论何处调用都沿定义时的作用域链查找。动态作用域则按调用位置决定变量值，而JavaScript不采用此方式。如let x = "global"; function bar() { console.log(x); } function foo() { let x = "local"; bar(); } foo();输出"global"，因bar在全局定义，绑定全局x。词法作用域使代码更可预测，支持闭包机制，如createCounter返回的函数始终访问其定义环境中的count变量。关键区别：词法作用域看函数定义位置，动态作用域看调用位置。JavaScript选择词法作用域以确保变量查找机制稳定可靠。

如何理解javascript中的词法作用域与动态作用域？

JavaScript使用的是词法作用域（也叫静态作用域），而不是动态作用域。理解这两者的区别，有助于掌握函数如何查找变量的机制。

词法作用域：定义时决定作用域

词法作用域的意思是，函数的作用域在它被定义的时候就已经确定了，基于代码的结构（即“写在哪里”）来决定变量的访问权限。

举个例子：

<font>function outer() {
    let x = 10;
    function inner() {
        console.log(x); // 能访问到 outer 中的 x
    }
    inner();
}
outer(); // 输出 10</font>

登录后复制

在这里，inner 函数是在 outer 内部定义的，因此它可以访问 outer 的变量。这种关系在代码编写时就固定了，不管 inner 如何被调用，它的作用域链不会变。

再看一个更典型的例子：

奇域

奇域是一个专注于中式美学的国风AI绘画创作平台

查看详情

<font>let x = "global";

function foo() {
    let x = "local";
    function bar() {
        console.log(x);
    }
    bar();
}

foo(); // 输出 "local"</font>

登录后复制

尽管 bar 是在 foo 内部定义并调用的，但关键点在于它是在 foo 内部定义的，所以它会沿着词法环境向上找，找到的是 foo 中的 x，而不是全局的 x。这体现了词法作用域的核心：看函数在代码中“写在哪里”，而不是“怎么被调用”。

动态作用域：调用时决定作用域

动态作用域则完全不同。它不关心函数定义的位置，而是根据函数“在哪里被调用”来决定变量的查找路径。也就是说，变量的值取决于运行时的调用栈。

JavaScript 并不使用动态作用域，但可以通过对比加深理解。假设 JavaScript 支持动态作用域：

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

<font>let x = "global";

function bar() {
    console.log(x);
}

function foo() {
    let x = "local";
    bar();
}

foo(); // 假如是动态作用域，这里会输出 "local"</font>

登录后复制

但在实际中，JavaScript 是词法作用域，bar 定义在全局，只能访问全局的 x，所以输出的是 "global"。动态作用域会在执行 bar 时查看“是谁调用了我”，然后从调用者的环境中找变量，而词法作用域只看“你定义在哪里”。

为什么 JavaScript 选择词法作用域？

词法作用域让代码更可预测、更容易分析。开发者可以在不运行代码的情况下，通过阅读代码结构判断变量的来源。这也是闭包能够稳定工作的基础。

比如：

<font>function createCounter() {
    let count = 0;
    return function() {
        count++;
        return count;
    };
}

const counter = createCounter();
console.log(counter()); // 1
console.log(counter()); // 2</font>

登录后复制

内部函数始终能访问 createCounter 中的 count，因为它是词法上封闭的。这种行为是可靠的，不会因为调用方式改变而失效。