据我理解，关键是Javascript具有函数级作用域，而不是更常见的C块作用域。

这是一篇关于这个主题的好文章。

我很喜欢接受的答案，但我想补充一点：

作用域收集并维护所有声明的标识符（变量）的查找列表，并对当前执行的代码如何访问这些标识符实施一组严格的规则。

作用域是一组按标识符名称查找变量的规则。

如果在直接作用域中找不到变量，引擎将继续查询下一个外部包含作用域，直到找到或到达最外部（即全局）作用域。是一组规则，用于确定在何处以及如何查找变量（标识符）。该查找可能用于分配变量，该变量是LHS（左侧）参考，也可能用于检索其值，该值是RHS（右侧）参考。LHS引用源于赋值操作。与作用域相关的赋值可以使用=运算符进行，也可以通过将参数传递给（赋值给）函数参数进行。JavaScript引擎在执行代码之前首先编译代码，在这样做的过程中，它会拆分像vara=2这样的语句；分为两个单独的步骤：第一步。首先，var a在该范围中声明它。这是在代码执行之前开始执行的。第二。稍后，a=2查找变量（LHS引用），如果找到，则将其赋值。LHS和RHS引用查找都从当前执行的作用域开始，如果需要的话（也就是说，它们找不到它们在那里寻找的对象），它们会在嵌套作用域中一次一个作用域（层）查找标识符，直到它们到达全局（顶层）并停止，然后要么找到，要么不找到。未完成的RHS引用导致引发ReferenceError。未完成的LHS引用将导致该名称的自动隐式创建的全局（如果不在严格模式下），或ReferenceError（如果在严格模式中）。作用域由一系列“气泡”组成，每个气泡充当容器或桶，其中声明了标识符（变量、函数）。这些气泡整齐地嵌套在彼此内部，这种嵌套是在作者时定义的。

JavaScript中有两种类型的作用域。

全局范围：在全局范围中宣布的变量可以在程序中的任何地方非常流畅地使用。例如：var carName=“BMW”；//这里的代码可以使用carName函数myFunction（）{//这里的代码可以使用carName}函数作用域或局部作用域：在此作用域中声明的变量只能在其自身的函数中使用。例如：//这里的代码不能使用carName函数myFunction（）{var carName=“BMW”；//这里的代码可以使用carName}

JavaScript只有两种类型的作用域：

全局作用域：全局只是一个窗口级作用域。在这里，整个应用程序中都存在变量。Functional Scope：在带有var关键字的函数中声明的变量具有函数作用域。

每当调用一个函数时，就会创建一个变量范围对象（并包含在范围链中），然后是JavaScript中的变量。

        a = "global";
         function outer(){ 
              b = "local";
              console.log(a+b); //"globallocal"
         }
outer();

作用域链-->

窗口级别-a和外部函数位于范围链的顶层。当外部函数调用一个新的变量作用域对象（并包含在作用域链中）时，在其内部添加了变量b。

现在，当一个变量a需要时，它首先搜索最近的变量范围，如果变量不在，则将其移动到变量范围链的下一个对象。在这种情况下，这是窗口级别。

为了补充其他答案，范围是所有声明的标识符（变量）的查找列表，并强制执行一组严格的规则，以确定当前执行的代码如何访问这些标识符。该查找可能用于分配变量，该变量是LHS（左侧）引用，也可能用于检索其值，该值是RHS（右侧）引用。这些查找是JavaScript引擎在编译和执行代码时在内部执行的操作。

因此，从这个角度来看，我认为我在凯尔·辛普森（Kyle Simpson）的《范围与关闭》（Scopes and Closures）电子书中找到的一张图片会有所帮助：

引用他的电子书：

该构建表示程序的嵌套范围规则集。第一个建筑物的楼层代表您当前执行的范围，无论你在哪里。建筑的顶层是全球范围。通过查看当前楼层来解析LHS和RHS参考，如果你找不到，就乘电梯到下一层，看那里，然后看下一个，以此类推。一旦你到达顶层（全球范围），你要么找到你想要的，要么不要。但你必须停止不管。

值得一提的是，“范围查找一旦找到第一个匹配项就停止”。

“作用域级别”的概念解释了如果在嵌套函数中查找“This”，为什么可以使用新创建的作用域来更改“This”。这里有一个链接，介绍了所有这些细节，您想了解的关于javascript范围的一切

几乎只有两种类型的JavaScript作用域：

每个var声明的范围都与最直接的封闭函数相关联如果var声明没有封闭函数，则为全局范围

因此，除函数之外的任何块都不会创建新的作用域。这解释了for循环覆盖外部范围变量的原因：

var i = 10, v = 10;
for (var i = 0; i < 5; i++) { var v = 5; }
console.log(i, v);
// output 5 5

改用函数：

var i = 10, v = 10;
$.each([0, 1, 2, 3, 4], function(i) { var v = 5; });
console.log(i,v);
// output 10 10

在第一个示例中，没有块范围，因此最初声明的变量被覆盖。在第二个示例中，由于函数的原因，出现了一个新的作用域，因此最初声明的变量是SHADOWED，而不是重写。

就JavaScript范围而言，这几乎是您需要了解的全部内容，除了：

try/catch仅为异常变量本身引入新范围，其他变量没有新范围with子句显然是另一个例外，但不鼓励使用with子句(https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Statements/with)

因此，您可以看到JavaScript作用域实际上非常简单，尽管并不总是直观的。需要注意的几点：

var声明被提到了范围的顶端。这意味着无论var声明发生在哪里，对于编译器来说，就像var本身发生在顶部一样同一范围内的多个var声明组合在一起

因此，此代码：

var i = 1;
function abc() {
  i = 2;
  var i = 3;
}
console.log(i);     // outputs 1

相当于：

var i = 1;
function abc() {
  var i;     // var declaration moved to the top of the scope
  i = 2;
  i = 3;     // the assignment stays where it is
}
console.log(i);

这似乎与直觉相悖，但从命令式语言设计者的角度来看，这是有道理的。