Javascript 面向对象编程（一）：封装/构造函数的继承/非构造函数的继承

原文地址：http://www.ruanyifeng.com/blog/2010/05/object-oriented_javascript_encapsulation.html

作者： 阮一峰

日期： 2010年5月17日

学习Javascript，最难的地方是什么？

我觉得，Object（对象）最难。因为Javascript的Object模型很独特，和其他语言都不一样，初学者不容易掌握。

下面就是我的学习笔记，希望对大家学习这个部分有所帮助。我主要参考了以下两本书籍：

《面向对象的Javascript》（Object-Oriented JavaScript）

《Javascript高级程序设计（第二版）》（Professional JavaScript for Web Developers, 2nd Edition)

它们都是非常优秀的Javascript读物，推荐阅读。

笔记分成三部分。今天的第一部分是讨论"封装"（Encapsulation），后面的第二部分和第三部分讨论"继承"（Inheritance）。

============================

Javascript 面向对象编程（一）：封装

作者：阮一峰

Javascript是一种基于对象（object-based）的语言，你遇到的所有东西几乎都是对象。但是，它又不是一种真正的面向对象编程（OOP）语言，因为它的语法中没有class（类）。

那么，如果我们要把"属性"（property）和"方法"（method），封装成一个对象，甚至要从原型对象生成一个实例对象，我们应该怎么做呢？

一、 生成实例对象的原始模式

假定我们把猫看成一个对象，它有"名字"和"颜色"两个属性。

　　var Cat = {

　　　　name : '',

　　　　color : ''

　　} 

现在，我们需要根据这个原型对象的规格（schema），生成两个实例对象。

　　var cat1 = {}; // 创建一个空对象

　　　　cat1.name = "大毛"; // 按照原型对象的属性赋值

　　　　cat1.color = "黄色";

　　var cat2 = {};

　　　　cat2.name = "二毛";

　　　　cat2.color = "黑色";

好了，这就是最简单的封装了，把两个属性封装在一个对象里面。但是，这样的写法有两个缺点，一是如果多生成几个实例，写起来就非常麻烦；二是实例与原型之间，没有任何办法，可以看出有什么联系。

二、 原始模式的改进

我们可以写一个函数，解决代码重复的问题。

　　function Cat(name,color) {

　　　　return {

　　　　　　name:name,

　　　　　　color:color

　　　　}

　　}

然后生成实例对象，就等于是在调用函数：

　　var cat1 = Cat("大毛","黄色");

　　var cat2 = Cat("二毛","黑色");

这种方法的问题依然是，cat1和cat2之间没有内在的联系，不能反映出它们是同一个原型对象的实例。

三、 构造函数模式

为了解决从原型对象生成实例的问题，Javascript提供了一个构造函数（Constructor）模式。

所谓"构造函数"，其实就是一个普通函数，但是内部使用了this变量。对构造函数使用new运算符，就能生成实例，并且this变量会绑定在实例对象上。

比如，猫的原型对象现在可以这样写，

　　function Cat(name,color){

　　　　this.name=name;

　　　　this.color=color;

　　}

我们现在就可以生成实例对象了。

　　var cat1 = new Cat("大毛","黄色");

　　var cat2 = new Cat("二毛","黑色");

　　alert(cat1.name); // 大毛

　　alert(cat1.color); // 黄色

这时cat1和cat2会自动含有一个constructor属性，指向它们的构造函数。

　　alert(cat1.constructor == Cat); //true

　　alert(cat2.constructor == Cat); //true

Javascript还提供了一个instanceof运算符，验证原型对象与实例对象之间的关系。

　　alert(cat1 instanceof Cat); //true

　　alert(cat2 instanceof Cat); //true

四、构造函数模式的问题

构造函数方法很好用，但是存在一个浪费内存的问题。

请看，我们现在为Cat对象添加一个不变的属性type（种类），再添加一个方法eat（吃）。那么，原型对象Cat就变成了下面这样：

　　function Cat(name,color){

　　　　this.name = name;

　　　　this.color = color;

　　　　this.type = "猫科动物";

　　　　this.eat = function(){alert("吃老鼠");};

　　}

还是采用同样的方法，生成实例：

　　var cat1 = new Cat("大毛","黄色");

　　var cat2 = new Cat ("二毛","黑色");

　　alert(cat1.type); // 猫科动物

　　cat1.eat(); // 吃老鼠

表面上好像没什么问题，但是实际上这样做，有一个很大的弊端。那就是对于每一个实例对象，type属性和eat()方法都是一模一样的内容，每一次生成一个实例，都必须为重复的内容，多占用一些内存。这样既不环保，也缺乏效率。

　　alert(cat1.eat == cat2.eat); //false

能不能让type属性和eat()方法在内存中只生成一次，然后所有实例都指向那个内存地址呢？回答是可以的。

五、 Prototype模式

Javascript规定，每一个构造函数都有一个prototype属性，指向另一个对象。这个对象的所有属性和方法，都会被构造函数的实例继承。

这意味着，我们可以把那些不变的属性和方法，直接定义在prototype对象上。

　　function Cat(name,color){

　　　　this.name = name;

　　　　this.color = color;

　　}

　　Cat.prototype.type = "猫科动物";

　　Cat.prototype.eat = function(){alert("吃老鼠")};

然后，生成实例。

　　var cat1 = new Cat("大毛","黄色");

　　var cat2 = new Cat("二毛","黑色");

　　alert(cat1.type); // 猫科动物

　　cat1.eat(); // 吃老鼠

这时所有实例的type属性和eat()方法，其实都是同一个内存地址，指向prototype对象，因此就提高了运行效率。

　　alert(cat1.eat == cat2.eat); //true

六、 Prototype模式的验证方法

为了配合prototype属性，Javascript定义了一些辅助方法，帮助我们使用它。，

6.1 isPrototypeOf()

这个方法用来判断，某个proptotype对象和某个实例之间的关系。

　　alert(Cat.prototype.isPrototypeOf(cat1)); //true

　　alert(Cat.prototype.isPrototypeOf(cat2)); //true

6.2 hasOwnProperty()

每个实例对象都有一个hasOwnProperty()方法，用来判断某一个属性到底是本地属性，还是继承自prototype对象的属性。

　　alert(cat1.hasOwnProperty("name")); // true

　　alert(cat1.hasOwnProperty("type")); // false

6.3 in运算符

in运算符可以用来判断，某个实例是否含有某个属性，不管是不是本地属性。

　　alert("name" in cat1); // true

　　alert("type" in cat1); // true

in运算符还可以用来遍历某个对象的所有属性。

　　for(var prop in cat1) { alert("cat1["+prop+"]="+cat1[prop]); }

《非构造函数的继承》。

这个系列的第一部分，主要介绍了如何"封装"数据和方法，以及如何从原型对象生成实例。

今天要介绍的是，对象之间的"继承"的五种方法。

比如，现在有一个"动物"对象的构造函数。

　　function Animal(){

　　　　this.species = "动物";

　　}

还有一个"猫"对象的构造函数。

　　function Cat(name,color){

　　　　this.name = name;

　　　　this.color = color;

　　}

怎样才能使"猫"继承"动物"呢？

一、 构造函数绑定

第一种方法也是最简单的方法，使用call或apply方法，将父对象的构造函数绑定在子对象上，即在子对象构造函数中加一行：

　　function Cat(name,color){

　　　　Animal.apply(this, arguments);

　　　　this.name = name;

　　　　this.color = color;

　　}

　　var cat1 = new Cat("大毛","黄色");

　　alert(cat1.species); // 动物

二、 prototype模式

第二种方法更常见，使用prototype属性。

如果"猫"的prototype对象，指向一个Animal的实例，那么所有"猫"的实例，就能继承Animal了。

　　Cat.prototype = new Animal();

　　Cat.prototype.constructor = Cat;

　　var cat1 = new Cat("大毛","黄色");

　　alert(cat1.species); // 动物

代码的第一行，我们将Cat的prototype对象指向一个Animal的实例。

　　Cat.prototype = new Animal();

它相当于完全删除了prototype 对象原先的值，然后赋予一个新值。但是，第二行又是什么意思呢？

　　Cat.prototype.constructor = Cat;

原来，任何一个prototype对象都有一个constructor属性，指向它的构造函数。如果没有"Cat.prototype = new Animal();"这一行，Cat.prototype.constructor是指向Cat的；加了这一行以后，Cat.prototype.constructor指向Animal。

　　alert(Cat.prototype.constructor == Animal); //true

更重要的是，每一个实例也有一个constructor属性，默认调用prototype对象的constructor属性。

　　alert(cat1.constructor == Cat.prototype.constructor); // true

因此，在运行"Cat.prototype = new Animal();"这一行之后，cat1.constructor也指向Animal！

　　alert(cat1.constructor == Animal); // true

这显然会导致继承链的紊乱（cat1明明是用构造函数Cat生成的），因此我们必须手动纠正，将Cat.prototype对象的constructor值改为Cat。这就是第二行的意思。

这是很重要的一点，编程时务必要遵守。下文都遵循这一点，即如果替换了prototype对象，

　　o.prototype = {};

那么，下一步必然是为新的prototype对象加上constructor属性，并将这个属性指回原来的构造函数。

　　o.prototype.constructor = o;

三、 直接继承prototype

第三种方法是对第二种方法的改进。由于Animal对象中，不变的属性都可以直接写入Animal.prototype。所以，我们也可以让Cat()跳过 Animal()，直接继承Animal.prototype。

现在，我们先将Animal对象改写：

　　function Animal(){ }

　　Animal.prototype.species = "动物";

然后，将Cat的prototype对象，然后指向Animal的prototype对象，这样就完成了继承。

　　Cat.prototype = Animal.prototype;

　　Cat.prototype.constructor = Cat;

　　var cat1 = new Cat("大毛","黄色");

　　alert(cat1.species); // 动物

与前一种方法相比，这样做的优点是效率比较高（不用执行和建立Animal的实例了），比较省内存。缺点是 Cat.prototype和Animal.prototype现在指向了同一个对象，那么任何对Cat.prototype的修改，都会反映到Animal.prototype。

所以，上面这一段代码其实是有问题的。请看第二行

　　Cat.prototype.constructor = Cat;

这一句实际上把Animal.prototype对象的constructor属性也改掉了！

　　alert(Animal.prototype.constructor); // Cat

四、 利用空对象作为中介

由于"直接继承prototype"存在上述的缺点，所以就有第四种方法，利用一个空对象作为中介。

　　var F = function(){};

　　F.prototype = Animal.prototype;

　　Cat.prototype = new F();

　　Cat.prototype.constructor = Cat;

F是空对象，所以几乎不占内存。这时，修改Cat的prototype对象，就不会影响到Animal的prototype对象。

　　alert(Animal.prototype.constructor); // Animal

我们将上面的方法，封装成一个函数，便于使用。

　　function extend(Child, Parent) {

　　　　var F = function(){};

　　　　F.prototype = Parent.prototype;

　　　　Child.prototype = new F();

　　　　Child.prototype.constructor = Child;

　　　　Child.uber = Parent.prototype;

　　}

使用的时候，方法如下

　　extend(Cat,Animal);

　　var cat1 = new Cat("大毛","黄色");

　　alert(cat1.species); // 动物

这个extend函数，就是YUI库如何实现继承的方法。

另外，说明一点，函数体最后一行

　　Child.uber = Parent.prototype;

意思是为子对象设一个uber属性，这个属性直接指向父对象的prototype属性。（uber是一个德语词，意思是"向上"、"上一层"。）这等于在子对象上打开一条通道，可以直接调用父对象的方法。这一行放在这里，只是为了实现继承的完备性，纯属备用性质。

五、 拷贝继承

上面是采用prototype对象，实现继承。我们也可以换一种思路，纯粹采用"拷贝"方法实现继承。简单说，如果把父对象的所有属性和方法，拷贝进子对象，不也能够实现继承吗？这样我们就有了第五种方法。

首先，还是把Animal的所有不变属性，都放到它的prototype对象上。

　　function Animal(){}

　　Animal.prototype.species = "动物";

然后，再写一个函数，实现属性拷贝的目的。

　　function extend2(Child, Parent) {

　　　　var p = Parent.prototype;

　　　　var c = Child.prototype;

　　　　for (var i in p) {

　　　　　　c[i] = p[i];

　　　　　　}

　　　　c.uber = p;

　　}

这个函数的作用，就是将父对象的prototype对象中的属性，一一拷贝给Child对象的prototype对象。

使用的时候，这样写：

　　extend2(Cat, Animal);

　　var cat1 = new Cat("大毛","黄色");

　　alert(cat1.species); // 动物

这个系列的第一部分介绍了"封装"，第二部分介绍了使用构造函数实现"继承"。

今天是最后一个部分，介绍不使用构造函数实现"继承"。

一、什么是"非构造函数"的继承？

比如，现在有一个对象，叫做"中国人"。

　　var Chinese = {
　　　　nation:'中国'
　　};

还有一个对象，叫做"医生"。

　　var Doctor ={
　　　　career:'医生'
　　}

请问怎样才能让"医生"去继承"中国人"，也就是说，我怎样才能生成一个"中国医生"的对象？

这里要注意，这两个对象都是普通对象，不是构造函数，无法使用构造函数方法实现"继承"。

二、object()方法

json格式的发明人Douglas Crockford，提出了一个object()函数，可以做到这一点。

　　function object(o) {

　　　　function F() {}

　　　　F.prototype = o;

　　　　return new F();

　　}

这个object()函数，其实只做一件事，就是把子对象的prototype属性，指向父对象，从而使得子对象与父对象连在一起。

使用的时候，第一步先在父对象的基础上，生成子对象：

　　var Doctor = object(Chinese);

然后，再加上子对象本身的属性：

　　Doctor.career = '医生';

这时，子对象已经继承了父对象的属性了。

　　alert(Doctor.nation); //中国

三、浅拷贝

除了使用"prototype链"以外，还有另一种思路：把父对象的属性，全部拷贝给子对象，也能实现继承。

下面这个函数，就是在做拷贝：

　　function extendCopy(p) {

　　　　var c = {};

　　　　for (var i in p) { 
　　　　　　c[i] = p[i];
　　　　}

　　　　c.uber = p;

　　　　return c;
　　}

使用的时候，这样写：

　　var Doctor = extendCopy(Chinese);

　　Doctor.career = '医生';

　　alert(Doctor.nation); // 中国

但是，这样的拷贝有一个问题。那就是，如果父对象的属性等于数组或另一个对象，那么实际上，子对象获得的只是一个内存地址，而不是真正拷贝，因此存在父对象被篡改的可能。

请看，现在给Chinese添加一个"出生地"属性，它的值是一个数组。

　　Chinese.birthPlaces = ['北京','上海','香港'];

通过extendCopy()函数，Doctor继承了Chinese。

　　var Doctor = extendCopy(Chinese);

然后，我们为Doctor的"出生地"添加一个城市：

　　Doctor.birthPlaces.push('厦门');

发生了什么事？Chinese的"出生地"也被改掉了！

　　alert(Doctor.birthPlaces); //北京, 上海, 香港, 厦门

　　alert(Chinese.birthPlaces); //北京, 上海, 香港, 厦门

所以，extendCopy()只是拷贝基本类型的数据，我们把这种拷贝叫做"浅拷贝"。这是早期jQuery实现继承的方式。

四、深拷贝

所谓"深拷贝"，就是能够实现真正意义上的数组和对象的拷贝。它的实现并不难，只要递归调用"浅拷贝"就行了。

　　function deepCopy(p, c) {

　　　　var c = c || {};

　　　　for (var i in p) {

　　　　　　if (typeof p[i] === 'object') {

　　　　　　　　c[i] = (p[i].constructor === Array) ? [] : {};

　　　　　　　　deepCopy(p[i], c[i]);

　　　　　　} else {

　　　　　　　　　c[i] = p[i];

　　　　　　}
　　　　}

　　　　return c;
　　}

使用的时候这样写：

　　var Doctor = deepCopy(Chinese);

现在，给父对象加一个属性，值为数组。然后，在子对象上修改这个属性：

　　Chinese.birthPlaces = ['北京','上海','香港'];

　　Doctor.birthPlaces.push('厦门');

这时，父对象就不会受到影响了。

　　alert(Doctor.birthPlaces); //北京, 上海, 香港, 厦门

　　alert(Chinese.birthPlaces); //北京, 上海, 香港

目前，jQuery库使用的就是这种继承方法。

补充：

有人在知乎上提出了一个问题说的是：

假设有如下代码：

function A() {this.name = "A"}function B() {this.name = "B"}A.prototype.whatever = function() {/* some code */};

这个时候要使 B 继承 A，用

B.prototype = new A();B.prototype.constructor = B;

我想知道，这里为啥是 B.prototype = new A(); 而不是 B.prototype = A or B.prototype = A.prototype？

又有：

var c = new A();var b = new B();

既然 c == B.prototype == new A(); 那 b 和 c 是什么关系啊？

解决办法：

这里只是摘了两条：

作者：李引证
链接：https://www.zhihu.com/question/20801227/answer/16239270
来源：知乎
著作权归作者所有，转载请联系作者获得授权。

1.为啥是 B.prototype = new A(); 而不是 B.prototype = A or B.prototype = A.prototype？

要实现继承，就必须保证B继承A以后，B所做的修改不能影响到A以及继承自A的其它对象。

如果B.prototype = A的话，那么着两个对象的引用是完全一致了，这样的话，如果赋值 B.prototype.name=45455；那么A.name就直接变成45455;


直接把A和继承自A的其它对象全部改了，这根本谈不上继承。


至于B.prototype = A.prototype也是同理，修改B的原型就会直接把A的原型给污染掉。


B.prototype = new A();这个方法，是创建了一个新的对象{}，并且继承了A的原型，这是一个新对象，不是和A同一引用，所以不会污染A。


我们先把B.prototype改成另外一个名字，叫XXX，此时XXX=new A();
当你请求XXX. whatever的时候，此时它不存在，将会向上从构造函数，也就是A（）里找


也就是B.prototype. whatever ==XXX. whatever ==A.prototype.whatever


这就顺利的请求到了值，而且不会污染A。

B.prototype.constructor = B;这行是把B的constructor重新设为B，不然的话它就会变成A

2.var c = new A();这行，它是一个新的继承对象。
虽然上面定义了B.prototype=new A(); 但是B.prototype和C不相等，它们是两个完全不同的对象


如果想让它们相等的话，也就不用做继承了……直接赋值给它引用就行了嘛

var c = new A();var b = new B();

这个是原型链的经典。

我想请求一个b.whatever
那么首先它在b对象里找，没找到。

然后它去b的构造函数B.prototype里找，这个时候也没有


于是它就去B.prototype的构造函数A里找，终于找到A.prototype.whatever，于是它返回给B.prototype. whatever,再返回给b.whatever


这就实现了原型链的继承关系。


b.whatever==B.prototype.whatever==A.prototype.whatever


其目的在于，B完全继承A的东西，只要A原型里有的，B的实例（通过new B产生的）都可以拿到。

但修改实例的属性和方法不会影响类（好吧，js没有这两个词，意思差不多）

修改子类的属性和方法不会影响父类（好吧，js没有这两个词，意思差不多）

不同实例之间是不同的对象，并不相等。

3.继承和实例的区别很好理解，你上面那个，c就是A的实例，B就是A的继承，他们之间还是有很大区别的。


B 可以被当作构造函数被实例化，此时B的实例可以获取到父类A的属性以及方法。
而c这个A的实例却不能被实例化，即不能用 xxx=new c();


B的原型完全照搬了A，也就是B.prototype和A的原型一样。


c没有prototype，它是没有任何原型的。

另一个人做的补充

作者：life
链接：https://www.zhihu.com/question/20801227/answer/31731896
来源：知乎
著作权归作者所有，转载请联系作者获得授权。

1. __proto__ 与 prototype 的区别

prototype是类(构造函数)才有的!! __proto__是对象拥有的! 因为函数也是对象, 所有函数也有__proto__.

__proto__是为了实现继承, prototype是为了定义一些公用属性和方法.

Prototype is a property belonging only to functions. Used in case the function happens to be used as a constructor. You assign properties to a constructor's prototype if you would like them to be inherited by its instances; rather than directly assigned, which saves memory.

规则:

• __proto__都是指向prototype的
• 所有对象(函数也是对象) 最终都会指向Object, 即 o.__proto__ -->--> Object.prototype
• 所有构造器/函数的__proto__都指向Function.prototype，它是一个空函数（Empty function）
• 每个对象都有一个constructor属性，可以获取它的构造器
  • a.constructor == A.prototype.constructor 注意不一定==A
  • a.__proto__ == A.prototype

2. B.prototype = A 是不可能实现B继承A的
要实现B继承A, 那么B.prototype必须能向上找到A.prototype, 即 B.prototype ==.....== A.prototype
B.prototype == A是不可能使得上述成立. 可以举例:

B.prototype == Avar b = new B();// 解释:那么 b.__proto__ == B.prototype == AA.__proto__ == Function.prototypeFunction.prototype.__proto__ == Object.prototypeObject.prototype.__proto__ == null所以通过__proto__永远找不到A.prototype, 所以 B 不能继承 A

3. 这里为啥是 B.prototype = new A(); 而不是B.prototype == A.prototype
@李引证 的回答已解释清楚, 这里再啰嗦几句:
继承的目的
1) 复用方法(父的方法)
2) 有权添加/重写父的方法
但继承决不允许改变父的方法和属性, 对于父子是只读的. 所以 B.prototype == A.prototype使得两者成为一体, 一旦修改全部都修改了, 所以不行
而 B.prototype == new A() 假设 var a = new A()那么向上链起来:

B.protype == avar b = new B();b.__proto__ == B.prototype == aa.__proto__ == A.prototype // 这一步也证明B继承了A

B.prototype.xxx= function() {} 这里添加的xxx方法只是改变了a而已(一个局部变量), 不会影响到A.prototype