第二部分:词法作用域
- 词法阶段
- 欺骗词法(两个机制:eval(…)和with)
- 性能
- 小结
词法阶段
词法作用域是定义在词法阶段的作用域。
- 作用域查找在找到第一个匹配的标识符时停止。—》遮蔽效应
- 全局变量会自动成为全局对象(eg:浏览器中的window对象)的属性。因此,可以不直接通过全局对象的词法名称,而是间接地通过对全局对象属性的引用来对其访问。//window.a
- 通过这种技术可以访问那些被同名变量遮蔽的全局变量。但非全局变量如果被遮蔽了,无论如何都无法被访问到。
- 词法作用域只会找一级标识符。
欺骗词法:
欺骗词法的两个机制:
- eval(…)
- with
1) eval(…)
- 该函数可以接受一个字符串为参数,并将其中的内容视为好像在书写时就存在于程序中这个位置的代码(可以在你写的代码中用程序生成代码并执行,就好像是写在那个位置一样)
- 如果eval()中所执行的代码包含一个或者多个声明(无论是变量还是函数),就会对eval()所处的词法作用域进行修改。
function foo(str,a){
eval(str);//欺骗
console.log(a,b);
}
var b = 2;
foo("var b = 3;",1)
//结果是1,3
- 在严格模式的程序中,eval(…)在运行时有其自己的词法作用域,意味着其中的声明无法修改所在的作用域。
function foo(str){
"use strict";
eval(str);
console.log(a); // ReferenceError : a is not defined
}
foo("var a = 2;");
- js中还有其他一些功能效果和eval相似,setTimeout(…)和setInterval(…)的第一个参数可以是字符串,字符串的内容可以被解释为一段动态生成的函数代码。//这些功能已经过时并且不被提倡,不要使用它们!
- new Function(…)函数的行为也很类似,最后一个参数可以接受代码字符串,并将其转换为动态生成的函数(前面的参数是这个新生成的函数的形参)。这狗构建函数的语法比eval略微安全一些,但也要尽量避免使用。
2)with
- 通常被当作重复引用同一个对象中的多个属性的 快捷方式,可以不用重复引用对象本身。
- 通过讲一个对象的引用当作当前作用域来处理,从而创建一个新的词法作用域
var obj = {
a:1,
b:2,
c:3
};
//单调乏味的重复"obj"
obj.a=2;
obj.b=3;
obj.c=4;
//简单的快捷方式
with(obj){
a=3;
b=4;
c=5;
}
但实际上这不仅仅是为了方便地访问对象属性。如:
function foo(obj){
with(obj){
a=2;
}
}
var o1 = {
a:3
};
var o2 = {
b:3
};
//①
foo(o1);
console.log(o1.a) //2
//②
foo(o2);
console.log(o2.a); //undefined;
console.log(a); //2 a被泄露到全局作用域上了!
- 在with块内部,看起来只是对a进行简单的词法引用,实际上就是一个LHS引用。
- ①代码块很容易理解:将o1传递进去,a=2赋值操作找到了o1.a,并将2赋值给它。
- ②代码块 第一个输出语句:当o2传递进去,o2并没有a属性,因此不会创建这个属性,o2.a保持undefined。
- ②代码块 第二个输出语句:将o2作为作用域时,其中并没有a标识符,因此进行了正常的LHS标识符查找。foo和全局作用域都没有找到标识符a,当a=2执行时,自动创建了一个全局变量(因为是费严格模式,严格模式下会报错。)
- with这种将对象及其属性放进一个作用域并同时分配标识符的行为很让人费解……但这就是我们所看到的现象。
性能
- eval(……)和with会在运行时修改或创建新的作用域,以此来欺骗其他在书写时定义的词法作用域。
- js引擎会在编译阶段进行数项的性能优化。
- 其中有些优化依赖于能够根据代码的词法进行静态分析,并预先确定所有变量和函数的定义位置,才能在执行过程中快速找到标识符。
- 但如果引擎在代码中发现了eval(……)和with,它只能简单地假设关于标识符位置的判断都是无效的。因为无法在词法分析阶段明确知道eval(……)会接收什么diamante,这些代码会如何对作用域进行修改,也无法知道传递给with用来创建新的词法作用域的对象的内容到底是什么。出现了eval(……)和with,所有的优化都是无意义的,因此,最简单的做法是完全不做任何优化。大量的使用eval(……)和with,运行起来一定会变得非常慢。
小结
- 词法作用域意味着作用域是由书写代码时函数声明的位置来决定的。
- 编译的词法分析阶段基本能够知道全部标识符住哪里,如何声明。
- 欺骗词法作用域会导致新能下降,js引擎在编译时对作用域进行优化,因为引擎只能谨慎地认为这样的优化是无效的。任何一个欺骗词法机制都将导致代码运行变慢。不要使用他们。
- 另一个不推荐使用eval(…)和with的原因是会被严格模式所影响(限制)。with被完全禁止,在保留核心功能的前提下,间接或非安全地使用eval(…)也被禁止了。
- 关于欺骗此法对性能的影响,如今的浏览器大都做了优化:
在旧的浏览器中如果你使用了eval,性能会下降10倍。
在现代浏览器中有两种编译模式:fast path和slow path。fast path是编译那些稳定和可预测(stable and predictable)的代码。
它由2个能够将源代码直接转换成计算机代码的编译器组成。
Full-codegen:输出非优化代码的快速编译器。
Crankshaft:输出快速,优化代码的慢速编译器。
如果Crankshaft认为由Full-codegen产生的不够优化的代码需要优化,它将会取而代之,这就是“crankshafting”流程。