作用域的两种工作模型
词法作用域(大多数编程语言采用)、动态作用域
词法作用域
词法作用域是定义在词法阶段的作用域,由写代码时将变量和块作用域写在哪里决定。
查找
作用域的结构和相互之间的位置,为引擎查找提供了足够的位置信息。引擎会从当前作用域开始查找,找到第一个匹配的标识符停止。在多层嵌套的的作用域中可以定义同名的标识符,这叫做“遮蔽效应”(内部标识符遮蔽外部)。
全局变量会自动成为全局对象的属性,因此访问全局变量可以不直接通过变量的词法名称,而间接的通过对全局对象属性的引用来进行访问。通过这种办法可以访问到被遮蔽的全局变量,但是非全局变量被遮蔽了是访问不到的。
无论函数在哪被调用,如何被调用,它的词法作用域只由函数声明时所处的位置决定。
词法作用域只会查找一级标识符。
比如a、b和c。如果代码中引用了foo.bar.baz,词法作用域查找只会试图查找foo标识符,找到这个变量后,对象属性访问规则会分别接管对bar和baz属性的访问。
欺骗词法
欺骗词法作用域会导致性能下降
常见的欺骗操作:eval()函数(接收一个字符串为参数,好像代码本来就写在那里一样,可以动态插入代码),with关键字(将一个没有或有多个属性的对象处理为一个隔离的词法作用域,其属性为该作用域里的词法标识符)。
ps:欺骗词法会导致js编译阶段的优化失败,导致运行速度变慢,因此不要欺骗词法作用域。