JS之继承方式

JS之继承方式

建议配合代码学习代码链接
继承是 OO 语言中的一个最为人津津乐道的概念。许多 OO 语言都支持两种继承方式：接口继承和实现继承。接口继承只继承方法签名，而实现继承则继承实际的方法。如前所述，由于函数没有签名，在 ECMAScript 中无法实现接口继承。 ECMAScript 只支持实现继承，而且其实现继承主要是依靠原型链来实现的。

原型链

ECMAScript 中描述了原型链的概念，并将原型链作为实现继承的主要方法。其基本思想是利用原型让一个引用类型继承另一个引用类型的属性和方法。简单回顾一下构造函数、原型和实例的关系：每个构造函数都有一个原型对象，原型对象都包含一个指向构造函数的指针，而实例都包含一个指向原型对象的内部指针。那么，假如我们让原型对象等于另一个类型的实例，结果会怎么样呢？显然，此时的原型对象将包含一个指向另一个原型的指针，相应地，另一个原型中也包含着一个指向另一个构造函数的指针。假如另一个原型又是另一个类型的实例，那么上述关系依然成立，如此层层递进，就构成了实例与原型的链条。这就是所谓原型链的基本概念。
实现原型链有一种基本模式，其代码大致如下。

//原型链
function SuperType(){
    this.property = true;
}

SuperType.prototype.getSuperValue = function(){
    return this.property;
}

function SubType(){
    this.subproperty = false;
}

// 继承了 SuperType
SubType.prototype = new SuperType();

SubType.prototype.getSubValue = function(){
    return this.subproperty;
}

var instance = new SubType()
console.log(instance.getSuperValue());//true

以上代码定义了两个类型： SuperType和 SubType。每个类型分別有一个属性和一个方法。它们的主要区别是 SubType继承了 SuperType，而继承是通过创建 SuperType的实例，并将该实例赋给 Subtype. prototype 实现的。实现的本质是重写原型对象，代之以一个新类型的实例。换句话说，原来存在于 SuperType 的实例中的所有属性和方法，现在也存在于 Subtype. prototype 中了。在确立了继承关系之后，我们给 SubType.prototype 添加了一个方法，这样就在继承了 SuperType 的属性和方法的基础上又添加了一个新方法。这个例子中的实例以及构造函数和原型之间的关系如下图所示。

在上面的代码中，我们没有使用 SubType 默认提供的原型，而是给它换了一个新原型；这个新原型就是 SuperType的实例。于是，新原型不仅具有作为一个 SuperType 的实例所拥有的全部属性和方法，而且其内部还有一个指针，指向了 SuperType 的原型。最终结果就是这样的： instance指向 Subtype的原型， SubType 的原型又指向 SuperType的原型。 getSuperValue() 方法仍然还在SuperType.prototype 中，但 property 则位于 SubType.prototype 中。这是因为 property 是一个实例属性，而 getSuperValue() 则是一个原型方法。既然 SubType.prototype现在是 SuperType 的实例，那么 property当然就位于该实例中了。此外，要注意 instance.constructor 现在指向的是 SuperType,这是因为原来 Subtype.prototype 中的 constructor被重写了的缘故。
通过实现原型链，本质上扩展了本章前面介绍的原型捜索机制。读者大概还记得，当以读取模式访问一个实例属性时，首先会在实例中搜索该属性。如果没有找到该属性，则会继续搜索实例的原型。在通过原型链实现继承的情况下，搜索过程就得以沿着原型链继续向上。就拿上面的例子来说，调用instance.get SuperValue() 会经历三个搜索步骤：1)搜索实例；2)搜索 SubType.prototype；3)搜索 SuperType.prototype，最后一步才会找到该方法。在找不到属性或方法的情况下，搜索过程总是要一环一环地前行到原型链末端才会停下来。

1. 别忘记默认的原型
   事实上，前面例子中展示的原型链还少ー环。我们知道，所有引用类型默认都继承了 Object，而这个继承也是通过原型链实现的。大家要记住，所有函数的默认原型都是 Object 的实例，因此默认原型都会包含一个内部指针，指向 Object.prototype。这也正是所有自定义类型都会继承 tostring()、valueof() 等默认方法的根本原因。所以，我们说上面例子展示的原型链中还应该包括另外一个继承层次。下图为我们展示了该例子中完整的原型链。
   
2. 确定原型和实例的关系
   可以通过两种方式来确定原型和实例之间的关系。第一种方式是使用 instanceof 操作符，只要用这个操作符来测试实例与原型链中出现过的构造函数，结果就会返回true。
   第二种方式是使用 isPrototypeOf() 方法。同样，只要是原型链中出现过的原型，都可以说是该原型链所派生的实例的原型，因此 isPrototypeof() 方法也会返回 true。

// instanceOf
console.log(instance instanceof Object);                  //true
console.log(instance instanceof SuperType);               //true
console.log(instance instanceof SubType);                 //true
//isPrototypeOf
console.log(Object.prototype.isPrototypeOf(instance));    //true
console.log(SuperType.prototype.isPrototypeOf(instance)); //true
console.log(SubType.prototype.isPrototypeOf(instance));   //true

3. 谨慎的定义方法
   子类型有时候需要重写父类型（超类型）中的某个方法，或者需要添加父类型中不存在的某个方法，但不管怎么样，给原型添加方法的代码一定要放在替换原型的语句之后。重写方法之后，子类实例调用重写之后的方法，而父类实例调用重写之前的方法。
4. 原型链的问题
   原型链虽然很强大，可以用它来实现继承，但它也存在一些间题。其中，最主要的问题来自包含引用类型值的原型。
   第一个问题是：包含引用类型值原型属性会被所有实例共享。
   例如：父类里面有一个属性的属性值是数组（引用类型值），在子类实例1中，对属性进行修改完之后，能在实例2中反映出来（显示的是修改之后的值）。
   第二个问题是：在创建子类型的实例时，不能向父类(超类型)的构造函数中传递参数。

借用构造函数

在解决原型中包含引用类型值所带来问题的过程中，开发人员开始使用一种叫做**借用构造函数(constructor stealing)**的技术（有时候也叫做伪造对象或经典继承）这种技术的基本思想相当简单，即在子类型构造函数的内部调用超类型构造函数。别忘了，函数只不过是在特定环境中执行代码的对象，因此通过使用 apply() 和 call() 方法也可以在（将来）新创建的对象上执行构造函数，如下所示：

//借用构造函数
function SuperType1(){
    this.colors = ['red','blue','green'];
}

function SubType1(){
    //继承了 SuperType
    SuperType1.call(this);
}

var instance1 = new SubType1();
instance1.colors.push("black");
console.log(instance1.colors);  //[ 'red', 'blue', 'green', 'black' ]

var instance11 = new SubType1();
console.log(instance11.colors); //[ 'red', 'blue', 'green' ]

通过使用 call() 方法(或 apply() 方法也可以），我们实际上是在（未来将要）新创建的 SubType 实例的环境下调用了 SuperType 构造函数。这样一来，就会在新 Subtype对象上执行 SuperType() 函数中定义的所有对象初始化代码。结果，SubType 的每个实例就都会具有自己的 colors 属性dee 副本了。

1. 传递参数
   相对于原型链而言，借用构造函数有一个很大的优势，即可以在子类型构造函数中向超类型构造函数传递参数。
   在子类型构造函数中，在继承之后，可以添加特有的定属性值。（为啥说向超类传递了参数呢，不太懂）
2. 借用构造函数的问题
   如果仅仅是借用构造函数，那么也将无法避免构造函数模式存在的问题一一方法都在构造函数中定义，因此函数复用就无从谈起了。而且，在超类型的原型中定义的方法，对子类型而言也是不可见的，结果所有类型都只能使用枃造函数模式。考虑到这些题，借用构造函数的技术也是很少单独使用的。

组合继承(最常用的继承模式)

组合继承(combination inheritance)，有时候也叫做伪经典继承，指的是将原型链和借用构造函数的技术组合到一块，从而发挥二者之长的一种继承模式。其背后的思路是使用原型链实现对原型属性和方法的继承，而通过借用构造函数来实现对实例属性的继承。这样，既通过在原型上定义方法实现了函数复用，又能够保证每个实例都有它自己的属性。下面来看一个例子。

//组合继承
function SuperType2(name){
    this.name = name;
    this.colors = ['red','blue','green'];
}

SuperType2.prototype.sayName =  function(){
    console.log(this.name);
}

function SubType2(name,age){
    //继承属性
    SuperType2.call(this,name);

    this.age = age;
}

//继承方法
SubType2.prototype = new SuperType2();

SubType2.prototype.sayAge = function(){
    console.log(this.age);
}

var instance2 = new SubType2("Nick",55);
instance2.colors.push('pink');
console.log(instance2.colors);              // [ 'red', 'blue', 'green', 'pink' ]
instance2.sayName();                        // Nick
instance2.sayAge();                         // 55

var instance22 = new SubType2("Greg" ,50);  
console.log(instance22.colors);             // [ 'red', 'blue', 'green' ]
instance22.sayName();                       // Greg
instance22.sayAge();                        // 50

在这个例子中， SuperType 构造函数定义了两个属性：name 和 colors。SuperType 的原型定义了一个方法 sayName()。 SubType 构造函数在调用 SuperType 构造函数时传入了name参数，紧接着又定义了它自己的属性 age。然后，将 SuperType 的实例赋值给 SubType 的原型，然后又在该新原型上定义了方法 sayAge（）。这样一来，就可以让两个不同的 SubType 实例既分别拥有自己属性一包括 colors 属性，又可以使用相同的方法了。

组合继承避免了原型链和借用枃造函数的缺陷，融合了它们的优点，成为 JavaScript 中最常用的继承模式。而且， instanceOf 和 isPrototypeOf() 也能够用于识别基于组合继承创建的对象

原型式继承

道格拉斯・克罗克福德在2006年写了一篇文章，题为 Prototypal Inheritance in JavaScript(JavaScript中的原型式继承）。在这篇文章中，他介绍了一种实现继承的方法，这种方法并没有使用严格意义上的构造函数。他的想法是借助原型可以基于已有的对象创建新对象，同时还不必因此创建自定义类型。为了达到这个目的，他给出了如下函数。

function object(o){
    function F(){}
    F.prototype = o;
    return new F();
}

在 object() 函数内部，先创建了一个临时性的构造函数，然后将传人的对象作为这个构造函数的原型，最后返回了这个临时类型的一个新实例。从本质上讲， object() 对传入其中的对象执行了一次浅复制。来看下面的例子。

function object(o){
    function F(){}
    F.prototype = o;
    return new F();
};

var person = {
    name:"Nicholas",
    friends:['Court','Van']
};

var anotherPerson = object(person);
anotherPerson.name =  "Greg";
anotherPerson.friends.push('Bob');
console.log(anotherPerson.friends);//[ 'Court', 'Van', 'Bob' ]

var yetAnotherPerson = object(person);
yetAnotherPerson.name = "Linda";
yetAnotherPerson.friends.push("Bery");
console.log(yetAnotherPerson.friends);//[ 'Court', 'Van', 'Bob', 'Bery' ]
console.log(person.friends);          //[ 'Court', 'Van', 'Bob', 'Bery' ]

克罗克福德主张的这种原型式继承，要求你必须有一个对象可以作为另一个对象的基础。如果有这么个对象的话，可以把它传递给 object() 函数，然后再根据具体需求对得到的对象加以修改即可。在这个例子中，可以作为另一个对象基础的是 person对象，于是我们把它传人到 object(o) 函数中，然后该函数就会返回一个新对象。这个新对象将 person作为原型，所以它的原型中就包含一个基本类型值属性和一个引用类型值属性。这意味着 person.friends 不仅属于 person所有，而且也会被 anotherPerson 以及 yetAnotherPerson 共享。实际上，这就相当于又创建了 person对象的两个副本。
ECMAScript5 通过新增 object.create() 方法规范化了原型式继承。这个方法接收两个参数：一个用作新对象原型的对象和（可选的）一个为新对象定义额外属性的对象。在传入一个参数的情况下，Object. create() 与 object() 方法的行为相同。

// Object.create
var anotherPerson1 = Object.create(person);
anotherPerson1.name =  "Alice";
anotherPerson1.friends.push('Jon');
console.log(anotherPerson1.friends);//[ 'Court', 'Van', 'Bob', 'Bery', 'Jon' ]
// Object.create 第二个参数  注意写法
var anotherPerson11 = Object.create(person,{
    name:{
        value:'Pitel'
    }
});
console.log(anotherPerson11.name); //Pitel

在没有必要兴师动众地创建构造函数，而只想让一个对象与另一个对象保持类似的情况下，原型式继承是完全可以胜任的。不过别忘了，包含引用类型值的属性始终都会共享相应的值，就像使用原型模式一样。

寄生式继承

寄生式( parasitic)继承是与原型式继承紧密相关的一种思路，并且同样也是由克罗克福德推而广之的。寄生式继承的思路与寄生构造函数和工厂模式类似，即创建一个仅用于封装继承过程的函数，该函数在内部以某种方式来增强对象，最后再像真地是它做了所有工作一样返回对象。以下代码示范了寄生式继承模式。

//寄生式继承
function object2(o){
    function F(){}
    F.prototype = o;
    return new F();
};
function createAnother(original){
    var clone = object2(original);   //调用函数创建一个新对象
    clone.sayHi = function(){        //以某种方式来增强这个对象 
        console.log("Hi");
    }
    return clone;                    //返回这个对象
};
var person2 = {
    name:"Nicholass",
    friends:['aaa','bbb']
}
var anotherPerson2 = createAnother(person2);
anotherPerson2.sayHi();  // Hi  （正常）

这个例子中的代码基于 person2 返回了一个新对象一 anotherPerson2。新对象不仅具有 person2 的所有属性和方法，而且还有自己的 sayHi() 方法。
在主要考虑对象而不是自定义类型和构造函数的情况下，寄生式继承也是一种有用的模式。前面示范继承模式时使用的。 object() 函数不是必需的；任何能够返回新对象的函数都适用于此模式。

使用寄生式继承来为对象添加函数，会由于不能做到函数复用而降低效率；这点与构造函数模式类似。

寄生组合式继承

前面说过，组合继承是 JavaScript最常用的继承模式；不过，它也有自己的不足。组合继承最大的问题就是无论什么情况下，都会调用两次超类型构造函数：一次是在创建子类型原型的时候，另一次是在子类型构造函数内部。没错，子类型最终会包含超类型对象的全部实例属性，但我们不得不在调用子类型构造函数时重写这些属性。再来看一看下面组合继承的例子。

//寄生组合式继承
//先看一下组合继承的例子
function SuperType3(name){
    this.name = name;
    this.colors = ['red','blue'];
}
SuperType3.prototype.sayName = function(){
    console.log(this.name);
}

function SubType3(name,age){
    SuperType3.call(this,name)              // 第二次调用 SuperType3()
    this.age = age;
}
SubType3.prototype = new SuperType3();      // 第一次调用 SuperType3()
SubType3.prototype.constructor = SubType3;  // 上次没加，这次为啥要写上？？？
SubType3.prototype.sayAge = function(){
    console.log(this.age)
}
var instance3 = new SubType3("Nick",55);
instance3.colors.push('pink');
console.log(instance3.colors);              // [ 'red', 'blue', 'pink' ]
instance3.sayName();                        // Nick
instance3.sayAge();                         // 55

这次多加了一行代码是为啥？？？

SubType3.prototype.constructor = SubType3; 

在第一次调用 SuperType3 构造函数时，SubType.prototype 会得到两个属性：name 和 colors;它们都是 SuperType3 的实例属性，只不过现在位于 SubType3 的原型中。当调用 SubType3 构造函数时，又会调用一次 SuperType3 构造函数，这一次又在新对象上创建了实例属性 name 和 colors。于是，这两个属性就屏蔽了原型中的两个同名属性。图6-6展示了上述过程。

如图所示，有两组 nane 和 colors 属性：一组在实例上，一组在 SubType3 原型中。这就是调用两次 SuperType3 构造函数的结果。好在我们已经找到了解决这个问题方法一一寄生组合式继承。所谓寄生组合式继承，即通过借用构造函数来继承属性，通过原型链的混成形式来继承方法。其背后的基本思路是：不必为了指定子类型的原型而调用超类型的构造函数，我们所需要的无非就是超类型原型的一个副本而己。本质上，就是使用寄生式继承来继承超类型的原型，然后再将结果指定给子类型的原型。寄生组合式继承的基本模式如下所示。

//  寄生组合式继承的基本模式
function inheritPrototype(subType4,superType4){
    var prototype = object3(superType4.prototype);   // 创建对象
    prototype.constructor = subType4;                // 增强对象
    subType4.prototype = prototype;                  // 指定对象
}

这个例子的高效率体现在它只调用了一次 Super lype构造函数，并且因此避免了在 SubType.prototype上面创建不必要的、多余的属性。与此同时，原型链还能保持不变；因此，还能够正常使用 instanceof 和 isPrototypeOf() 。开发人员普遍认为寄生组合式继承是引用类型最理想的继承范式。

总结

ECMAScript支持面向对象(OO)编程，但不使用类或者接口。对象可以在代码执行过程中创建和增强，因此具有动态性而非严格定义的实体。在没有类的情况下，可以采用下列模式创建对象。

1. 工厂模式：使用简单的函数创建对象，为对象添加属性和方法，然后返回对象。这个模式后来被构造函数模式所取代。
2. 构造函数模式：可以创建自定义引用类型，可以像创建内置对象实例一样使用new操作符。不过，构造函数模式也有缺点，即它的每个成员都无法得到复用，包括函数。由于函数可以不局限于任何对象（即与对象具有松散耦合的特点），因此没有理由不在多个对象间共享函数。
3. 原型模式，使用构造函数的 prototype 属性来指定那些应该共享的属性和方法。组合使用构造函数模式和原型模式时，使用构造函数定义实例属性，而使用原型定义共享的属性和方法。
   JavaScript 主要通过原型链实现继承。原型链的构建是通过将一个类型的实例赋值给另一个构造函数的原型实现的。这样，子类型就能够访问超类型的所有属性和方法，这一点与基于类的继承很相似。原型链的问题是对象实例共享所有继承的属性和方法，因此不适宜单独使用。解决这个问题的技术是借用构造函数，即在子类型构造函数的内部调用超类型构造函数。这样就可以做到每个实例都具有自己的属性，同时还能保证只使用构造函数模式来定义类型。使用最多的继承模式是组合继承，这种模式使用原型链继承共享的属性和方法，而通过借用构造函数继承实例属性。
   此外，还存在下列可供选择的继承模式
4. 原型式继承，可以在不必预先定义构造函数的情况下实现继承，其本质是执行对给定对象的浅复制。而复制得到的副本还可以得到进一步改造。
5. 寄生式继承，与原型式继承非常相似，也是基于某个对象或某些信息创建一个对象，然后增强对象，最后返回对象。为了解决组合继承模式由于多次调用超类型构造函数而导致的低效率问题，可以将这个模式与组合继承一起使用。
6. 寄生组合式继承，集寄生式继承和组合继承的优点与一身，是实现基于类型继承的最有效方式。