作用域

作用域分类:

  • 全局作用域 (整个JS运行环境,最顶层作用域,其声明的函数、变量等都是全局的)
  • 函数作用域 (函数执行时会创建作用域)
  • 块级作用域 ({ }大括号在 let、const关键字特性产生的作用域)

JS属于编译语言,逐行执行;编译的过程分为三部分:

  • 分词/词法分析。
  • 解析/把词法分析转换成AST(抽象语法树)。
  • 代码生成/把AST转成可执行代码。

示例:

var a = 1;

编译过程:

  • 分成var a、a=1;两部分进行分析。
  • 查看当前作用域是否有a,如果有就忽略,如果没有就创建变量a。
    (var、function声明的变量会在当前作用域下进行变量提升)
  • 赋值操作,首先查看当前作用域下是否有变量a,要是不存在变量a就会报错,要是存在进行赋值;其次如果是作用域嵌套的情况,当前作用域下不存在变量a,就会向外层作用域查找,直到全局作用域,如果不存在变量a就会报错。

执行过程:

  • 执行var a语句进行查找a变量,这个过程叫做LHS(左侧为查找目标)。
  • 执行a = 1赋值操作,过程叫做RHS(右侧为目标查找的目的)。
  • 进行RHS必然会进行LHS。

注意:取值和赋值都是RHS,变量声明和形参是LHS;RHS和LHS发生在执行过程中。

示例:

function foo(a) {
    var b = a;
    return a + b
}
var c = foo(2)

3处LHS查询:

  • var c 声明
  • var b 声明
  • 形参 a 声明

4处RHS查询:

  • foo(2) 取值foo并执行
  • var b = a语句,取值a
  • a + b语句,取值a
  • a + b语句,取值b

作用域嵌套:

作用域嵌套下变量的查找规则:

作用域嵌套查找变量的特点:

变量提升对LHS的影响:

  • 变量提升发生在编译过程,一个没有用var声明的变量不会进行变量提升,在该变量之前进行RHS,会报ReferenceError异常is not defined。
  • 用var声明的变量会进行变量提升,提升到当前作用域的最顶部,其值是undefined,因此在变量前进行取值不会报错。
  • 非严格模式下对没有用var关键字声明的变量语句之前进行RHS,报ReferenceError异常。如果是之后进行RHS,会先进行LHS,如果当前作用域还是全局作用域下都没有找到,会自动创建一个全局变量并返回,严格模式下LHR查询失败时,并不会创建一个全局变量并返回,报ReferenceError异常。

变量的访问权限问题:

  • 块级作用域里的变量外层作用域是无法访问,变量是指由let,const。
  • 函数的形参和变量,内部函数是外层作用域无法访问,属于局部变量。变量是指由let,const,var,function声明的。

部分参考:

《你不知道的JavaScript》

08-09 02:24