JavaScript(6) 作用域和内存

执行环境（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;