词法作用域意味着函数从定义它们的作用域解析自由变量，而不是从它们被调用的作用域。

我喜欢@Arak这样的人提供的功能齐全、语言不可知的答案。由于这个问题被标记为JavaScript，所以我想插入一些与该语言非常相关的注释。

在JavaScript中，我们的作用域选择如下：

按原样（无范围调整）词法var_this=this；函数callback（）｛console.log（_this）；｝绑定回调.bind（this）

我认为值得注意的是，JavaScript并没有真正的动态范围。bind调整this关键字，这很接近，但在技术上并不相同。

下面是一个示例，演示了这两种方法。每次决定如何确定回调的范围时，都要这样做，因此这适用于承诺、事件处理程序等。

词汇

以下是JavaScript中回调的词法范围：

var downloadManager = {
  initialize: function() {
    var _this = this; // Set up `_this` for lexical access
    $('.downloadLink').on('click', function () {
      _this.startDownload();
    });
  },
  startDownload: function(){
    this.thinking = true;
    // Request the file from the server and bind more callbacks for when it returns success or failure
  }
  //...
};

跳跃

作用域的另一种方法是使用Function.prototype.bind：

var downloadManager = {
  initialize: function() {
    $('.downloadLink').on('click', function () {
      this.startDownload();
    }.bind(this)); // Create a function object bound to `this`
  }
//...

据我所知，这些方法在行为上是等效的。

词汇范围是指从执行堆栈中的当前位置可见的标识符（例如，变量、函数等）的词汇。

- global execution context
    - foo
    - bar
    - function1 execution context
        - foo2
        - bar2
        - function2 execution context
            - foo3
            - bar3

foo和bar总是在可用标识符的词典中，因为它们是全局的。

当执行function1时，它可以访问foo2、bar2、foo和bar的词典。

当执行function2时，它可以访问foo3、bar3、foo2、bar2、foo和bar的词典。

全局和/或外部函数无法访问内部函数标识符的原因是，该函数的执行尚未发生，因此，其标识符均未分配给内存。此外，一旦内部上下文执行，它就会从执行堆栈中删除，这意味着它的所有标识符都已被垃圾收集，不再可用。

最后，这就是为什么嵌套的执行上下文总是可以访问它的祖先执行上下文，因此它可以访问更大的标识符词典。

See:

https://tylermcginnis.com/ultimate-guide-to-execution-contexts-hoisting-scopes-and-closures-in-javascript/https://developer.mozilla.org/en-US/docs/Glossary/Identifier

特别感谢@robr3rd帮助简化上述定义。

词法范围：在函数外部声明的变量是全局变量，在JavaScript程序中随处可见。在函数内声明的变量具有函数范围，并且仅对该函数内出现的代码可见。

这是一个古老的问题，但这是我对它的看法。

词法（静态）范围是指源代码中变量的范围。

在JavaScript这样的语言中，函数可以被传递、附加和重新附加到其他对象，您可能会想到，这个范围将取决于当时调用该函数的人，但事实并非如此。以这种方式更改作用域将是动态作用域，而JavaScript不会这样做，除非可能使用此对象引用。

要说明这一点：

var a=“苹果”；函数doit（）{var a=“ardvark”；返回函数（）{警报（a）；}}var test=doit（）；测试（）；

在示例中，变量a是全局定义的，但在doit（）函数中隐藏。此函数返回另一个函数，如您所见，该函数依赖于自身范围之外的变量。

如果您运行这个，您会发现使用的值是aardwark，而不是apple，虽然它在test（）函数的范围内，但不在原始函数的词法范围内。也就是说，使用的范围是源代码中显示的范围，而不是实际使用函数的范围。

这一事实可能会产生令人讨厌的后果。例如，您可能会决定更容易单独组织函数，然后在时间到来时使用它们，例如在事件处理程序中：

var a=“苹果”，b=“香蕉”；函数init（）{var a=“ardvark”，b=“andicoot”；document.querySelector（'button#a'）.onclick=函数（事件）{警报（a）；}document.querySelector（'button#b'）.onclick=doB；}函数doB（事件）{警报（b）；}init（）；<button id=“a”>a</button><button id=“b”>b</button>

此代码示例分别执行其中一项。您可以看到，由于词法作用域，按钮A使用内部变量，而按钮B不使用。您可能最终嵌套的函数比您想要的更多。

顺便说一句，在这两个示例中，您还将注意到，即使包含函数函数已经运行，内部词汇范围内的变量仍然存在。这称为闭包，指的是嵌套函数对外部变量的访问，即使外部函数已经完成。JavaScript需要足够聪明，以确定这些变量是否不再需要，如果不需要，可以垃圾收集它们。

JavaScript中的词法作用域意味着在函数外部定义的变量可以在变量声明之后定义的另一个函数内部访问。但事实并非相反；在函数内部定义的变量在该函数外部无法访问。

这个概念在JavaScript中的闭包中大量使用。

假设我们有以下代码。

var x = 2;
var add = function() {
    var y = 1;
    return x + y;
};

现在，当您调用add（）-->时，这将打印3。

因此，add（）函数正在访问在方法函数add之前定义的全局变量x。这是由于JavaScript中的词法作用域而调用的。