作用域链和闭包的关系(作用域链和闭包的区别)

一、什么是闭包？ “官方”的解释是：所谓“闭包”，指的是一个拥有许多变量和绑定了这些变量的环境的表达式（通常是一个函数），因而这些变量也是该表达式的一部分。相信很少有人能直接看懂这句话，因为他描述的太学术。我想用如何在Javascript中创建一个闭包来告诉你什么是闭包，因为跳过闭包的创建过程直接理解闭包的定义是非常困难的。看下面这段代码：function a(){var i=0;function b(){alert(++i);}return b;}var c = a();c();这段代码有两个特点：1、函数b嵌套在函数a内部；2、函数a返回函数b。这样在执行完var c=a()后，变量c实际上是指向了函数b，再执行c()后就会弹出一个窗口显示i的值(第一次为1)。这段代码其实就创建了一个闭包，为什么？因为函数a外的变量c引用了函数a内的函数b，就是说：当函数a的内部函数b被函数a外的一个变量引用的时候，就创建了一个闭包。我猜想你一定还是不理解闭包，因为你不知道闭包有什么作用，下面让我们继续探索。二、闭包有什么作用？简而言之，闭包的作用就是在a执行完并返回后，闭包使得Javascript的垃圾回收机制GC不会收回a所占用的资源，因为a的内部函数b的执行需要依赖a中的变量。这是对闭包作用的非常直白的描述，不专业也不严谨，但大概意思就是这样，理解闭包需要循序渐进的过程。在上面的例子中，由于闭包的存在使得函数a返回后，a中的i始终存在，这样每次执行c()，i都是自加1后alert出i的值。那 么我们来想象另一种情况，如果a返回的不是函数b，情况就完全不同了。因为a执行完后，b没有被返回给a的外界，只是被a所引用，而此时a也只会被b引 用，因此函数a和b互相引用但又不被外界打扰(被外界引用)，函数a和b就会被GC回收。(关于Javascript的垃圾回收机制将在后面详细介绍)三、闭包内的微观世界如 果要更加深入的了解闭包以及函数a和嵌套函数b的关系，我们需要引入另外几个概念：函数的执行环境(excution context)、活动对象(call object)、作用域(scope)、作用域链(scope chain)。以函数a从定义到执行的过程为例阐述这几个概念。1、当定义函数a的时候，js解释器会将函数a的作用域链(scope chain)设置为定义a时a所在的“环境”，如果a是一个全局函数，则scope chain中只有window对象。2、当函数a执行的时候，a会进入相应的执行环境(excution context)。3、在创建执行环境的过程中，首先会为a添加一个scope属性，即a的作用域，其值就为第1步中的scope chain。即a.scope=a的作用域链。4、然后执行环境会创建一个活动对象(call object)。活动对象也是一个拥有属性的对象，但它不具有原型而且不能通过JavaScript代码直接访问。创建完活动对象后，把活动对象添加到a的作用域链的最顶端。此时a的作用域链包含了两个对象：a的活动对象和window对象。5、下一步是在活动对象上添加一个arguments属性，它保存着调用函数a时所传递的参数。6、最后把所有函数a的形参和内部的函数b的引用也添加到a的活动对象上。在这一步中，完成了函数b的的定义，因此如同第3步，函数b的作用域链被设置为b所被定义的环境，即a的作用域。到此，整个函数a从定义到执行的步骤就完成了。此时a返回函数b的引用给c，又函数b的作用域链包含了对函数a的活动对象的引用，也就是说b可以访问到a中定义的所有变量和函数。函数b被c引用，函数b又依赖函数a，因此函数a在返回后不会被GC回收。当函数b执行的时候亦会像以上步骤一样。因此，执行时b的作用域链包含了3个对象：b的活动对象、a的活动对象和window对象，如下图所示：如图所示，当在函数b中访问一个变量的时候，搜索顺序是先搜索自身的活动对象，如果存在则返回，如果不存在将继续搜索函数a的活动对象，依 次查找，直到找到为止。如果整个作用域链上都无法找到，则返回undefined。如果函数b存在prototype原型对象，则在查找完自身的活动对象 后先查找自身的原型对象，再继续查找。这就是Javascript中的变量查找机制。四、闭包的应用场景1、保护函数内的变量安全。以最开始的例子为例，函数a中i只有函数b才能访问，而无法通过其他途径访问到，因此保护了i的安全性。2、在内存中维持一个变量。依然如前例，由于闭包，函数a中i的一直存在于内存中，因此每次执行c()，都会给i自加1。以上两点是闭包最基本的应用场景，很多经典案例都源于此。五、Javascript的垃圾回收机制 在Javascript中，如果一个对象不再被引用，那么这个对象就会被GC回收。如果两个对象互相引用，而不再被第3者所引用，那么这两个互相引用的对象也会被回收。因为函数a被b引用，b又被a外的c引用，这就是为什么函数a执行后不会被回收的原因。

作用域： 首先，在javascript中的每个函数都是对象，是Funtion对象的一个实例，而Funtion中有一系列仅供javascript引擎存取的内部属性，其中一个便是[[scope]]，它包含了一个函数被创建的作用域中对象的集合，这个集合就是函数的作用域链。当一个函数创建后，它的作用域链会被创建此函数的作用域中可访问的数据对象填充。例如定义下面这样一个函数：function add(num1,num2){var sum = num1+num2;return sum;}在函数add创建时，它的作用域链中会填入一个单独的可变对象，即全局对象，该全局对象包含了所有全局变量，函数add的作用域将在执行时候用到，假设vartotal = add(5,10);执行此函数会创建一个称为执行上下文的内部对象，一个执行上下文定义了一个函数执行时的环境，函数每次执行时对应的执行上下文都是独一无二的，所以多次调用统一个函数会导致创建多个执行上下文，当函数执行完毕，执行上下文被销毁。每个执行下文都有自己的作用域链，用于标识符解析，当执行上下文被创建时，它的作用域链初始化为当前运行函数的[[Scope]]所包含的对象。这些值按照它们出现在函数中的顺序被复制到运行期上下文的作用域链中。它们共同组成了一个新的对象，叫“活动对象(activationobject)”，活动对象作为函数运行期的可变对象，该对象包含了函数的所有局部变量、命名参数、参数集合以及this，即它通过函数的arguments属性初始化，arguments属性的值是Arguments对象：【Arguments对象是活动对象的一个属性，它包括如下属性：callee — 指向当前函数的引用length — 真正传递的参数个数properties-indexes (字符串类型的整数) 属性的值就是函数的参数值(按参数列表从左到右排列)。properties-indexes内部元素的个数等于arguments.length. properties-indexes的值和实际传递进来的参数之间是共享的。这个共享其实不是真正的共享一个内存地址，而是2个不同的内存地址，使用JavaScript引擎来保证2个值是随时一样的，当然这也有一个前提，那就是这个索引值要小于你传入的参数个数，也就是说如果你只传入2个参数，而还继续使用arguments[2]赋值的话，就会不一致，如：function b(x, y, a) {arguments[2] = 10;alert(a);}b(1, 2);这时候因为没传递第三个参数a，所以赋值10以后，alert(a)的结果依然是undefined，而不是10，但如下代码弹出的结果依然是10，因为和a没有关系。function b(x, y, a) {arguments[2] = 10;alert(arguments[2]);}b(1, 2);】然后此对象会被推入作用域链的前端，当运行期上下文被销毁，活动对象也随之销毁。在函数执行过程中，每遇到一个变量，都会经历一次标识符解析过程以决定从哪里获取和存储数据。该过程从作用域链头部，也就是从活动对象开始搜索，查找同名的标识符，如果找到了就使用这个标识符对应的变量，如果没找到继续搜索作用域链中的下一个对象，如果搜索完所有对象都未找到，则认为该标识符未定义。函数执行过程中，每个标识符都要经历这样的搜索过程。注意：如果名字相同的两个变量存储在作用域链的不同部分，那么标识符就是遍历作用域时最先找到的那一个。闭包：闭包，简单点说就是函数里面嵌套函数如：function a(){var name,age;function b(){console.log(name);console.log(age);}}例子中的b函数就是一层闭包，闭包的强大之处在于它允许函数访问作用域之外的数据，如例子中在b函数内部访问a函数中的变量，在看一个例子：funtion assignEvents(){var id = "xdi9592";document.getElementById("save-btn").onclick = function(event){saveDocument(id);}}assignEvents函数中的事件处理器就是一个闭包，他在assignEvents执行时被创建，并且能访问所属作用域的id变量。当assignEvents（）被执行时，一个包含了变量id和其他一些数据的活动对象被创建，即为运行期上下文作用域中的一个对象，当闭包被创建时，它的[[scope]]属性被初始化为这些对象，因为闭包的[[scope]]属性包含了与运行期上下文作用域链相同的对象的引用，因此，当外层函数执行完毕时，由于引用仍然存在闭包的[[scope]]属性中，故活动对象无法被销毁，会使内存消耗大，即造成内存泄漏。 当闭包被执行的时候，一个执行上下文又被创建，它的作用域链与属性[[scope]]中引用的两个相同的作用域链对象同时被初始化，然后一个活动对象被闭包自身所创建

闭包 闭包就是能够读取其他函数内部变量的函数。最大用处有2个：1.读取函数内部变量2.让这些变量的值始终保持在内存中参考资料：http://www.ruanyifeng.com/blog/2009/08/learning_javascript_closures.html封装其实就是用js模拟出类的写法，将你写成程序按照面向对象的思想去包装起来，方便调用参考资料：http://www.cnblogs.com/sitemanager/p/3535904.htmlhttp://www.ruanyifeng.com/blog/2010/05/object-oriented_javascript_encapsulation.html原型每个javascript对象都有一个原型对象（简称原型），这个原型是由该对象的构造函数所定义（javascript自动创建的）,并且对象继承原型的所有属性和方法（函数）。参考资料：http://www.cnblogs.com/FlyingCat/archive/2009/09/21/1570656.html作用域链Javascript作用域问题简单的可以用一句话来概括：两种类型的作用域( global, function)、三条作用域链。理解两种三条前需要明白两点：1) JavaScript是词法作用域，当一个函数被定义后，它的作用域链就作为函数的内部状态被保存了。2) 在函数被定义时虽然作用域链确定了，但作用域链中的属性并没有确定。两种类型的作用域：1) 全局作用域 -- 变量为window对象的属性(默认浏览器环境中)。 <作用域链：window>2) 函数作用域-- 变量查找的的顺序(即作用域链)< 当前call object -- .... -- window object>特殊的一条作用域链:通过HTML属性定义的事件处理代码:<匿名函数的call object -- 当前节点 -- 父节点--...-- window object>参考资料：http://www.laruence.com/2009/05/28/863.htmlhttp://www.blueidea.com/tech/web/2007/4855.asphttp://www.educity.cn/java/679127.html

首先应该深入的理解一下闭包的概念，维基百科上关于闭包的解释理解起来比较容易些，我把前面两段话简单的处理一下：在程序语言中，闭包（Closure），又称词法闭包（Lexical Closure）或函数闭包（function closures），是引用了自由变量的函数。这个被引用的自由变量将和这个函数一同存在，即使已经离开了创造它的环境也不例外。闭包是由函数和与其相关的引用环境组合而成的实体。在一些语言中，在函数中可以（嵌套）定义另一个函数时，如果内部的函数引用了外部的函数的变量，则可能产生闭包。运行时，一旦外部的函数被执行，一个闭包就形成了，闭包中包含了内部函数的代码，以及所需外部函数中的变量的引用。理解了闭包之后，再来看你的第一个问题，虽然A处的inc函数只是声明，但是闭包在外层函数a执行的时候就已经生成，形成的闭包包括了内部函数的代码和所需外部变量的引用。根据定义，还有一点需要注意，即形成的闭包保存的是外部变量的引用，看下面的例子： var arr = []; for (var i=0; i<3; i++) { arr[i] = return function() {         alert(i)     } } arr[0](); arr[1](); arr[2]();每次都是弹出3，即闭包只记住外部变量存放在了哪里，在内部函数还没有执行前，它是不管你的值是什么的，任你怎么变，我执行的时候只获取最后的值。要想实现想要的效果，可以这样做： var arr = []; for (var i=0; i<3; i++) { arr[i] = function(j) { return function() { alert(j) } }(i) } arr[0](); arr[1](); arr[2]();这里用一个立即执行函数，使得每次循环的i值都记录下来了。你的第二个问题看了好几遍还是不太理解你想问什么，简单的说一些常识吧。function a(...)和var a=function(...)是函数的两种声明方式，无论哪一种，只要你没有重新给a赋值，即a还指向这个函数，那么这个函数所占据的内存就不会被回收，函数执行完毕后回收的只是函数内部声明的局部变量（如果变量没有被内部函数引用形成闭包），故而函数的局部变量在函数每次执行时都重新定义，重新赋值。
return inc;这一句是将整个函数给return出去，var c = a();这里将函数a的返回值接收，实际上c就是函数inc了，你打印一下c，看看c是什么，var c = a();console.log(c);调用c，其实就是在调用inc这个函数。你就这么理解吧，只要知道c = inc()就行了。这样说你能明白吗？

函数对象可以通过作用域链相互关联起来，函数体内部的变量都可以保存在函数作用域内，这种特性在计算机科学文献中称之为“闭包”。 从技术角度讲，所有的JavaScript函数都是闭包： 它们都是对象，它们都关联到作用域链。实现计数器介绍利用闭包实现计数器，请看以下代码：var counter = (function() {var count = 0;return function() {return count ++;}})(); 以上代码定义了一个立即执行的函数，count遍历只能在这个匿名函数中可以使用。
最简单地说：内调外概括：闭包就是函数内调用外面的变量例一：[1]请看以下代码function add(a,b){return a+b;}add(5,8);结果：13接下来，请分析这段代码，和第一段代码有什么不同：function makeadd(a)return function(b){return a+b;}}var add=makeadd(5);add(8);结果：13在加粗的代码中，a并不存在于该函数作用域，而是调用了外面的a。这里的a就是闭包(closure)例二：[2]一个计数器的困境假设您想使用变量来计数，并且您希望此计数器可用于所有函数。您可以使用全局变量和函数来递增计数器：// 初始化计数器var counter = 0;// 递增计数器的函数function add() {counter += 1;}// 调用三次 add()add();add();add();// 此时计数器应该是 3上述解决方案有一个问题：页面上的任何代码都可以更改计数器，而无需调用 add()。对于 add() 函数，计数器应该是局部的，以防止其他代码更改它：// 初始化计数器var counter = 0;// 递增计数器的函数function add() {var counter = 0;counter += 1;}// 调用三次 add()add();add();add();//此时计数器应该是 3。但它是 0。它没有用，因为我们显示全局计数器而不是本地计数器。通过让函数返回它，我们可以删除全局计数器并访问本地计数器：// 递增计数器的函数function add() {var counter = 0;counter += 1;return counter;}// 调用三次 add()add();add();add();//此时计数器应该是 3。但它是 1。它没有用，因为我们每次调用函数时都会重置本地计数器。JavaScript 内部函数可以解决这个问题。JavaScript 嵌套函数所有函数都有权访问全局作用域。事实上，在 JavaScript 中，所有函数都有权访问它们“上面”的作用域。JavaScript 支持嵌套函数。嵌套函数可以访问其上的作用域。在本例中，内部函数 plus() 可以访问父函数中的 counter 计数器变量：function add() {var counter = 0;function plus() {counter += 1;}plus();return counter;}这样即可解决计数器困境，如果我们能够从外面访问 plus() 函数。我们还需要找到只执行一次 counter = 0 的方法。我们需要闭包（closure）。JavaScript 闭包var add = (function () {var counter = 0;return function () {return counter += 1;}})();add();add();add();// 计数器目前是 3例子解释变量 add 的赋值是自调用函数的返回值。这个自调用函数只运行一次。它设置计数器为零（0），并返回函数表达式。这样 add 成为了函数。最“精彩的”部分是它能够访问父作用域中的计数器。这被称为 JavaScript 闭包。它使函数拥有“私有”变量成为可能。计数器被这个匿名函数的作用域保护，并且只能使用 add 函数来修改。总结：闭包指的是有权访问父作用域的函数，即使在父函数关闭之后。参考资料：[1]MDN--JavaScript闭包[2]W3School JavaScript 闭包