从编译的角度来学作用域！

作用域是什么？

思维导图

编译原理

我们都认为js是一门动态语言，但是其实是一门编译语言，但是不是提前编译的，编译结果也不能在分布式系 统中进行移植

编译流程

传统编译语言的流程

程序中的一段源代码在执行之前会经历三个步骤，统称为“编译”。

分别是：分词/词法分析，解析/语法分析，代码生成。

1. 分词和词法分析：

词法单元：

将由字符组成的字符串分解成（对编程语言来说）有意义的代码块，这些代码块被称为词法单元。

分词和词法分析的主要差异：

主要差异在于词法单元的识别是通过有状态还是无状态的方式进行的主要差异在于词法单元的识别是通过有状态还是无状态的方式进行的。

2.解析/语法分析

将词法单元流转换为抽象的语法树。这个树叫做抽象语法树（AST）。

3.代码生成

将 AST 转换为可执行代码的过程称被称为代码生成

js编译发生的时间节点

JavaScript 的编译过程不是发生在构建之前的。大部分情况下编译发生在代码执行前的几微秒的时间内。在编译时，js引擎会尽力进行性能优化。

理解作用域

角色

引擎

从头到尾负责整个 JavaScript 程序的编译及执行过程。

编译器

负责语法分析及代码生成

作用域

负责收集并维护由所有声明的标识符（变量）组成的一系列查询，并实施一套非常严格的规则，确定当前执行的代码对这些标识符的访问权限。

var a = 2

其实var a = 2是执行了2个声明。分别在编译器和引擎中。

首先编译器会执行正常的编译，也就是词法分析，语法分析。在最后的代码生产中就会和作用域“交流”。对变量进行声明。

而a = 2 这个赋值操作就是在引擎运行时进行的，变量是通过作用域进行查找，如果最后没找到就会报错。

总结：变量的赋值操作会执行两个动作，首先编译器会在当前作用域中声明一个变量（如 果之前没有声明过），然后在运行时引擎会在作用域中查找该变量，如果能够找到就会对 它赋值。

LHS和RHS查询

引擎对变量的查找分为LHS和RHS2种。

LHS 查询则是试图 找到变量的容器本身，从而可以对其赋值。

RHS则是取到变量的源值。

LHS 和 RHS 的含义是“赋值操作的左侧或右侧”不是“=”

特别注意：函数声明

编译器可以在代码生成的同时处理声明和值的定义，比如在引擎执行代码时，并不会有线程专门用来将一个函数值“分配给” 一个变量。在编译器声明阶段函数就已经赋值了。

引擎和作用域的对话

1.小案例

image.png

2.小案例

image.png

作用域嵌套

作用域是像一个气泡一样，一个大气泡包裹一个小气泡，小气泡里面找不到的变量就会去大气泡里面找，逐级向上的查找。

当一个块或函数嵌套在另一个块或函数中时，就发生了作用域的嵌套。因此，在当前作用 域中无法找到某个变量时，引擎就会在外层嵌套的作用域中继续查找，直到找到该变量， 或抵达最外层的作用域（也就是全局作用域）为止。

遍历嵌套作用域链的规则

引擎从当前的执行作用域开始查找变量，如果找不到， 就向上一级继续查找。当抵达最外层的全局作用域时，无论找到还是没找到，查找过程都 会停止。

异常

RHS 查询，找不到就报错

RHS 查询在所有嵌套的作用域中遍寻不到所需的变量，引擎就会抛出 ReferenceError 异常。

LHS查询找不到就声明一个

当引擎执行 LHS 查询时，如果在顶层（全局作用域）中也无法找到目标变量， 全局作用域中就会创建一个具有该名称的变量，并将其返还给引擎（非严格模式），严格模式依然报错。

对变量乱操作

引擎会抛出另外一种类型的异常，叫作 TypeError。

undefined.xxx,var a = 3; a()这就是典型的滥用。

总结：

ReferenceError 同作用域判别失败相关，而 TypeError 则代表作用域判别成功了，但是对 结果的操作是非法或不合理的。

参考

你不知道的js（上），其实就是读书笔记，哈哈哈。