词法作用域

词法作用域就是定义在词法阶段的作用域。是由书写代码时函数声明的位置来决定的。编译的词法分析阶段基本能够知道全部标识符在哪里以及是如何声明的,从而能够预测在执行过程中如何对它们进行查找。

换句话说:词法作用域就是有你在写代码时将变量和块作用域写在哪里来决定的,因此当词法分析器处理代码时会保持作用域不变(大多数情况下是这样的)

无论函数在哪里调用,也无论它如何被调用,它的词法作用域都只由函数被声明时所处的位置决定。

词法作用域查找只会查找一级标识符,比如a、b和c。如果代码中引用了foo.bar.baz,词法作用域查找只会试图查找foo标识符,找到这个变量后,对象属性访问规则会分别阶段对bar和baz属性的访问。

欺骗词法

欺骗词法作用域会导致性能下降。

JavaScript中有两种机制来实现这个目的:eval()with

eval()

在严格模式中,eval() 在运行时有其自己的词法作用域,意味着其中的声明无法修改所在的作用域。

本质:对一段包含一个或多个声明的代码字符串进行演算,并借此来修改已经存在的词法作用域(在运行时)

with

本质:通过将一个对象的引用当作作用域处理,将对象的属性当作作用域中的标识符来处理,从而创建了一个新的词法作用域(在运行时)

这两个机制的副作用是引擎无法在编译时对作用域查找进行优化,因为引擎只能谨慎地认为这样的优化时无效的。使用这其中任何一个机制都将导致代码变慢,不要使用它们。