在高性能下的javascript,对于其作用域的理解是解释和构建性能的关键,理解作用域机理过程明晓函数对象实例的搜索执行,哪一步的漫长是低效的。
对于一个对象,我们定义了我们可以访问的属性,但同时他自身动态存在着一些保存上下文的属性,以供内部引擎进行调用。
在javascript中以[[scope]]这样一个内部属性以供javascript引擎进行访问,[[scope]]中存放的一个函数对象作用域的对象集合,此集合称为作用域链,代表着函数作用域可访问数据。函数的创建以形成了在作用域链中的全局对象,即window,this,document等对象。
在函数运行(函数被调用时)其作用域链的功能才得以呈现,运行时会产生一个运行时上下文(context),也就是函数运行环境的描述,这个在几乎所有框架中都所存在,该context是针对每一次运行都会创建的,一次运行产生一次。
from 高性能javascript:
借此图阐述,函数运行时作用域链的形成,context的创建具有本身的scope chain(作用域链),在创建init时,它就会把要执行的函数的scope chain copy到自己的scope chain中,copy的是exec函数的scope chain中的对象,copy完成同时触发“激活对象”会被推送到scope chain的前端,此activation object包含this以及参数集合、局部变量。
在函数运行过程中,每遇到一个变量,标识符识别过程要决定从哪里获得或者存储数据。此过程搜索运行期上下文的作用域链,查找同名的标识符。搜索工作从运行函数的激活目标之作用域链的前端开始。如果找到了,那么就使用这个具有指定标识符的变量;如果没找到,搜索工作将进入作用域链的下一个对象。此过程持续运行,直到标识符被找到,或者没有更多对象可用于搜索,这种情况下标识符将被认为是未定义的。函数运行时每个标识符都要经过这样的搜索过程,例如前面的例子中,函数访问sum,num1,num2时都会产生这样的搜索过程。正是这种搜索过程影响了性能。
在运行期上下文的作用域链中,一个标识符所处的位置越深,它的读写速度就越慢。所以,函数中局部变量的访问速度总是最快的,而全局变量通常是最慢的(优化的JavaScript 引擎在某些情况下可以改变这种状况)。请记住,全局变量总是处于运行期上下文作用域链的最后一个位置,所以总是最远才能触及的。
所以首先我们性能优化的第一原则可以是:用局部变量存储本地范围之外的变量值,如果它们在函数中的使用多于一次。
举例来自高性能javascript:
优化前:
function initUI(){
var bd = document.body,
links = document.getElementsByTagName_r("a"),
i = 0,
len = links.length;
while(i < len){
update(links[i++]);
}
document.getElementById("go-btn").onclick = function(){
start();
};
bd.className = "active";
}
优化后:
function initUI(){
var doc = document,
bd = doc.body,
links = doc.getElementsByTagName_r("a"),
Download at www.Pin5i.Com
i = 0,
len = links.length;
while(i < len){
update(links[i++]);
}
doc.getElementById("go-btn").onclick = function(){
start();
};
bd.className = "active";
}
因为数量的原因,简单的函数不会显示出巨大的性改进,在大量使用全局变量时,的确是可观的改进。
一般来说,一个运行期上下文的作用域链不会被改变。但是,有两种表达式可以在运行时临时改变运行期上下文作用域链。第一个是with 表达式。
function initUI(){
with (document){ //avoid!
var bd = body,
links = getElementsByTagName_r("a"),
i = 0,
len = links.length;
while(i < len){
update(links[i++]);
}
getElementById("go-btn").onclick = function(){
start();
};
bd.className = "active";
}
}
当代码流执行到一个with 表达式时,运行期上下文的作用域链被临时改变了。一个新的可变对象将被创建,它包含指定对象的所有属性。此对象被插入到作用域链的前端,意味着现在函数的所有局部变量都被推入第二个作用域链对象中,所以访问代价更高了。
在JavaScript 中不只是with 表达式人为地改变运行期上下文的作用域链,try-catch 表达式的catch 子句具有相同效果。当try 块发生错误时,程序流程自动转入catch 块,并将异常对象推入作用域链前端的一个可变对象中。在catch 块中,函数的所有局部变量现在被放在第二个作用域链对象中。