js学习之函数表达式及闭包
来自《javascript高级程序设计 第三版：作者Nicholas C. Zakas》的学习笔记（七）
直接切入主题~
定义函数的方式有两种：
- 函数声明
function functionName(arg0,arg1,arg2) { //函数体 }
函数声明有一个重要的特征——函数声明提升，意思是在执行代码之前会先读取函数声明，允许把函数声明放在调用它的语句后面
sayHi(); function sayHi() { alert("hi"); }
- 函数表达式
var functionName = function(arg0,arg1,arg2) { //函数体 };
如上创建的其实就是匿名函数。这种情况不支持函数声明提升，即
sayHi(); //错误，函数不存在 var sayHi = function() { alert("hi"); };
还有执行下列代码会产生意想不到的结果：
//不要这样 if (condition) { function sayHi() { alert("hi!"); }else { function sayHi() { alert("hello"); } } }
因为不同的浏览器处理方式不同，大多数浏览器会返回第二个声明，忽略condition;Firefox会在condition为true时返回第一个声明。所以这种使用方式很危险。不过，你可以这么改进：
var sayHi; if (condition) { sayHi = function() { alert("hi"); }; }esle { sayHi = function() { alert("hello"); } }
当然，这时应该好好想想为什么可以这么改进~~因为函数表达式不存在函数声明提前，所以sayHi在任何条件下只会执行一次（if条件的互斥性）。
- 你可能很想知道匿名函数的用途，在这里就先介绍一点（当然匿名函数的作用可不止这一点）
function createComparisonFunction(propetyName) { return function(object1,object2) { var value1 = object1[propertyName]; var value2 = object2[propertyName]; if (value1 < value2) { return -1; }else if (value1 > value2) { return 1 }else { return 0; } }; }
- 递归
function factorial(num) { if (num <= 1) { return 1; }else { return num*factorial(num -1); } } //上面是一个很简单的递归阶乘函数 var anotherFactorial = factorial; factorial = null; alert(anotherFactorial(4)); //出错了，原因很明显，函数定义中用了自身的函数名（就是指针啦），当factorial置为null时，整个函数失效了
这么改进：使用arguments.callee()，它指向正在执行的函数的指针。
function factorial(num) { if (num <= 1) { return 1; }else { return num*arguments.callee(num - 1); } } //但是在严格模式下，不能通过脚本访问arguments.callee()，又有了如下改进 var factorial = (function f(num) { //这种情况下，即便是将factorial赋给另一个变量函数名字f仍然是有效的 if (num <= 1) { return 1; }else { return num*f(num - 1); } });
闭包
如果有人叫你解释一下闭包，你该怎么说。~如果你知道怎么说了，说明你已经完全掌握了它。
凡事都是有一个起源的，一种技术的产生往往就是为了解决一个问题（装B了）。=。=我总是觉得，所谓的代码简洁是有不同level的，对于个人来说，只要你能把程序中每一条语句存在意义说出来和不可删除的存在在，对你来说就是简洁（当然，你的功力决定了你主观上的简洁的大众level），扯远了。。。。
闭包作为js语言的特点和难点，要理解它，首先要理解js特殊的变量作用域。
一、变量作用域
js变量的作用域无非就是两种：全局变量和局部变量。
js语言的特殊之处就在于函数内部可以直接读取全局变量（其实很多语言，如C++也是）。如：
var n = 999; function f1() { alert(n); } f1(); //999
而另一方面，在函数外部自然无法读取函数内部分局部变量：
function f1() { var n = 999; } alert(n); //error
这里有一个地方需要注意，函数内部声明变量的时候，一定要使用命令var命令。如果不用的话，你是实际上声明了一个全局变量：
function f1() { n = 999; } f1(); alert(n); //999
那如何从外部读取局部变量呢？
出于种种原因，我们有时候需要得到函数内部的局部变量。怎么变通？~.~
那就在函数的内部在定义一个函数。
function f1() { var n = 999; function f2() { alert(n); //999 } }
在上面的代码中，函数f2就被包括在函数f1内部，这时f1内部的所有局部变量，对f2都是可见的。但是反过来就不行，f2内部的局部变量，对f1就是不可见的。这就是js语言特有的“链式作用域”结构（chain scope）。子对象会一级一级地向上寻找所有父对象的变量。所以，父对象的所有变量，对子对象都是可见的。反之则不成立。
可是呢，灵感就是这么来的，既然f2可以读取f1中局部变量，那么只要把f2作为返回值，我们就可以在f1外部读取它们内部变量了：
function f1() { var n = 999; function f2() { alert(n); } return f2; } var result = f1(); result(); //999 相当于f2()
现在将是引入闭包概念的好时候：上述f2函数就是闭包。闭包的官方描述：闭包是一个拥有许多变量和绑定了这些变量的环境的表达式（通常是一个函数），因为这些变量也是表达式的一部分。其实完全可以这么理解：闭包就是能够读取其他函数内部变量的函数。由于在js中，只有函数内部的子函数才能读取局部变量，因此可以把闭包简单理解成“定义在函数内部分函数”。闭包就是将函数内部和函数外部连接起来的一座桥梁。
二、闭包的用途
它的最大的两个用处就是：
- 可以读取函数内部的变量
- 并且可以让这些变量的值始终保存在内存中
function f1() { var n=999; nAdd=function() { n+=1; } function f2() { alert(n); } return f2; } var result=f1(); result(); // 999 nAdd(); result(); // 1000
在这段代码中，result实际上就是闭包f2函数。它一共运行了两次，第一次的值是999，第二次的值是1000。这证明了，函数f1中的局部变量n一直保存在内存中，并没有在f1调用后被自动清除。
为什么会这样呢？原因就在于f1是f2的父函数，而f2被赋给了一个全局变量，这导致f2始终在内存中，而f2的存在依赖于f1，因此f1也始终在内存中，不会在调用结束后，被垃圾回收机制（garbage collection）回收。
这段代码中另一个值得注意的地方，就是“nAdd=function(){n+=1}”这一行，首先在nAdd前面没有使用var关键字，因此 nAdd是一个全局变量，而不是局部变量。其次，nAdd的值是一个匿名函数（anonymous function），而这个匿名函数本身也是一个闭包，所以nAdd相当于是一个setter，可以在函数外部对函数内部的局部变量进行操作。
三、使用闭包的注意点
1）由于闭包会使得函数中的变量都被保存在内存中，内存消耗很大，所以不能滥用闭包，否则会造成网页的性能问题，在IE中可能导致内存泄露。解决方法是，在退出函数之前，将不使用的局部变量全部删除。内存泄露：
function assignHandler() { var element = document.getElementById("someElement"); element.onclick = function() { alert(element.id); }; }
//在闭包的作用域中保存着的这个html元素，无法被销毁
2）闭包会在父函数外部，改变父函数内部变量的值。所以，如果你把父函数当作对象（object）使用，把闭包当作它的公用方法（Public Method），把内部变量当作它的私有属性（private value），这时一定要小心，不要随便改变父函数内部变量的值。
四、思考题
var name = "The Window"; var object = { name : "My Object", getNameFunc : function(){ return function(){ return this.name; }; } }; alert(object.getNameFunc()()); //The Window（在非严格模式下）
这题的官方解释应该是很这样的：在闭包中使用this对象可能会导致一些问题。我们知道this对象是在运行时基于函数的执行环境绑定的：在全局函数中，this等于window，而当函数被作为某个对象的方法调用时，this等于那个对象。不过匿名函数的执行环境具有全局性，因此其this对象通常指向window。
上例中匿名函数为什么匿名函数没有取得其包含作用域的this对象呢。~~~每个函数在被调用时，其活动对象都会自动取得两个特殊值；this和arguments。内部函数在搜索这两个变量时，只会搜索到其活动对象为止，因此永远也不可能直接访问外部函数的这两个变量，不过把外部函数作用域中的this对象保存在一个闭包能够访问到的变量里，就可以让闭包访问该对象：
var name = "The Window"; var object = { name:"My Object", getNameFunc:function() { var that = this; ////////////////////////////////////////////see return function() { return that.name; }; } };
注：this和arguments也存在同样的问题。如果想访问作用域中的arguments对象，必须将对象的引用保存到另一个闭包能够访问的变量中。
function outerFun() { var a=0; function innerFun() { a++; alert(a); } } innerFun(); //上面的代码是错误的.innerFun()的作用域在outerFun()内部,所在outerFun()外部调用它是错误的. 改成如下,也就是闭包: function outerFun() { var a=0; function innerFun() { a++; alert(a); } return innerFun; //注意这里 } var obj=outerFun(); obj(); //结果为1 obj(); //结果为2 var obj2=outerFun(); obj2(); //结果为1 obj2(); //结果为2
再来重新声明一遍什么是闭包：当内部函数 在定义它的作用域 的外部 被引用时,就创建了该内部函数的闭包 ,如果内部函数引用了位于外部函数的变量,当外部函数调用完毕后,这些变量在内存不会被 释放,因为闭包需要它们。
function outerFun() { var a =0; alert(a); } var a=4; outerFun(); //0 alert(a); //4 因为在函数内部使用了var关键字 维护a的作用域在outFun()内部
function outerFun() { //没有var a =0; alert(a); } var a=4; outerFun(); //0 alert(a); //0
作用域链是描述一种路径的术语,沿着该路径可以确定变量的值 .当执行a=0时,因为没有使用var关键字,因此赋值操作会沿着作用域链到var a=4; 并改变其值。其实，刚看到这种解释的时候我是有疑问的，函数声明具有提前的作用，而且作用域的方向是向上的，直到搜索到同名变量就应该停止。=。=其实是脑子短路了。应该是只要看outerFunn()的调用就可以了。因为当调用outerFun()的时候，函数内部的a = 0，是全局变量定义，覆盖了前面的var a = 4。当然，可能会问，如果outerFun()在前，var a = 4在后面，结果会是怎么样的？~动手试试不就知道了==
<!doctype html>
<html>
<head></head>
<script>
window.onload = (function() {
function outerFun()
{
//没有var
a =0;
alert(a);
}
outerFun();
var a=4;
//outerFun();
alert(a);
});
</script>
<body>
</body>
</html>
运行结果即为0和4，佐证了我的解释，bingo~
补充一点js的垃圾回收的知识：在Javascript中，如果一个对象不再被引用，那么这个对象就会被GC回收。如果两个对象互相引用，而不再被第3者所引用，那么这两个互相引用的对象也会被回收。因为函数a被b引用，b又被a外的c引用，这就是为什么函数a执行后不会被回收的原因。
//以下部分是来自Nicholas C. Zakas所撰书的分享：
如何创建作用域链以及作用域链有什么作用的细节
当某个函数第一次被调用时，会创建一个执行环境以及相应的作用域链，并把作用域链值给一个特殊的内部属性（[Scope])。然后，使用this、arguments和其它命名参数的值来初始化函数的活动对象。但在作用域链中，外部函数的活动对象始终处于第二位，外部函数的外部函数的活动对象处于第三位，.....直至作为作用域链终点的全局执行环境。可以这么理解，作用域链本质上是一个指向变量的指针列表，它只引用但不实际包含变量对象。
内存问题：一般来讲，当函数执行完毕后，局部活动对象就会被销毁，内存中仅保存全局作用域（全局执行环境的变量对象）。但闭包的情况又有所不同。其执行环境会被销毁，但是它的活动对象仍然留在内存中，直到匿名对象被销毁后，活动对象才会被销毁。作用域的这种配置机制引出了一个值得注意的副作用，即闭包只能取得包含函数中任何变量的最后一个值，看代码更直接：
function createFunction() { var result = new Array(); for (var i = 0; i < 10;i++) { result[i] = function() { return i; }; } return result; } //这个函数表面上看起来好像是会返回自己的索引，即位置0的函数返回0,位置1的函数返回1，以此类推。但实际上，每个函数都返回10。因为每个函数的作用域都保存着createFunctions()函数的活动对象，所以它们引用的都是同一个变量i。
解决上述问题，我们可以通过创建另一个匿名函数强制让闭包的行为符合预期，：
function createFunctions() { var result = new Array(); for(var i = 0; i < 10;i++) { result[i] = function(num) { return function() { return num; }; }(i); } return result; }
模仿块级作用域
(function() { //这里是块级作用域 })(); var someFunction = function() { //这里是块级作用域 }; someFunction(); function() { //这里是块级作用域 }(); //出错！ 是因为javascript将function关键字当作一个函数声明的开始，而函数声明后面不能跟圆括号
无论在什么地方，只要临时需要一些变量，就可以使用私有作用域：
function outputNumbers(count) { (function() { for(var i = 0;i < count;i++) { alert(i); } })(); alert(i); //导致错误 }
通过创建私有作用域，每个开发人员可以使用自己的变量，又不必担心搞乱全局作用域。例如：
(function() { var now = new Date(); if (now.getMonth() == 0 && now.getDate() == 1) { alert("Happy new year!"); } }();
这种做法减少了闭包占用的内存问题，因为没有指向匿名函数的引用。只要匿名函数执行完毕，就可以立即销毁其作用域链了。
私有变量
js没有私有成员的概念，所有成员属性都是公有的。而私有变量是指：函数的参数、局部变量和在函数内部定义的其它函数。对于能够有权访问私有变量和私有函数的公有方法称为特权方法。
1）在构造函数中定义特权方法
function MyObject() { //私有变量和私有函数 var privateVarible = 10; function privateFunction() { return false; } //特权方法 this.publicMethod = function() { privateVarible++; return privateFunction(); }; }
function Person(name) { this.getName = function() { return name; }; this.setName = function(value) { name = value; }; } var person = new Person("Nicholas"); alert(person.getName()); //"Nicholas" person.setName("Grey"); alert(person.getName()); //"Grey"
构造函数的缺点就是：针对每个实例都会创建同样一组方法，而使用静态私有变量来实现特权方法就可以避免。
静态私有变量
(function(){ var name = ""; Person = function(value) { name = value; }; Person.prototype.getName = function() { return name; }; Person.prototype.setName = function (value) { name = value; }; })(); var person1 = new Person("carol"); alert(person1.getName()); //"carol" person1.setName("grey"); alert(person1.getName()): //"grey" var person2 = new Person("Michael"); alert(person1.getName()); //"Michael" alert(person2.getName()); //"Michael"
以这种方式创建静态私有变量会因为使用原型而增进代码复用，但每个实例都没有自己的私有变量。到底是使用实例变量，还是静态变量，最终还是要视你的具体需求而定。
模块模式
为单例创建私有变量和私有函数。单例（只有一个实例的对象）。
var singleton = { name:value, method:function() { //这里是方法的代码 } };
var application = function() { //私有变量函数 var components = new Array(); //初始化 components.push(new BaseComponent()); //公共 return { getComponent: function() { return components.length; }, registerComponent:function(component) { if (typeof component == "object") { components.push(component); } } }; };
简而言之，如果必须创建一个对象并以某些数据对其进行初始化，同时还要公开一些能够访问这些私有数据的方法，那么就可以使用模块模式。
增强的模块模式
var application = function() { //私有变量和函数 var components = new Array(); //初始化 components.push(new BaseComponent()); //创建application的一个局部副本 var app = new BaseComponent(); //公共接口 app.getComponentCount = function() { return components.length; }; app.registerComponent = function(component) { if (typeof component == "object") { component.push(component); } }; //返回这个副本 return app; }();
争取把js基础打扎实，然后动手实践=。=
