<h2 id="4.1">面向对象编程概述</h2>
## 对象是什么？
“面向对象编程”（Object Oriented Programming，缩写为OOP）是目前主流的编程范式。它的核心思想是将真实世界中各种复杂的关系，抽象为一个个对象，然后由对象之间的分工与合作，完成对真实世界的模拟。
传统的计算机程序由一系列函数或一系列指令组成，而面向对象编程的程序由一系列对象组成。每一个对象都是功能中心，具有明确分工，可以完成接受信息、处理数据、发出信息等任务。因此，面向对象编程具有灵活性、代码的可重用性、模块性等特点，容易维护和开发，非常适合多人合作的大型软件项目。
那么，“对象”（object）到底是什么？
我们从两个层次来理解。
**（1）“对象”是单个实物的抽象。**
一本书、一辆汽车、一个人都可以是“对象”，一个数据库、一张网页、一个与远程服务器的连接也可以是“对象”。当实物被抽象成“对象”，实物之间的关系就变成了“对象”之间的关系，从而就可以模拟现实情况，针对“对象”进行编程。
**（2）“对象”是一个容器，封装了“属性”（property）和“方法”（method）。**
所谓“属性”，就是对象的状态；所谓“方法”，就是对象的行为（完成某种任务）。比如，我们可以把动物抽象为animal对象，“属性”记录具体是那一种动物，“方法”表示动物的某种行为（奔跑、捕猎、休息等等）。
虽然不同于传统的面向对象编程语言，但是JavaScript具有很强的面向对象编程能力。本章介绍JavaScript如何进行“面向对象编程”。
## 构造函数
“面向对象编程”的第一步，就是要生成“对象”。前面说过，“对象”是单个实物的抽象。通常需要一个模板，表示某一类实物的共同特征，然后“对象”根据这个模板生成。
典型的面向对象编程语言（比如C++和Java），存在“类”（class）这个概念。所谓“类”就是对象的模板，对象就是“类”的实例。但是，JavaScript语言的对象体系，不是基于“类”的，而是基于构造函数（constructor）和原型链（prototype）。这个小节介绍构造函数。
JavaScript语言使用构造函数（constructor）作为对象的模板。所谓“构造函数”，就是专门用来生成“对象”的函数。它提供模板，描述对象的基本结构。一个构造函数，可以生成多个对象，这些对象都有相同的结构。
构造函数是一个正常的函数，但是它的特征和用法与普通函数不一样。下面就是一个构造函数。
```javascript
var Vehicle = function () {
this.price = 1000;
};
```
上面代码中，`Vehicle`就是构造函数，它提供模板，用来生成车辆对象。为了与普通函数区别，通常将构造函数的名字的第一个字母大写。
构造函数的特点有两个。
- 函数体内部使用了`this`关键字，代表了所要生成的对象实例。
- 生成对象的时候，必需用`new`命令，调用`Vehicle`函数。
## new命令
### 基本用法
`new`命令的作用，就是执行构造函数，返回一个实例对象。
```javascript
var Vehicle = function (){
this.price = 1000;
};
var v = new Vehicle();
v.price // 1000
```
上面代码通过`new`命令，让构造函数`Vehicle`生成一个实例对象，保存在变量`v`中。这个新生成的实例对象，从构造函数`Vehicle`继承了`price`属性。在`new`命令执行时，构造函数内部的`this`，就代表了新生成的实例对象，`this.price`表示实例对象有一个`price`属性，它的值是1000。
使用`new`命令时，根据需要，构造函数也可以接受参数。
```javascript
var Vehicle = function (p) {
this.price = p;
};
var v = new Vehicle(500);
```
`new`命令本身就可以执行构造函数，所以后面的构造函数可以带括号，也可以不带括号。下面两行代码是等价的。
```javascript
var v = new Vehicle();
var v = new Vehicle;
```
一个很自然的问题是，如果忘了使用new命令，直接调用构造函数会发生什么事？
这种情况下，构造函数就变成了普通函数，并不会生成实例对象。而且由于下面会说到的原因，this这时代表全局对象，将造成一些意想不到的结果。
```javascript
var Vehicle = function (){
this.price = 1000;
};
var v = Vehicle();
v.price
// Uncaught TypeError: Cannot read property 'price' of undefined
price
// 1000
```
上面代码中，调用Vehicle构造函数时，忘了加上new命令。结果，price属性变成了全局变量，而变量v变成了undefined。
因此，应该非常小心，避免出现不使用new命令、直接调用构造函数的情况。为了保证构造函数必须与new命令一起使用，一个解决办法是，在构造函数内部使用严格模式，即第一行加上`use strict`。
```javascript
function Fubar(foo, bar){
"use strict";
this._foo = foo;
this._bar = bar;
}
Fubar()
// TypeError: Cannot set property '_foo' of undefined
```
上面代码的`Fubar`为构造函数，`use strict`命令保证了该函数在严格模式下运行。由于在严格模式中，函数内部的`this`不能指向全局对象，默认等于`undefined`，导致不加`new`调用会报错（JavaScript不允许对`undefined`添加属性）。
另一个解决办法，是在构造函数内部判断是否使用`new`命令，如果发现没有使用，则直接返回一个实例对象。
```javascript
function Fubar(foo, bar){
if (!(this instanceof Fubar)) {
return new Fubar(foo, bar);
}
this._foo = foo;
this._bar = bar;
}
Fubar(1, 2)._foo // 1
(new Fubar(1, 2))._foo // 1
```
上面代码中的构造函数，不管加不加new命令，都会得到同样的结果。
### new命令的原理
使用new命令时，它后面的函数调用就不是正常的调用，而是被new命令控制了。内部的流程是，先创造一个空对象，作为上下文对象，赋值给函数内部的this关键字。也就是说，this指的是一个新生成的空对象，所有针对this的操作，都会发生在这个空对象上。
构造函数之所以叫“构造函数”，就是说这个函数的目的，就是操作上下文对象（即this对象），将其“构造”为需要的样子。如果构造函数的return语句返回的是对象，new命令会返回return语句指定的对象；否则，就会不管return语句，返回构造后的上下文对象。
```javascript
var Vehicle = function (){
this.price = 1000;
return 1000;
};
(new Vehicle()) === 1000
// false
```
上面代码中，Vehicle是一个构造函数，它的return语句返回一个数值。这时，new命令就会忽略这个return语句，返回“构造”后的this对象。
但是，如果return语句返回的是一个跟this无关的新对象，new命令会返回这个新对象，而不是this对象。这一点需要特别引起注意。
```javascript
var Vehicle = function (){
this.price = 1000;
return { price: 2000 };
};
(new Vehicle()).price
// 2000
```
上面代码中，构造函数Vehicle的return语句，返回的是一个新对象。new命令会返回这个对象，而不是this对象。
new命令简化的内部流程，可以用下面的代码表示。
```javascript
function _new(/* constructor, param, ... */) {
var args = [].slice.call(arguments);
var constructor = args.shift();
var context = Object.create(constructor.prototype);
var result = constructor.apply(context, args);
return (typeof result === 'object' && result != null) ? result : context;
}
var actor = _new(Person, "张三", 28);
```
## instanceof运算符
`instanceof`运算符返回一个布尔值，表示一个对象是否由某个构造函数创建。
```javascript
var v = new Vehicle();
v instanceof Vehicle // true
```
`instanceof`运算符的左边是实例对象，右边是构造函数。
在JavaScript之中，只要是对象，就有对应的构造函数。因此，`instanceof`运算符可以用来判断值的类型。
```javascript
[1, 2, 3] instanceof Array // true
({}) instanceof Object // true
```
上面代码表示数组和对象则分别是`Array`对象和`Object`对象的实例。最后那一行的空对象外面，之所以要加括号，是因为如果不加，JavaScript引擎会把一对大括号解释为一个代码块，而不是一个对象，从而导致这一行代码被解释为`{}; instanceof Object`，引擎就会报错。
注意，`instanceof`运算符只能用于对象，不适合用于原始类型的值。
```javascript
var s = 'hello';
s instanceof String // false
var s = new String('hello');
s instanceof String // true
```
上面代码中，字符串不是`String`对象的实例（因为字符串不是对象），所以返回`false`，而字符串对象是`String`对象的实例，所以返回`true`。
此外，`undefined`和`null`不是对象，所以`instanceOf`运算符总是返回`false`。
```javascript
undefined instanceof Object // false
null instanceof Object // false
```
如果存在继承关系，也就是说，`a`是`A`的实例，而`A`继承了`B`，那么`instanceof`运算符对`A`和`B`都返回`true`。
```javascript
var a = [];
a instanceof Array // true
a instanceof Object // true
```
上面代码表示，`a`是一个数组，所以它是`Array`的实例；同时，`Array`继承了`Object`，所以`a`也是`Object`的实例。
利用`instanceof`运算符，还可以巧妙地解决，调用构造函数时，忘了加`new`命令的问题。
```javascript
function Fubar (foo, bar) {
if (this instanceof Fubar) {
this._foo = foo;
this._bar = bar;
}
else {
return new Fubar(foo, bar);
}
}
```
上面代码使用`instanceof`运算符，在函数体内部判断`this`关键字是否为构造函数`Fubar`的实例。如果不是，就表明忘了加`new`命令。
## this关键字
### 涵义
构造函数内部需要用到`this`关键字。那么，`this`关键字到底是什么意思呢？
`this`就是指当前对象，或者说，指函数当前的运行环境。
```javascript
this['property']
this.property
```
上面代码中，`this`就代表`property`属性当前所在的对象。
再看一个例子。
```html
<input type="text" name="age" size=3 onChange="validate(this, 18, 99);">
<script>
function validate(obj, lowval, hival){
if ((obj.value < lowval) || (obj.value > hival))
console.log('Invalid Value!');
}
</script>
```
上面代码是一个文本输入框，每当用户输入一个值，就会调用`onChange`回调函数，验证这个值是否在指定范围。回调函数传入`this`，就代表传入当前对象（即文本框），然后就可以从`this.value`上面读到用户的输入值。
在JavaScript语言之中，所有函数都是在某个运行环境之中运行，`this`就是这个环境。对于JavaScipt语言来说，一切皆对象，运行环境也是对象，所以可以理解成，所有函数总是在某个对象之中运行，`this`就指向这个对象。这本来并不会让用户糊涂，但是JavaScript支持运行环境动态切换，也就是说，this的指向是动态的，没有办法事先确定到底指向哪个对象，这才是最让初学者感到困惑的地方。
举例来说，有一个函数`f`，它同时充当`a`对象和`b`对象的方法。JavaScript允许函数f的运行环境动态切换，即一会属于`a`对象，一会属于`b`对象，这就要靠`this`关键字来办到。
```javascript
function f() {
console.log(this.x);
};
var a = {
x: 'a'
};
a.m = f;
var b = {
x:'b'
};
b.m = f;
a.m() // a
b.m() // b
```
上面代码中，函数`f`可以打印出当前运行环境中`x`变量的值。当`f`属于`a`对象时，`this`指向`a`；当`f`属于`b`对象时，`this`指向`b`，因此打印出了不同的值。由于`this`的指向可变，所以可以手动切换运行环境，以达到某种特定的目的。
前面说过，所谓“运行环境”就是对象，this指函数运行时所在的那个对象。如果一个函数在全局环境中运行，this就是指顶层对象（浏览器中为window对象）；如果一个函数作为某个对象的方法运行，this就是指那个对象。
可以近似地认为，this是所有函数运行时的一个隐藏参数，决定了函数的运行环境。
### 使用场合
this的使用可以分成以下几个场合。
**（1）全局环境**
在全局环境使用this，它指的就是顶层对象window。
```javascript
this === window // true
function f() {
console.log(this === window); // true
}
```
上面代码说明，不管是不是在函数内部，只要是在全局环境下运行，this就是指全局对象window。
**（2）构造函数**
构造函数中的this，指的是实例对象。
```javascript
var O = function(p) {
this.p = p;
};
O.prototype.m = function() {
return this.p;
};
```
上面代码定义了一个构造函数O。由于this指向实例对象，所以在构造函数内部定义this.p，就相当于定义实例对象有一个p属性；然后m方法可以返回这个p属性。
```javascript
var o = new O("Hello World!");
o.p // "Hello World!"
o.m() // "Hello World!"
```
**（3）对象的方法**
当a对象的方法被赋予b对象，该方法就变成了普通函数，其中的this就从指向a对象变成了指向b对象。这就是this取决于运行时所在的对象的含义，所以要特别小心。如果将某个对象的方法赋值给另一个对象，会改变this的指向。
```javascript
var o1 = new Object();
o1.m = 1;
o1.f = function (){ console.log(this.m);};
o1.f() // 1
var o2 = new Object();
o2.m = 2;
o2.f = o1.f
o2.f() // 2
```
从上面代码可以看到，f是o1的方法，但是如果在o2上面调用这个方法，f方法中的this就会指向o2。这就说明JavaScript函数的运行环境完全是动态绑定的，可以在运行时切换。
如果不想改变this的指向，可以将o2.f改写成下面这样。
```javascript
o2.f = function (){ o1.f() };
o2.f() // 1
```
上面代码表示，由于f方法这时是在o1下面运行，所以this就指向o1。
有时，某个方法位于多层对象的内部，这时如果为了简化书写，把该方法赋值给一个变量，往往会得到意想不到的结果。
```javascript
var a = {
b : {
m : function() {
console.log(this.p);
},
p : 'Hello'
}
};
var hello = a.b.m;
hello() // undefined
```
上面代码表示，m属于多层对象内部的一个方法。为求简写，将其赋值给hello变量，结果调用时，this指向了全局对象。为了避免这个问题，可以只将m所在的对象赋值给hello，这样调用时，this的指向就不会变。
```javascript
var hello = a.b;
hello.m() // Hello
```
**（4）Node.js**
在Node.js中，this的指向又分成两种情况。全局环境中，this指向全局对象global；模块环境中，this指向module.exports。
```javascript
// 全局环境
this === global // true
// 模块环境
this === module.exports // true
```
### 使用注意点
**（1）避免多层this**
由于this的指向是不确定的，所以切勿在函数中包含多层的this。
```javascript
var o = {
f1: function() {
console.log(this);
var f2 = function() {
console.log(this);
}();
}
}
o.f1()
// Object
// Window
```
上面代码包含两层this，结果运行后，第一层指向该对象，第二层指向全局对象。一个解决方法是在第二层改用一个指向外层this的变量。
```javascript
var o = {
f1: function() {
console.log(this);
var that = this;
var f2 = function() {
console.log(that);
}();
}
}
o.f1()
// Object
// Object
```
上面代码定义了变量that，固定指向外层的this，然后在内层使用that，就不会发生this指向的改变。
**（2）避免数组处理方法中的this**
数组的map和foreach方法，允许提供一个函数作为参数。这个函数内部不应该使用this。
```javascript
var o = {
v: 'hello',
p: [ 'a1', 'a2' ],
f: function f() {
this.p.forEach(function (item) {
console.log(this.v+' '+item);
});
}
}
o.f()
// undefined a1
// undefined a2
```
上面代码中，foreach方法的参数函数中的this，其实是指向window对象，因此取不到o.v的值。
解决这个问题的一种方法，是使用中间变量。
```javascript
var o = {
v: 'hello',
p: [ 'a1', 'a2' ],
f: function f() {
var that = this;
this.p.forEach(function (item) {
console.log(that.v+' '+item);
});
}
}
o.f()
// hello a1
// hello a2
```
另一种方法是将this当作foreach方法的第二个参数，固定它的运行环境。
```javascript
var o = {
v: 'hello',
p: [ 'a1', 'a2' ],
f: function f() {
this.p.forEach(function (item) {
console.log(this.v+' '+item);
}, this);
}
}
o.f()
// hello a1
// hello a2
```
**（3）避免回调函数中的this**
回调函数中的this往往会改变指向，最好避免使用。
```javascript
var o = new Object();
o.f = function (){
console.log(this === o);
}
o.f() // true
```
上面代码表示，如果调用o对象的f方法，其中的this就是指向o对象。
但是，如果将f方法指定给某个按钮的click事件，this的指向就变了。
```javascript
$('#button').on('click', o.f);
```
点击按钮以后，控制台会显示false。原因是此时this不再指向o对象，而是指向按钮的DOM对象，因为f方法是在按钮对象的环境中被调用的。这种细微的差别，很容易在编程中忽视，导致难以察觉的错误。
为了解决这个问题，可以采用下面的一些方法对this进行绑定，也就是使得this固定指向某个对象，减少不确定性。
## 固定this的方法
`this`的动态切换，固然为JavaScript创造了巨大的灵活性，但也使得编程变得困难和模糊。有时，需要把`this`固定下来，避免出现意想不到的情况。JavaScript提供了`call`、`apply`、`bind`这三个方法，来切换/固定`this`的指向。
### call方法
函数的call方法，可以指定该函数内部this的指向（即函数执行时所在的作用域），然后在所指定的作用域中，调用该函数。
```javascript
var o = {};
var f = function (){
return this;
};
f() === this // true
f.call(o) === o // true
```
上面代码中，在全局环境运行函数f时，this指向全局环境；call方法可以改变this的指向，指定this指向对象o，然后在对象o的作用域中运行函数f。
再看一个例子。
```javascript
var n = 123;
var o = { n : 456 };
function a() {
console.log(this.n);
}
a.call() // 123
a.call(null) // 123
a.call(undefined) // 123
a.call(window) // 123
a.call(o) // 456
```
上面代码中，a函数中的this关键字，如果指向全局对象，返回结果为123。如果使用call方法将this关键字指向o对象，返回结果为456。可以看到，如果call方法没有参数，或者参数为null或undefined，则等同于指向全局对象。
call方法的完整使用格式如下。
```javascript
func.call(thisValue, arg1, arg2, ...)
```
它的第一个参数就是this所要指向的那个对象，后面的参数则是函数调用时所需的参数。
```javascript
function add(a,b) {
return a+b;
}
add.call(this,1,2) // 3
```
上面代码中，call方法指定函数add在当前环境（对象）中运行，并且参数为1和2，因此函数add运行后得到3。
call方法的一个应用是调用对象的原生方法。
```javascript
var obj = {};
obj.hasOwnProperty('toString') // false
obj.hasOwnProperty = function (){
return true;
};
obj.hasOwnProperty('toString') // true
Object.prototype.hasOwnProperty.call(obj, 'toString') // false
```
上面代码中，hasOwnProperty是obj对象继承的方法，如果这个方法一旦被覆盖，就不会得到正确结果。call方法可以解决这个方法，它将hasOwnProperty方法的原始定义放到obj对象上执行，这样无论obj上有没有同名方法，都不会影响结果。
### apply方法
apply方法的作用与call方法类似，也是改变this指向，然后再调用该函数。唯一的区别就是，它接收一个数组作为函数执行时的参数，使用格式如下。
```javascript
func.apply(thisValue, [arg1, arg2, ...])
```
apply方法的第一个参数也是this所要指向的那个对象，如果设为null或undefined，则等同于指定全局对象。第二个参数则是一个数组，该数组的所有成员依次作为参数，传入原函数。原函数的参数，在call方法中必须一个个添加，但是在apply方法中，必须以数组形式添加。
请看下面的例子。
```javascript
function f(x,y){
console.log(x+y);
}
f.call(null,1,1) // 2
f.apply(null,[1,1]) // 2
```
上面的f函数本来接受两个参数，使用apply方法以后，就变成可以接受一个数组作为参数。
利用这一点，可以做一些有趣的应用。
**（1）找出数组最大元素**
JavaScript不提供找出数组最大元素的函数。结合使用apply方法和Math.max方法，就可以返回数组的最大元素。
```javascript
var a = [10, 2, 4, 15, 9];
Math.max.apply(null, a)
// 15
```
**（2）将数组的空元素变为undefined**
通过apply方法，利用Array构造函数将数组的空元素变成undefined。
```javascript
Array.apply(null, ["a",,"b"])
// [ 'a', undefined, 'b' ]
```
空元素与undefined的差别在于，数组的foreach方法会跳过空元素，但是不会跳过undefined。因此，遍历内部元素的时候，会得到不同的结果。
```javascript
var a = ["a",,"b"];
function print(i) {
console.log(i);
}
a.forEach(print)
// a
// b
Array.apply(null,a).forEach(print)
// a
// undefined
// b
```
**（3）转换类似数组的对象**
另外，利用数组对象的slice方法，可以将一个类似数组的对象（比如arguments对象）转为真正的数组。
```javascript
Array.prototype.slice.apply({0:1,length:1})
// [1]
Array.prototype.slice.apply({0:1})
// []
Array.prototype.slice.apply({0:1,length:2})
// [1, undefined]
Array.prototype.slice.apply({length:1})
// [undefined]
```
上面代码的apply方法的参数都是对象，但是返回结果都是数组，这就起到了将对象转成数组的目的。从上面代码可以看到，这个方法起作用的前提是，被处理的对象必须有length属性，以及相对应的数字键。
**（4）绑定回调函数的对象**
上一节按钮点击事件的例子，可以改写成
```javascript
var o = new Object();
o.f = function (){
console.log(this === o);
}
var f = function (){
o.f.apply(o);
// 或者 o.f.call(o);
};
$("#button").on("click", f);
```
点击按钮以后，控制台将会显示true。由于apply方法（或者call方法）不仅绑定函数执行时所在的对象，还会立即执行函数，因此不得不把绑定语句写在一个函数体内。更简洁的写法是采用下面介绍的bind方法。
### bind方法
bind方法用于将函数体内的this绑定到某个对象，然后返回一个新函数。它的使用格式如下。
```javascript
func.bind(thisValue, arg1, arg2,...)
```
下面是一个例子。
```javascript
var o1 = new Object();
o1.p = 123;
o1.m = function (){
console.log(this.p);
};
o1.m() // 123
var o2 = new Object();
o2.p = 456;
o2.m = o1.m;
o2.m() // 456
o2.m = o1.m.bind(o1);
o2.m() // 123
```
上面代码使用bind方法将o1.m方法绑定到o1以后，在o2对象上调用o1.m的时候，o1.m函数体内部的this.p就不再到o2对象去寻找p属性的值了。
bind比call方法和apply方法更进一步的是，除了绑定this以外，还可以绑定原函数的参数。
```javascript
var add = function (x,y) {
return x*this.m + y*this.n;
}
var obj = {
m: 2,
n: 2
};
var newAdd = add.bind(obj, 5);
newAdd(5)
// 20
```
上面代码中，bind方法除了绑定this对象，还绑定了add函数的第一个参数，结果newAdd函数只要一个参数就能运行了。
如果bind方法的第一个参数是null或undefined，等于将this绑定到全局对象，函数运行时this指向全局对象（在浏览器中为window）。
```javascript
function add(x,y) { return x+y; }
var plus5 = add.bind(null, 5);
plus5(10) // 15
```
上面代码除了将add函数的运行环境绑定为全局对象，还将add函数的第一个参数绑定为5，然后返回一个新函数。以后，每次运行这个新函数，就只需要提供另一个参数就够了。
bind方法有一些使用注意点。
**（1）每一次返回一个新函数**
bind方法每运行一次，就返回一个新函数，这会产生一些问题。比如，监听事件的时候，不能写成下面这样。
```javascript
element.addEventListener('click', o.m.bind(o));
```
上面代码表示，click事件绑定bind方法生成的一个匿名函数。这样会导致无法取消绑定，所以，下面的代码是无效的。
```javascript
element.removeEventListener('click', o.m.bind(o));
```
正确的方法是写成下面这样：
```javascript
var listener = o.m.bind(o);
element.addEventListener('click', listener);
// ...
element.removeEventListener('click', listener);
```
**（2）bind方法的自定义代码**
对于那些不支持bind方法的老式浏览器，可以自行定义bind方法。
```javascript
if(!('bind' in Function.prototype)){
Function.prototype.bind = function(){
var fn = this;
var context = arguments[0];
var args = Array.prototype.slice.call(arguments, 1);
return function(){
return fn.apply(context, args);
}
}
}
```
**（3）jQuery的proxy方法**
除了用bind方法绑定函数运行时所在的对象，还可以使用jQuery的$.proxy方法，它与bind方法的作用基本相同。
```javascript
$("#button").on("click", $.proxy(o.f, o));
```
上面代码表示，$.proxy方法将o.f方法绑定到o对象。
**（4）结合call方法使用**
利用bind方法，可以改写一些JavaScript原生方法的使用形式，以数组的slice方法为例。
```javascript
[1,2,3].slice(0,1)
// [1]
// 等同于
Array.prototype.slice.call([1,2,3], 0, 1)
// [1]
```
上面的代码中，数组的slice方法从[1, 2, 3]里面，按照指定位置和长度切分出另一个数组。这样做的本质是在[1, 2, 3]上面调用Array.prototype.slice方法，因此可以用call方法表达这个过程，得到同样的结果。
call方法实质上是调用Function.prototype.call方法，因此上面的表达式可以用bind方法改写。
```javascript
var slice = Function.prototype.call.bind(Array.prototype.slice);
slice([1, 2, 3], 0, 1) // [1]
```
可以看到，利用bind方法，将[1, 2, 3].slice(0, 1)变成了slice([1, 2, 3], 0, 1)的形式。这种形式的改变还可以用于其他数组方法。
```javascript
var push = Function.prototype.call.bind(Array.prototype.push);
var pop = Function.prototype.call.bind(Array.prototype.pop);
var a = [1 ,2 ,3];
push(a, 4)
a // [1, 2, 3, 4]
pop(a)
a // [1, 2, 3]
```
如果再进一步，将Function.prototype.call方法绑定到Function.prototype.bind对象，就意味着bind的调用形式也可以被改写。
```javascript
function f(){
console.log(this.v);
}
var o = { v: 123 };
var bind = Function.prototype.call.bind(Function.prototype.bind);
bind(f,o)() // 123
```
上面代码表示，将Function.prototype.call方法绑定Function.prototype.bind以后，bind方法的使用形式从f.bind(o)，变成了bind(f, o)。
<h2 id="4.2">封装</h2>
## prototype对象
### 构造函数的缺点
JavaScript通过构造函数生成新对象，因此构造函数可以视为对象的模板。实例对象的属性和方法，可以定义在构造函数内部。
```javascript
function Cat (name, color) {
this.name = name;
this.color = color;
}
var cat1 = new Cat('大毛', '白色');
cat1.name // '大毛'
cat1.color // '白色'
```
上面代码的`Cat`函数是一个构造函数，函数内部定义了`name`属性和`color`属性，所有实例对象都会生成这两个属性。但是，这样做是对系统资源的浪费，因为同一个构造函数的对象实例之间，无法共享属性。
```javascript
function Cat(name, color) {
this.name = name;
this.color = color;
this.meow = function () {
console.log('mew, mew, mew...');
};
}
var cat1 = new Cat('大毛', '白色');
var cat2 = new Cat('二毛', '黑色');
cat1.meow === cat2.meow
// false
```
上面代码中，`cat1`和`cat2`是同一个构造函数的实例。但是，它们的`meow`方法是不一样的，就是说每新建一个实例，就会新建一个`meow`方法。这既没有必要，又浪费系统资源，因为所有`meow`方法都是同样的行为，完全应该共享。
### prototype属性的作用
在JavaScript语言中，每一个对象都有一个对应的原型对象，被称为prototype对象。定义在原型对象上的所有属性和方法，都能被派生对象继承。这就是JavaScript继承机制的基本设计。
除了这种方法，JavaScript还提供了另一种定义实例对象的方法。我们知道，构造函数是一个函数，同时也是一个对象，也有自己的属性和方法，其中有一个prototype属性指向另一个对象，一般称为prototype对象。该对象非常特别，只要定义在它上面的属性和方法，能被所有实例对象共享。也就是说，构造函数生成实例对象时，自动为实例对象分配了一个prototype属性。
```javascript
function Animal (name) {
this.name = name;
}
Animal.prototype.color = "white";
var cat1 = new Animal('大毛');
var cat2 = new Animal('二毛');
cat1.color // 'white'
cat2.color // 'white'
```
上面代码对构造函数Animal的prototype对象，添加了一个color属性。结果，实例对象cat1和cat2都带有该属性。
更特别的是，只要修改prototype对象，变动就立刻会体现在实例对象。
```javascript
Animal.prototype.color = "yellow";
cat1.color // 'yellow'
cat2.color // 'yellow'
```
上面代码将prototype对象的color属性的值改为yellow，两个实例对象的color属性的值立刻就跟着变了。这是因为实例对象其实没有color属性，都是读取prototype对象的color属性。也就是说，当实例对象本身没有某个属性或方法的时候，它会到构造函数的prototype对象去寻找该属性或方法。这就是prototype对象的特殊之处。
如果实例对象自身就有某个属性或方法，它就不会再去prototype对象寻找这个属性或方法。
```javascript
cat1.color = 'black';
cat2.color // 'yellow'
Animal.prototype.color // "yellow";
```
上面代码将实例对象cat1的color属性改为black，就使得它不用再去prototype对象读取color属性，后者的值依然为yellow。
总而言之，prototype对象的作用，就是定义所有实例对象共享的属性和方法，所以它也被称为实例对象的原型，而实例对象可以视作从prototype对象衍生出来的。
```javascript
Animal.prototype.walk = function () {
console.log(this.name + ' is walking.');
};
```
上面代码在Animal.protype对象上面定义了一个walk方法，这个方法将可以在所有Animal实例对象上面调用。
### 原型链
由于JavaScript的所有对象都有构造函数，而所有构造函数都有prototype属性（其实是所有函数都有prototype属性），所以所有对象都有自己的prototype原型对象。
因此，一个对象的属性和方法，有可能是定义它自身上面，也有可能定义在它的原型对象上面（就像上面代码中的walk方法）。由于原型本身也是对象，又有自己的原型，所以形成了一条原型链（prototype chain）。比如，a对象是b对象的原型，b对象是c对象的原型，以此类推。因为追根溯源，最源头的对象都是从Object构造函数生成（使用new Object()命令），所以如果一层层地上溯，所有对象的原型最终都可以上溯到Object.prototype。那么，Object.prototype有没有原型呢？回答可以是有，也可以是没有，因为Object.prototype的原型是没有任何属性和方法的null。
```javascript
Object.getPrototypeOf(Object.prototype)
// null
```
上面代码表示Object.prototype对象的原型是null，由于null没有任何属性，所以原型链到此为止。
“原型链”的作用在于，当读取对象的某个属性时，JavaScript引擎先寻找对象本身的属性，如果找不到，就到它的原型去找，如果还是找不到，就到原型的原型去找。以此类推，如果直到最顶层的Object.prototype还是找不到，则返回undefined。
举例来说，如果让某个函数的prototype属性指向一个数组，就意味着该函数可以用作数组的构造函数，因为它生成的实例对象都可以通过prototype属性调用数组方法。
```javascript
function MyArray (){}
MyArray.prototype = new Array();
MyArray.prototype.constructor = MyArray;
var mine = new MyArray();
mine.push(1, 2, 3);
mine.length // 3
mine instanceof Array // true
```
上面代码的mine是MyArray的实例对象，由于MyArray的prototype属性指向一个数组，使得mine可以调用数组方法（这些方法其实定义在数组的prototype对象上面）。至于最后那行instanceof表达式，我们知道instanceof运算符用来比较一个对象是否为某个构造函数的实例，最后一行表示mine为Array的实例。
```javascript
mine instanceof Array
// 等同于
(Array === MyArray.prototype.constructor) ||
(Array === Array.prototype.constructor) ||
(Array === Object.prototype.constructor )
```
上面代码说明了instanceof运算符的实质，它依次与实例对象的所有原型对象的constructor属性（关于该属性的介绍，请看下一节）进行比较，只要有一个符合就返回true，否则返回false。
### constructor属性
prototype对象有一个constructor属性，默认指向prototype对象所在的构造函数。
```javascript
function P() {}
P.prototype.constructor === P
// true
```
由于constructor属性定义在prototype对象上面，意味着可以被所有实例对象继承。
```javascript
function P() {}
var p = new P();
p.constructor
// function P() {}
p.constructor === P.prototype.constructor
// true
p.hasOwnProperty('constructor')
// false
```
上面代码表示p是构造函数P的实例对象，但是p自身没有contructor属性，该属性其实是读取原型链上面的`P.prototype.constructor`属性。
constructor属性的作用是分辨prototype对象到底定义在哪个构造函数上面。
```javascript
function F(){};
var f = new F();
f.constructor === F // true
f.constructor === RegExp // false
```
上面代码表示，使用constructor属性，确定变量f的构造函数是F，而不是RegExp。
## Object.getPrototypeOf方法
Object.getPrototypeOf方法返回一个对象的原型。
```javascript
// 空对象的原型是Object.prototype
Object.getPrototypeOf({}) === Object.prototype
// true
// 函数的原型是Function.prototype
function f() {}
Object.getPrototypeOf(f) === Function.prototype
// true
// 假定F为构造函数，f为F的实例对象
// 那么，f的原型是F.prototype
var f = new F();
Object.getPrototypeOf(f) === F.prototype
// true
```
## Object.create方法
`Object.create`方法用于生成新的对象，可以替代`new`命令。它接受一个对象作为参数，返回一个新对象，后者完全继承前者的属性，即前者成为后者的原型。
```javascript
var o1 = { p: 1 };
var o2 = Object.create(o1);
o2.p // 1
```
上面代码中，`Object.create`方法在`o1`的基础上生成了`o2`。此时，`o1`成了`o2`的原型，也就是说，`o2`继承了`o1`所有的属性的方法。
`Object.create`方法基本等同于下面的代码，如果老式浏览器不支持`Object.create`方法，可以用下面代码自己部署。
```javascript
if (typeof Object.create !== "function") {
Object.create = function (o) {
function F() {}
F.prototype = o;
return new F();
};
}
```
上面代码表示，`Object.create`方法实质是新建一个构造函数`F`，然后让`F`的`prototype`属性指向作为原型的对象`o`，最后返回一个`F`的实例，从而实现让实例继承`o`的属性。
下面三种方式生成的新对象是等价的。
```javascript
var o1 = Object.create({});
var o2 = Object.create(Object.prototype);
var o3 = new Object();
```
如果想要生成一个不继承任何属性（比如toString和valueOf方法）的对象，可以将Object.create的参数设为null。
```javascript
var o = Object.create(null);
o.valueOf()
// TypeError: Object [object Object] has no method 'valueOf'
```
上面代码表示，如果对象o的原型是null，它就不具备一些定义在Object.prototype对象上面的属性，比如valueOf方法。
使用Object.create方法的时候，必须提供对象原型，否则会报错。
```javascript
Object.create()
// TypeError: Object prototype may only be an Object or null
```
Object.create方法生成的新对象，动态继承了原型。在原型上添加或修改任何方法，会立刻反映在新对象之上。
```javascript
var o1 = { p: 1 };
var o2 = Object.create(o1);
o1.p = 2;
o2.p
// 2
```
上面代码表示，修改对象原型会影响到新生成的对象。
除了对象的原型，Object.create方法还可以接受第二个参数，表示描述属性的attributes对象，跟用在Object.defineProperties方法的格式是一样的。它所描述的对象属性，会添加到新对象。
```javascript
var o = Object.create(Object.prototype, {
p1: { value: 123, enumerable: true },
p2: { value: "abc", enumerable: true }
});
o.p1 // 123
o.p2 // "abc"
```
由于Object.create方法不使用构造函数，所以不能用instanceof运算符判断，对象是哪一个构造函数的实例。这时，可以使用下面的isPrototypeOf方法，判读原型是哪一个对象。
## isPrototypeOf方法
isPrototypeOf方法用来判断一个对象是否是另一个对象的原型。
```javascript
var o1 = {};
var o2 = Object.create(o1);
var o3 = Object.create(o2);
o2.isPrototypeOf(o3) // true
o1.isPrototypeOf(o3) // true
```
上面代码表明，只要某个对象处在原型链上，isProtypeOf都返回true。
<h2 id="4.3">继承</h2>
## 概述
JavaScript的所有对象，都有自己的继承链。也就是说，每个对象都继承另一个对象，该对象称为“原型”（prototype）对象。只有`null`除外，它没有自己的原型对象。
原型对象的重要性在于，如果`A`对象是`B`对象的原型，那么`B`对象可以拿到`A`对象的所有属性和方法。`Object.getPrototypof`方法用于获取当前对象的原型对象。
```javascript
var p = Object.getPrototypeOf(obj);
```
上面代码中，对象`p`就是对象`obj`的原型对象。
`Object.create`方法用于生成一个新的对象，继承指定对象。
```javascript
var obj = Object.create(p);
```
上面代码中，新生成的`obj`对象的原型就是对象`p`。
非标准的`__proto__`属性（前后各两个下划线），可以改写某个对象的原型对象。但是，应该尽量少用这个属性，而是用`Object.getPrototypeof()`和`Object.setPrototypeOf()`，进行原型对象的读写操作。
```javascript
var obj = {};
var p = {};
obj.__proto__ = p;
Object.getPrototypeOf(obj) === p // true
```
上面代码通过`__proto__`属性，将`p`对象设为`obj`对象的原型。
下面是一个实际的例子。
```javascript
var a = {x: 1};
var b = {__proto__: a};
b.x // 1
```
上面代码中，`b`对象通过`__proto__`属性，将自己的原型对象设为`a`对象，因此`b`对象可以拿到`a`对象的所有属性和方法。`b`对象本身并没有`x`属性，但是JavaScript引擎通过`__proto__`属性，找到它的原型对象`a`，然后读取`a`的`x`属性。
`new`命令通过构造函数新建实例对象，实质就是将实例对象的原型绑定构造函数的`prototype`属性，然后在实例对象上执行构造函数。
```javascript
var o = new Foo();
// 等同于
var o = new Object();
o.__proto__ = Foo.prototype;
Foo.call(o);
```
原型对象自己的`__proto__`属性，也可以指向其他对象，从而一级一级地形成“原型链”（prototype chain）。
```javascript
var a = { x: 1 };
var b = { __proto__: a };
var c = { __proto__: b };
c.x // 1
```
需要注意的是，一级级向上，在原型链寻找某个属性，对性能是有影响的。所寻找的属性在越上层的原型对象，对性能的影响越大。如果寻找某个不存在的属性，将会遍历整个原型链。
### this的动作指向
不管`this`在哪里定义，使用的时候，它总是指向当前对象，而不是原型对象。
```javascript
var o = {
a: 2,
m: function(b) {
return this.a + 1;
}
};
var p = Object.create(o);
p.a = 12;
p.m() // 13
```
上面代码中，`p`对象的`m`方法来自它的原型对象`o`。这时，`m`方法内部的`this`对象，不指向`o`，而是指向`p`。
## 构造函数的继承
这个小节介绍，如何让一个构造函数，继承另一个构造函数。
假定有一个`Shape`构造函数。
```javascript
function Shape() {
this.x = 0;
this.y = 0;
}
Shape.prototype.move = function (x, y) {
this.x += x;
this.y += y;
console.info('Shape moved.');
};
```
`Rectangle`构造函数继承`Shape`。
```javascript
function Rectangle() {
Shape.call(this); // 调用父类构造函数
}
// 另一种写法
function Rectangle() {
this.base = Shape;
this.base();
}
// 子类继承父类的方法
Rectangle.prototype = Object.create(Shape.prototype);
Rectangle.prototype.constructor = Rectangle;
var rect = new Rectangle();
rect instanceof Rectangle // true
rect instanceof Shape // true
rect.move(1, 1) // 'Shape moved.'
```
上面代码表示，构造函数的继承分成两部分，一部分是子类调用父类的构造方法，另一部分是子类的原型指向父类的原型。
上面代码中，子类是整体继承父类。有时，只需要单个方法的继承，这时可以采用下面的写法。
```javascript
ClassB.prototype.print = function() {
ClassA.prototype.print.call(this);
// some code
}
```
上面代码中，子类`B`的`print`方法先调用父类`A`的`print`方法，再部署自己的代码。这就等于继承了父类`A`的`print`方法。
## \_\_proto\_\_属性
`__proto__`属性指向当前对象的原型对象，即构造函数的`prototype`属性。
```javascript
var obj = new Object();
obj.__proto__ === Object.prototype
// true
obj.__proto__ === obj.constructor.prototype
// true
```
上面代码首先新建了一个对象`obj`，它的`__proto__`属性，指向构造函数（`Object`或`obj.constructor`）的`prototype`属性。所以，两者比较以后，返回`true`。
因此，获取实例对象`obj`的原型对象，有三种方法。
- `obj.__proto__`
- `obj.constructor.prototype`
- `Object.getPrototypeOf(obj)`
上面三种方法之中，前两种都不是很可靠。最新的ES6标准规定，`__proto__`属性只有浏览器才需要部署，其他环境可以不部署。而`obj.constructor.prototype`在手动改变原型对象时，可能会失效。
```javascript
var P = function () {};
var p = new P();
var C = function () {};
C.prototype = p;
var c = new C();
c.constructor.prototype === p // false
```
上面代码中，`C`构造函数的原型对象被改成了`p`，结果`c.constructor.prototype`就失真了。所以，在改变原型对象时，一般要同时设置`constructor`属性。
```javascript
C.prototype = p;
C.prototype.constructor = C;
c.constructor.prototype === p // true
```
所以，推荐使用第三种`Object.getPrototypeOf`方法，获取原型对象。该方法的用法如下。
```javascript
var o = new Object();
Object.getPrototypeOf(o) === Object.prototype
// true
```
可以使用`Object.getPrototypeOf`方法，检查浏览器是否支持`__proto__`属性，老式浏览器不支持这个属性。
```javascript
Object.getPrototypeOf({ __proto__: null }) === null
```
上面代码将一个对象的`__proto__`属性设为`null`，然后使用`Object.getPrototypeOf`方法获取这个对象的原型，判断是否等于`null`。如果当前环境支持`__proto__`属性，两者的比较结果应该是`true`。
有了`__proto__`属性，就可以很方便得设置实例对象的原型了。假定有三个对象`machine`、`vehicle`和`car`，其中`machine`是`vehicle`的原型，`vehicle`又是`car`的原型，只要两行代码就可以设置。
```javascript
vehicle.__proto__ = machine;
car.__proto__ = vehicle;
```
下面是一个实例，通过`__proto__`属性与`constructor.prototype`属性两种方法，分别读取定义在原型对象上的属性。
```javascript
Array.prototype.p = 'abc';
var a = new Array();
a.__proto__.p // abc
a.constructor.prototype.p // abc
```
显然，`__proto__`看上去更简洁一些。
通过构造函数生成实例对象时，实例对象的`__proto__`属性自动指向构造函数的prototype对象。
```javascript
var f = function (){};
var a = {};
f.prototype = a;
var o = new f();
o.__proto__ === a
// true
```
## 属性的继承
属性分成两种。一种是对象自身的原生属性，另一种是继承自原型的继承属性。
### 对象的原生属性
对象本身的所有属性，可以用Object.getOwnPropertyNames方法获得。
```javascript
Object.getOwnPropertyNames(Date)
// ["parse", "arguments", "UTC", "caller", "name", "prototype", "now", "length"]
```
对象本身的属性之中，有的是可以枚举的（enumerable），有的是不可以枚举的。只获取那些可以枚举的属性，使用Object.keys方法。
```javascript
Object.keys(Date) // []
```
### hasOwnProperty()
`hasOwnProperty`方法返回一个布尔值，用于判断某个属性定义在对象自身，还是定义在原型链上。
```javascript
Date.hasOwnProperty('length')
// true
Date.hasOwnProperty('toString')
// false
```
`hasOwnProperty`方法是JavaScript之中唯一一个处理对象属性时，不会遍历原型链的方法。
### 对象的继承属性
用Object.create方法创造的对象，会继承所有原型对象的属性。
```javascript
var proto = { p1: 123 };
var o = Object.create(proto);
o.p1 // 123
o.hasOwnProperty("p1") // false
```
### 获取所有属性
判断一个对象是否具有某个属性（不管是自身的还是继承的），使用in运算符。
```javascript
"length" in Date // true
"toString" in Date // true
```
获得对象的所有可枚举属性（不管是自身的还是继承的），可以使用for-in循环。
```javascript
var o1 = {p1: 123};
var o2 = Object.create(o1,{
p2: { value: "abc", enumerable: true }
});
for (p in o2) {console.info(p);}
// p2
// p1
```
为了在`for...in`循环中获得对象自身的属性，可以采用hasOwnProperty方法判断一下。
```javascript
for ( var name in object ) {
if ( object.hasOwnProperty(name) ) {
/* loop code */
}
}
```
获得对象的所有属性（不管是自身的还是继承的，以及是否可枚举），可以使用下面的函数。
```javascript
function inheritedPropertyNames(obj) {
var props = {};
while(obj) {
Object.getOwnPropertyNames(obj).forEach(function(p) {
props[p] = true;
});
obj = Object.getPrototypeOf(obj);
}
return Object.getOwnPropertyNames(props);
}
```
用法如下：
```javascript
inheritedPropertyNames(Date)
// ["caller", "constructor", "toString", "UTC", "call", "parse", "prototype", "__defineSetter__", "__lookupSetter__", "length", "arguments", "bind", "__lookupGetter__", "isPrototypeOf", "toLocaleString", "propertyIsEnumerable", "valueOf", "apply", "__defineGetter__", "name", "now", "hasOwnProperty"]
```
## 对象的拷贝
如果要拷贝一个对象，需要做到下面两件事情。
- 确保拷贝后的对象，与原对象具有同样的prototype原型对象。
- 确保拷贝后的对象，与原对象具有同样的属性。
下面就是根据上面两点，编写的对象拷贝的函数。
```javascript
function copyObject(orig) {
var copy = Object.create(Object.getPrototypeOf(orig));
copyOwnPropertiesFrom(copy, orig);
return copy;
}
function copyOwnPropertiesFrom(target, source) {
Object
.getOwnPropertyNames(source)
.forEach(function(propKey) {
var desc = Object.getOwnPropertyDescriptor(source, propKey);
Object.defineProperty(target, propKey, desc);
});
return target;
}
```
## 多重继承
JavaScript不提供多重继承功能，即不允许一个对象同时继承多个对象。但是，可以通过变通方法，实现这个功能。
```javascript
function M1(prop) {
this.hello = prop;
}
function M2(prop) {
this.world = prop;
}
function S(p1, p2) {
this.base1 = M1;
this.base1(p1);
this.base2 = M2;
this.base2(p2);
}
S.prototype = new M1();
var s = new S(111, 222);
s.hello // 111
s.world // 222
```
上面代码中，子类`S`同时继承了父类`M1`和`M2`。当然，从继承链来看，`S`只有一个父类`M1`，但是由于在`S`的实例上，同时执行`M1`和`M2`的构造函数，所以它同时继承了这两个类的方法。
<h2 id="4.4">模块化编程</h2>
随着网站逐渐变成"互联网应用程序"，嵌入网页的JavaiScript代码越来越庞大，越来越复杂。网页越来越像桌面程序，需要一个团队分工协作、进度管理、单元测试等等......开发者不得不使用软件工程的方法，管理网页的业务逻辑。
JavaScript模块化编程，已经成为一个迫切的需求。理想情况下，开发者只需要实现核心的业务逻辑，其他都可以加载别人已经写好的模块。
但是，JavaScript不是一种模块化编程语言，ES5不支持"类"（class），更遑论"模块"（module）了。ES6正式支持"类"和"模块"，但还没有成为主流。JavaScript社区做了很多努力，在现有的运行环境中，实现模块的效果。
## 原始写法
模块就是实现特定功能的一组方法。只要把不同的函数（以及记录状态的变量）简单地放在一起，就算是一个模块。
```javascript
function m1(){
//...
}
function m2(){
//...
}
```
上面的函数m1()和m2()，组成一个模块。使用的时候，直接调用就行了。
这种做法的缺点很明显："污染"了全局变量，无法保证不与其他模块发生变量名冲突，而且模块成员之间看不出直接关系。
为了解决上面的缺点，可以把模块写成一个对象，所有的模块成员都放到这个对象里面。
```javascript
var module1 = new Object({
_count : 0,
m1 : function (){
//...
},
m2 : function (){
//...
}
});
```
上面的函数m1()和m2(），都封装在module1对象里。使用的时候，就是调用这个对象的属性。
```javascript
module1.m1();
```
但是，这样的写法会暴露所有模块成员，内部状态可以被外部改写。比如，外部代码可以直接改变内部计数器的值。
```javascript
module1._count = 5;
```
## 使用构造函数封装私有变量
可以利用构造函数，封装私有变量。
```javascript
function StringBuilder() {
var buffer = [];
this.add = function (str) {
buffer.push(str);
};
this.toString = function () {
return buffer.join('');
};
}
```
这种方法将私有变量封装在构造函数中，违反了构造函数与实例对象相分离的原则。并且，非常耗费内存。
```javascript
function StringBuilder() {
this._buffer = [];
}
StringBuilder.prototype = {
constructor: StringBuilder,
add: function (str) {
this._buffer.push(str);
},
toString: function () {
return this._buffer.join('');
}
};
```
这种方法将私有变量放入实例对象中，好处是看上去更自然，但是它的私有变量可以从外部读写，不是很安全。
## 立即执行函数写法
使用"立即执行函数"（Immediately-Invoked Function Expression，IIFE），将相关的属性和方法封装在一个函数作用域里面，可以达到不暴露私有成员的目的。
```javascript
var module1 = (function(){
var _count = 0;
var m1 = function(){
//...
};
var m2 = function(){
//...
};
return {
m1 : m1,
m2 : m2
};
})();
```
使用上面的写法，外部代码无法读取内部的_count变量。
```javascript
console.info(module1._count); //undefined
```
module1就是JavaScript模块的基本写法。下面，再对这种写法进行加工。
## 放大模式
如果一个模块很大，必须分成几个部分，或者一个模块需要继承另一个模块，这时就有必要采用"放大模式"（augmentation）。
```javascript
var module1 = (function (mod){
mod.m3 = function () {
//...
};
return mod;
})(module1);
```
上面的代码为module1模块添加了一个新方法m3()，然后返回新的module1模块。
在浏览器环境中，模块的各个部分通常都是从网上获取的，有时无法知道哪个部分会先加载。如果采用上面的写法，第一个执行的部分有可能加载一个不存在空对象，这时就要采用"宽放大模式"（Loose augmentation）。
```javascript
var module1 = ( function (mod){
//...
return mod;
})(window.module1 || {});
```
与"放大模式"相比，“宽放大模式”就是“立即执行函数”的参数可以是空对象。
## 输入全局变量
独立性是模块的重要特点，模块内部最好不与程序的其他部分直接交互。
为了在模块内部调用全局变量，必须显式地将其他变量输入模块。
```javascript
var module1 = (function ($, YAHOO) {
//...
})(jQuery, YAHOO);
```
上面的module1模块需要使用jQuery库和YUI库，就把这两个库（其实是两个模块）当作参数输入module1。这样做除了保证模块的独立性，还使得模块之间的依赖关系变得明显。
立即执行函数还可以起到命名空间的作用。
```javascript
(function($, window, document) {
function go(num) {
}
function handleEvents() {
}
function initialize() {
}
function dieCarouselDie() {
}
//attach to the global scope
window.finalCarousel = {
init : initialize,
destroy : dieCouraselDie
}
})( jQuery, window, document );
```
上面代码中，finalCarousel对象输出到全局，对外暴露init和destroy接口，内部方法go、handleEvents、initialize、dieCarouselDie都是外部无法调用的。
