本文内容
- 函数内部访问全局变量
- 函数外部不能直接访问局部变量
- 函数外部访问局部变量
- 保护私有成员
- 持久性
- 模块化
- 抽象性
闭包是 JavaScript 的重要特性，非常强大，可用于执行复杂的计算，可并不容易理解，尤其是对之前从事面向对象编程的人来说，对 JavaScript 认识和编程显得更难。特别是在看一些开源的 JavaScript 代码时感觉尤其如此，跟看天书没什么区别。
一般情况下，人们认识一个事物，会根据之前的经验，进行对比和总结，在脑中建立一个模型，从而理解掌握它，但是 JavaScript 与面向对象编程实在“没有可比性”，最明显的是某过于语法，总觉得“怪怪的”，更不用说，一些高级特性。
因此，从闭包可以做什么开始，将有助于进一步理解闭包。
函数内部访问全局变量
函数内部可以访问全局变量，如下所示：
var baz = 10;
function foo() {
alert(baz);
}
foo();
函数外部不能直接访问局部变量
函数外部不能访问局部变量，下面代码将报错：
function foo() {
var bar = 20;
}
alert(bar);
会报错，因为 bar 是局部变量。函数内部声明的变量，若没有使用 var 关键字，则变量是一个全局变量。
function foo() {
bar = 20;
}
alert(bar);
函数外部访问局部变量
实际情况是，我们需要从函数外部访问函数内部的局部变量。大多数情况只是读，而不能修改，修改对代码是不安全的，如下所示：
function foo() {
var a = 10;
function bar() {
a *= 2;
}
bar();
return a;
}
var baz = foo(); // 20
// baz(); 不用再调用
其中，a 是 foo 的局部变量，bar 当然可以访问。但如何在 foo 外，调用 bar，并访问 a？另外，此时，baz 不是一个对象，只是一个值，因此，不能再像 baz() 这样调用，也因此只能改变一次 a 的值。
现在，改写上面的代码，如下所示：
function foo() {
var a = 10;
function bar() {
a *= 2;
return a;
}
return bar;
}
var baz = new foo();
baz(); // 20
baz(); // 40
baz(); // 80
var blat = new foo();
blat(); // 20
说明：
- 现在可以从外部访问 a；
- JavaScript 的作用域是词法性的。a 是运行在定义它的 foo 中，而不是运行在调用 foo 的作用域中。因此，只要 bar 定义在 foo 中，bar 就能访问 foo 的局部变量 a，即使 foo 已经执行完毕。也就是说，var baz = foo() 执行后，foo 已经执行结束了，局部变量 a 应该不存在了，但之后再调用 baz 发现，a 依然存在——这就是 JavaScript 特色，运行在定义中，而不是运行在调用。这跟 C、C#以及其他编程语言明显不同。闭包，就是在 foo 执行完并返回后，使得 Javascript 垃圾回收机制不收回 foo 所占用的资源，因为 foo 的内部函数 bar 的执行需要 foo 中的变量；
- var baz = foo() 是 bar 一个引用；var blat= foo() 是另一个。
持久性
在“函数外部访问函数内部的局部变量”小节，我们看到，函数被调用多次，私有变量能够保持其持久性，如示例 4 所示，因为，JavaScript 是运行在定义中，而不是运行在调用中的。尽管，变量的作用域仅限于其函数内，无法从外部直接访问，但在多次调用期间，值仍然存在。
因此，闭包可以用来信息隐藏，并应用于需要状态表达的某些编程范型中。
保护私有成员
在以上描述，通过闭包可以创建只允许特定的函数访问变量，而且变量在函数的调用期间依然存在。
var foo = (function () {
var data = {};
return function (key, val) {
if (val == undefined) { // get
return data[key];
}
else { // set
return data[key] = val;
}
}
})();
foo('x'); // x 为 undefined
foo('x', 1); // set
foo('x'); // get
说明：
- data 是私有变量，从外部不能直接访问 data，它是隐藏的；
- 创建一个函数，这个函数提供一些访问 data 的方法。
甚至可以写出类似“面向对象”的效果，如下所示：
var Book = function (newIsbn, newTitle, newAuthor) {
// 私有属性
var isbn, title, author;
// 私有方法
function checkIsbn(isbn) {
// TODO
}
// 特权方法
this.getIsbn = function () {
return isbn;
};
this.setIsbn = function (newIsbn) {
if (!checkIsbn(newIsbn)) throw new Error('Book: Invalid ISBN.');
isbn = newIsbn;
};
this.getTitle = function () {
return title;
};
this.setTitle = function (newTitle) {
title = newTitle || 'No title specified.';
};
this.getAuthor = function () {
return author;
};
this.setAuthor = function (newAuthor) {
author = newAuthor || 'No author specified.';
};
// 构造器代码
this.setIsbn(newIsbn);
this.setTitle(newTitle);
this.setAuthor(newAuthor);
};
// 共有、非特权方法
Book.prototype = {
display: function () {
// TODO
}
};
说明：
- 用 var 声明变量 isbn、title 和 author，而不是 this，意味着它们只存在 Book 构造器中。checkIsbn 函数也是，因为它们是私有的；
- 访问私有变量和方法的方法只需声明在 Book 中即可。这些方法称为特权方法。因为，它们是公共方法，但却能访问私有变量和私有方法，像 getIsbn、setIsbn、getTitle、setTitle、getAuthor、setAuthor（取值器和构造器）。
- 为了能在对象外部访问这些特权方法，这些方法前边加了 this 关键字。因为这些方法定义在 Book 构造器的作用域里，所以它们能够访问私有变量 isbn、title 和 author。但在这些特权方法里引用 isbn、title 和 author 变量时，没有使用 this 关键字，而是直接引用。因为它们不是公开的。
- 任何不需要直接访问私有变量的方法，像 Book.prototype 中声明的，如 display。它不需要直接访问私有变量，而是通过 get*、set* 间接访问。
这种方式创建的对象可以具有真正私有的变量。其他人不能直接访问 Book 对象的任何内部数据，只能通过赋值器。这样一切尽在掌握。但这种方式的缺点是： “门户大开型”对象创建模式中，所有方法都创建在原型 prototype 对象中，因此不管生成多少对象实例，这些方法在内存中只有一份。而采用本节的做法，每生成一个新的对象实例，都将为每个私有方法（如，checkIsbn）和特权方法（如，getIsbn、setIsbn、getTitle、setTitle、getAuthor、setAuthor）生成一个新的副本。
因此，本节方法，只适于用在真正需要私有成员的场合。另外，这种方式也不利于继承。
模块化——遍历集合
闭包有益于模块化编程。它能以简单方式开发较小的模块，从而提高开发速度和程序的可复用性。与没有使用闭包的程序相比，使用闭包可将模块划分得更小。例如，计算数组中所有数字的和，只需循环遍历数组相加即可。但现在若要计算所有数字的积？打印所有数字？这些问题都需要遍历数组，若采用闭包，就不得不反复写循环语句，而这在 JavaScript 中就不用。如 jQuery 的 each 方法。
var each = function (object, callback, args) {
//当需要遍历的是一个对象时,name变量用于记录对象的属性名
var name;
//当需要遍历的是一个数组时,i变量用于记录循环的数组下标
var i = 0;
//遍历数组长度,当需要遍历的对象是一个数组时存储数组长度
//如果需要遍历的是一个对象,则length === undefined
var length = object.length;
//检查第1个参数object是否是一个对象
//根据object.length排除数组类型，根据isFunction排除函数类型(因为函数也是对象)
var isObj = length === undefined || typeof (object) == "function";
//回调函数具有附加参数时,执行第一个分支
//if(!!args) {
if (args) {
//需要遍历的是一个对象
if (isObj) {
//遍历对象属性,name是对象的属性名,再函数顶部已声明
//许多人不太习惯for(var name in object)方式,如果不进行声明,则name就会被定义为全局变量
for (name in object) {
//调用callback回调函数,且回调函数的作用域表示为当前属性的值
//如:callback() { this; //函数中的this指向当前属性值
//将each的第3个参数args作为回调函数的附加参数
if (callback.apply(object[name], args) === false) {
//如果在callback回调函数中使用return false;则不执行下一次循环
break;
}
}
}
//需要遍历的是一个数组
else {
//循环长度,循环变量i在函数顶部已定义
//循环变量的自增在循环内部执行
for (; i < length; ) {
//调用callback函数,与上面注释的callback调用一致
//此处callback函数中的this指向当前数组元素
if (callback.apply(object[i++], args) === false) {
break;
}
}
}
}
//回调函数没有附加参数时,执行第二个分支
else {
//需要遍历的是一个对象
if (isObj) {
//循环对象的属性名,name在函数顶部已定义
for (name in object) {
//调用callback回调函数
//在不带参数的对象遍历中,作用域表示为当前属性的值
//且回调函数包含两个参数,第一个数当前属性名,第二个是当前属性值
//我觉得这句代码修改一下会更好用：if(callback.call(object, name, object[name]) === false) {
if (callback.call(object[name], name, object[name]) === false) {
//如果在callback回调函数中使用return false;则不执行下一次循环
break;
}
}
}
//需要遍历的是一个数组
else {
//这里的for写法有点BT,解释为：
//var value = object[0];
//for(; i < length;) {
// if(false === callback.call(value, i, value)) {
// break;
// }
// value = object[++i];
//}
//同样,我觉得这里的代码稍加修改会更好用:
//for (; i < length && false !== callback.call(object, i, object[i++]);) {
//}
for (var value = object[0]; i < length && callback.call(value, i, value) !== false; value = object[++i]) {
}
}
}
//这里返回遍历的对象或数组,但object没有被更改,因此一般不给$.each()赋值
//但是如果按照我在注释中所修改的写法来使用,且在callback回调函数中对this(即对object的引用)进行了修改
//则这里返回的object是被修改后的对象或数组
return object;
}
var arr = [1, 2, 3, 4, 5];
each(arr, function (index, value) {
alert(index + ':' + value);
});
抽象性
从上面可以看到，闭包可以封装数据和行为，具有较好抽象能力，可以用来实现面向对象的委托和接口。
另外，闭包也简化了代码，一个常见问题是，窗口上有个按钮，当点击按钮时会产生事件。如果在按钮中处理这个事件，那就必须在按钮中保存处理这个事件时所需的各个对象的引用。另一个选择是把这个事件转发给父窗口，由父窗口来处理，或使用监听者模式。无论哪种方式，都不太方便，甚至要借助一些工具来帮助生成事件处理的代码框架。用闭包来处理就比较方便了，可以在按钮里直接写事件处理代码。