作用域是什么？
思维导图
<img src=”https://p3-juejin.byteimg.com/tos-cn-i-k3u1fbpfcp/f7ebd0a01c80478d867342680db67c84~tplv-k3u1fbpfcp-zoom-1.image” alt=”” width=”100%” />
编译原理
咱们都认为 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. 小案例
2. 小案例
作用域嵌套
作用域是像一个气泡一样，一个大气泡包裹一个小气泡，小气泡外面找不到的变量就会去大气泡外面找，逐级向上的查找。
当一个块或函数嵌套在另一个块或函数中时，就产生了作用域的嵌套。因而，在以后作用 域中无奈找到某个变量时，引擎就会在外层嵌套的作用域中持续查找，直到找到该变量，或到达最外层的作用域（也就是全局作用域）为止。
遍历嵌套作用域链的规定
引擎从以后的执行作用域开始查找变量，如果找不到，就向上一级持续查找。当到达最外层的全局作用域时，无论找到还是没找到，查找过程都 会进行。
异样
RHS 查问，找不到就报错
RHS 查问在所有嵌套的作用域中遍寻不到所需的变量，引擎就会抛出 ReferenceError 异样。
LHS 查问找不到就申明一个
当引擎执行 LHS 查问时，如果在顶层（全局作用域）中也无奈找到指标变量，全局作用域中就会创立一个具备该名称的变量，并将其返还给引擎（非严格模式），严格模式仍然报错。
对变量乱操作
引擎会抛出另外一种类型的异样，叫作 TypeError。
undefined.xxx,var a = 3; a()这就是典型的滥用。
总结：
ReferenceError 同作用域判断失败相干，而 TypeError 则代表作用域判断胜利了，然而对 后果的操作是非法或不合理的。
参考
你不晓得的 js（上），其实就是读书笔记，哈哈哈。