JavaScript 作用域的问题

我就是我 2022-01-07 10:33 181阅读 0赞

*  作用域是什么：作用域是一套设计良好来存储变量的规则，并且之后可以方便的找到这些变量。
 *  编译原理：尽管通常将 JavaScript 归类为 动态 或者 解释执行 语言，但实际上它是一门编译语言。因此， JavaScript 引擎进行编译的步骤和传统的编译语言非常相似，在传统的编译语言中，程序中的一段源代码会在执行之前经历三个步骤，统称为编译。  
    2.1 分词/词法分析（tokening/lexing）：这个过程会将由字符组成的字符串分解成对编程语言来说有意义的代码块，这些代码块被称为词法单元。  
    2.2 解析/语法分析（parsing）：将词法单元流转换成一个由元素逐级嵌套所组成的代表了程序语结构的树，也就是抽象语法树（Abstract Syntax Tree，AST）。  
    2.3 代码生成：将 AST 转换成为可执行代码的过程称为代码生成。  
    对于JavaScript 来说，大部分情况下编译发生在代码执行前的几微秒（甚至更短）的时间内。从编译到执行代码，会经历以下阶段：  
    编译器：负责语法分析及代码生成等脏活累活  
    作用域：编译过程中负责收集并维护由所有声明的标识符（变量），确认代码执行时的访问权限。  
    引擎：负责程序的编译和执行
 *  我们将对 var a = 2; 进行分解，看看他们是如何工作的。  
    1. 遇到 var a ，编译器会询问作用域是否已经有一个该名称的变量存在于同一个作用域的集合中，如果存在则忽略该声明继续编译；否则它要求作用域在当前作用域的集合中声明一个新的变量，并命名为 a。  
    2. 接下来编译器会为引擎生成执行时所需的代码，用来处理 a = 2 这个赋值操作。引擎会继续询问作用域在当前集合中是否存在一个叫 a 的变量，如果存在引擎会使用这个变量，如果不存在引擎会继续向上查找该变量。如果最终找到就执行赋值操作，没找到就抛出异常。  
    在查找变量的过程中，又分为 LHS（个人理解：变量赋值称为 LHS） 和 RHS （个人理解：查询变量源值称为 RHS），例如：

function bar(a) {
    	console.log(a);
    }
    bar(2); // 2
    /*
    执行的过程中，首先对 bar 在当前作用域进行 RHS 查找，看 bar 是个啥，然后对 a 进行 LHS
    也就是 a = 2 赋值，接下来对 console 进行 RHS，看看 console 是个啥，发现 console 是个内置对象并有有一个叫做 log 的函数，函数要打印 a，这时又会对 a 进行 RHS 查找看看 a 是啥。
    */

*  为什么要区分 LHS 和 RHS ？  
    因为变量还有有声明的情况下，这两种变量查询是不一样的。如果 RHS 查询不到所需的变量，引擎就会抛出 ReferenceError。而如果 LHS 查询不到就会在全局作用域中创建一个新的该变量（非严格模式下，严格模式下抛出 ReferenceError）。如果 RHS 查询到了该变量，但是你准备对该变量进行不合理的赋值操作，如 对非函数进行函数调用，则会抛出 TypeError。  
    ReferenceError 同作用域的判别失败有关，说明没有该变量；而 TypeError 表示查询到该变量，但是对该变量的操作是非法或者不合理的。