原文: https://2ality.com/2019/07/global-scope.html

翻译: 刘小夕

在这篇博文中，我们将研究 JavaScript 的全局变量是如何工作的。如： scripts的范围，所谓的全局对象等等。

1.作用域

变量的词法作用域(简称：作用域)是可以访问它的程序的区域。 JavaScript 的作用域是静态的(它们在运行时不会改变)并且它们可以嵌套 - 例如：

function func() { // (A)

const foo = 1;

if (true) { // (B)

const bar = 2;

}

}

if 语句引入的作用域(行B)嵌套在函数 func()(行A)的作用域内。

在示例中， func 是 if 的外层作用域。

2.词法作用域

在 JavaScript 语言规范中，作用域是通过词法作用域“实现”的。它们由两部分组成：

• 将变量名映射到变量值的环境记录(可以想象成是字典)。这是 JavaScript 存储变量的地方。环境记录中的一个 key-value 条目称为绑定。

• 对外部环境的引用 - 表示当前环境所代表的作用域的外部作用域的环境。

因此，嵌套作用域树可以由嵌套环境树表示。

3.全局对象

全局对象是一个对象，其属性是全局变量。

• 无处不在： globalThis

• 全局对象的其他名称取决于平台和语言构造：

  • window：是引用全局对象的经典方式，但它只适用于普通浏览器环境; 不在 Node.js 和 WebWorkers 中。

  • self：在浏览器中随处可用，包括 WebWorkers。但是 Node.js 不支持它。

  • global：仅在 Node.js 中可用。

全局对象包含所有内置全局变量。

4.全局环境

全局作用域是“最外层”作用域 - 它没有外部作用域。它的环境是全局环境。每个环境都通过由外部引用链接的一系列环境与全局环境相关联。全局环境的外部引用为 null。

全局环境结合了两个环境记录：

• 对象式环境记录，其作用类似于普通环境记录，但保持其绑定与对象同步。在这种情况下，对象是全局对象。

• 声明式环境记录。

下图显示了这些数据结构。

接下来的两个小节将解释如何组合对象记录和声明式记录。

4.1创建变量

为了创建一个真正全局的变量，你必须处于全局作用域内 - 必须要在 scripts 的顶层：

• 顶级 const， let 和 class 在声明式环境记录中创建绑定。

• 顶级 var 和函数声明在对象式环境记录中创建绑定。

<script>

const one = 1;

var two = 2;

script>

<script>

// All scripts share the same top-level scope:

console.log(one); // 1

console.log(two); // 2

// Not all declarations create properties of the global object:

console.log(window.one); // undefined

console.log(window.two); // 2

script>

此外，全局对象包含所有内置全局变量，并通过对象式记录将它们给全局环境。

4.2读取/设置变量

当我们获取或设置变量并且两个环境记录都具有该变量的绑定时，声明式环境记录将获胜：

<script>

let foo = 1; // 声明式环境记录

globalThis.foo = 2; // 对象式环境记录

console.log(foo); // 1 (声明式记录获胜)

console.log(globalThis.foo); // 2

script>

5.模块环境

每个模块都有自己的环境，它存储所有顶级声明 - 包括导入。模块环境的外部环境是全局环境。

结论：为什么JavaScript既有全局变量又有全局对象？

通常认为将全局变量挂载到全局对象上是错误的。因此，较新的构造(如 const， let 和 classes)会创建正常的全局变量，不会成为全局对象的属性。(在 script作用域内时)。

值得庆幸的是，大多数用现代 JavaScript 编写的代码都存在于 ECMAScript 模块和 CommonJS模块中，每个模块都有自己的作用域。