作用域及作用域链
-
@ 作用域是根据名称查找变量的一套规则。
-
@ js一般来说，只有两种作用域，一种是全局作用域，一种是函数作用域
- 聊到js的
作用域，就不得不聊到js中的作用域链。作用域链的用途是：保证对执行环境有权访问的所有变量和函数的有序访问，本质是一个指向变量对象的指针列表，那是什么又是变量对象？
- 这里要引入一个极为重要的概念：执行环境（execution context）也称 执行上下文
执行环境定义了变量或函数有权访问的其他数据，每个执行环境都有一个与之关联的变量对象，环境中定义的所有变量和函数都保存在这个对象中。
执行上下文的生命周期可分为两个阶段
- 创建阶段
在这个阶段中，执行上下文会分别创建变量对象，建立作用域链，以及确定this的指向
（这也是变量提升的原理）- 代码执行阶段
创建完成之后，就会开始执行代码，在这个阶段里，会完成变量赋值，函数引用，以及执行其他代码。执行阶段时，变量对象转成活动对象
- 上面说了，js中的两种执行环境，一种是全局执行环境，一种是函数执行环境，每个函数都有自己的执行环境，和一个关联的变量对象（局部环境中的变量对象只会在函数执行的过程中存在，而全局变量对象始终存在），创建函数时，会创建一个预先包含全局变量对象的作用域链，保存在函数的一个内部属性[[scope]]中，当某个函数第一次被调用时，会创建一个执行环境，通过复制函数的[[scope]]属性中的对象构建起执行环境的作用域链，然后又有一个活动对象（充当变量对象使用）被创建并被推进执行环境作用域链的前端。
如下面的一个例子：
function add(){
....
}
add()
对于嵌套函数还有闭包而言，内部函数的作用域链就是这样是通过复制上一层函数的作用域链来构建的，然后，用this，arguments和其他命名参数的值来初始化函数的活动对象，然后把这个对象推至当前执行环境的作用域链的前端，这样这条函数作用域链就包含了自己本地的活动对象，上一层函数的变量对象，一直向上到全局环境的变量对象
这也解释了闭包的原理，闭包是指有权访问另一个函数作用域中的变量的函数，在一个函数内部创建另一个函数是创建闭包的常见方式。函数内部可以访问包含函数的变量。（因为会沿着作用域链去查找变量，如果在当前函数的活动对象中没有查到值，就会向上级函数的活动对象去查，直到查到全局变量对象）
然而作用域链的存在也会导致闭包内存泄露的问题
function CreateCompare( propertyName){
return function(o1,o2){
var v1=o1[propertyName]
var v2=o2[propertyName]
.......
}
}
var compare= CreateCompare( "name")
var o1={name："rhb"}
var o2={name："gbe"}
var result=compare(o1,o2)
匿名函数从CreateCompare()被返回之后，它的作用域链被初始化为包含函数 CreateCompare()函数的活动对象和全局变量对象，匿名函数就可以访问在CreateCompare() 中定义的所有变量，
关键是 CreateCompare()函数在返回后即执行完毕后，其活动对象也不会被销毁，因为匿名函数作用域链仍然在引用这个活动对象，一直到匿名函数被销毁后 CreateCompare()函数的活动对象才会被销毁
- 解决办法：
.......
compare=null
将compare变量设置为null,解除对匿名函数的引用，等匿名函数被回收线程清除后，作用域链被消耗，对CreateCompare()函数的活动对象的引用也会被解除，这样函数返回后的活动对象就不会长期存留在内存中了
总结：
所谓的作用域名链就是在函数的当前执行环境中中查找变量，如果查找不到，就会向上一级函数中的执行环境中查找，一直引申到全局执行环境，这样一个向上查找的过程就形成了作用链
再展开一点来讲的话就是，每创建一个函数都会创建相应的执行环境，这个执行环境又有一个与之关联的变量对象，函数中定义的变量和内部函数，都是保存在这个变量对象里面的，然后作用域链就是一个指向变量对象的指针列表，这个列表里面，最开头指针指向的就是当前函数的变量对象，然后一直向后指向的是上一级函数的变量对象，然后再上一级别函数的变量对象，一直到全局执行环境的变量对象，如果在当前的变量对象中查找不到变量，就只能去查找上一 级函数的变量对象。
