执行环境(Context)
运行环境在javacript中是极其重要的概念,每个函数在执行之时会创建执行环境,这有点类似进程和线程在活动之前要申请资源一样,函数的运行结果依赖于其执行环境。在下面的代码中,第一次调用printColor时,执行环境是基于window创建的,window.color是black;而第二次是基于o创建,o中的color是red。ps:this可以理解为当前执行环境。
var color="black";
var o = {
color:"red"
}
var printColor = function(){
alert(this.color);
}
printColor();//black
printColor.call(o);//red
作用域链(Scope Chain)
多个执行环境串成变量的作用域链,作用域链最临近的访问环境是当前代码的执行环境,最远访问环境是window全局环境。从最前面的执行环境到window,只要某个变量存在于其间,都可以访问,但是只会访问按序找到的第一个变量。在下面的代码中,changeColor执行完之后,其运行环境会被销毁,到了alert(color)这一行,作用域链上只剩一个window环境。
var color="black";
(function changeColor(){
var color="black";
color="red";//访问的是changeColor
//当前执行环境中的color(当前的作用域链上有两个执行环境:changeColor,window)
})();
alert(color);//black,访问的是window.color
有没有觉得它跟photoshop中的图层概念很相似?垂直位置上呈现的是最上方不为空像素的图案。
作用域链并不是新的概念,其他语言中基本都包含这一实现。在程序运行的整个周期中,有一个运行堆栈(和作用域链的实际含义一样)一直存在,每当程序进入一个新的环境中,则将此环境压入栈顶,当运行超出此环境则销毁它(注意,并不是销毁环境中的一切,环境中的引用对象如果被引用数大于0,则这种引用对象不能被销毁),此时运行环境又恢复到进入此环境之前的状态。对于汇编这是一种改进,汇编在进入一个新的调用时,需要保存当前的环境(保存现场),当跳出此调用时,又要恢复现场。而高级程序在进入调用前直接就将环境入栈,再以此栈为访问机制,实现对变量的有序访问。
不存在块级作用域(Block-Level Scope)
什么是Block-Level Scope?就是用大括号围起的代码会生成一个执行环境,比如在C中,if、for语句之后跟着的大括号代码块,在其中定义的局部变量在代码运行出这个范围之后会被销毁。而javascript中不存在块级作用域。很多人不习惯这种设定,因此这是一个巨大的争议点。
if (true)
{
var area_variable = "this is privacy";
}
alert(area_variable);//this is privacy
如果上面的代码是运行在window环境中的,area_variable就是个全局变量,直到退出window,它才会被销毁。很显然如果代码中存在大量这样的自以为是的块级,会带来不必要的开支。
如果这是必要的呢?可以用一个立即执行的匿名函数来包裹这种块级,函数必然会在作用链的前端压入一个新的执行环境。
(function(){
if (true)
{
var area_variable = "this is privacy";
alert(area_variable);//this is privacy
}
})();
alert(area_variable);//error: undefined;