JS面向對象的程序設計之繼承的實現 - 原型鏈的注意點

---

前言：最近在細讀Javascript高級程序設計，對於我而言，中文版，書中不少地方翻譯的差強人意，因此用本身所理解的，嘗試解讀下。若有紕漏或錯誤，會很是感謝您的指出。文中絕大部份內容引用自《JavaScript高級程序設計第三版》。

---

接上篇

JS面向對象的程序設計之繼承的實現 - 原型鏈

1. 別忘記默認的原型

事實上，前面例子中展現的原型鏈還少一環。

咱們都知道， 全部引用類型默認都繼承了Object，而這個繼承也是經過原型鏈實現的。

全部函數的默認原型是Object的實例。由於函數的原型對象也是對象嘛！ 對象固然是Object的實例咯！

所以函數的原型都會包含一個內部指針（__proto__), 指向Object.prototype。

這也是全部自定義類型都會繼承toString()、valueOf()等默認方法的根本緣由。

因此，上篇例子中展現的原型的原型鏈中還應該包括另一個繼承層次。

如下代碼展現了這個完整的原型鏈。

//完整原型鏈的僞代碼

function Object() {
}

Object.prototype = {
    constructor: f Object(),
    hasOwnProperty: f hasOwnProperty(),
    isPrototypeOf: f isPrototypeOf(),
    propertyIsEnumerable: f propertyIsEnumerable(),
    toLocaleString: f toLocaleString(),
    toString: f toString(),
    valueOf: f valueOf()
}

//SuperType 父類型
function SuperType(){
    this.property = true;
}

SuperType.prototype.getSuperProperty = function() {
    console.log(this.property);
    return this.property;
}

/*

SuperType.prototype = {
    constructor: f SuperType(),
    getSuperProperty: function() {
    console.log(this.property);
    return this.property;
    }, 
    __proto__ : {
        constructor: f Object(),
        hasOwnProperty: f hasOwnProperty(),
        isPrototypeOf: f isPrototypeOf(),
        propertyIsEnumerable: f propertyIsEnumerable(),
        toLocaleString: f toLocaleString(),
        toString: f toString(),
        valueOf: f valueOf()
    }
}
*/


//SubType 子類型
function SubType() {
    this.subproperty = false;
}


//子類型 繼承 父類型
SubType.prototype = new SuperType();


//實際上子類型的原型是這樣的。
/*SubType.prototype = {
    property: true,
    __proto__:  {
        constructor : SuperType,
        getSuperProperty：function() {
            console.log(this.property);
            return this.property;
        }
    }
}
*/

SubType.prototype.getSubProperty = function(){
    console.log(this.subproperty);
    return this.subproperty;
}


//那麼如今子類型的原型對象是這樣的
/*SubType.prototype = {
    property: true,
    getSubProperty: function()  {
    console.log(this.subproperty);
    return this.subproperty;
    },
    __proto__:  {
        constructor : SuperType,
        getSuperProperty：function() {
            console.log(this.property);
            return this.property;
        }
    }
}
*/

var subInstanceObject = new SubType();
console.log(subInstanceObject.getSuperProperty()); // true

一句話，SubType（子類型）繼承了SuperType（父類型），

而SuperType（父類型）繼承了Object（祖先）。

當調用subInstanceObject.toString()時，實際上調用的是在保存在Object.prototype中的那個方法。

2. 肯定原型和實例對象關係

能夠經過兩種方式來肯定原型和實例之間的關係。

第一種方式是使用instanceof操做符，只要檢測的實例對象中的原型鏈包含出現過的構造函數，結果就會返回true。
由於，這說明他們都參與了,實例對象的建立。

console.log(subInstanceObject instanceof Object); // true
console.log(subInstanceObject instanceof SuperType); // true
console.log(subInstanceObject instanceof SubType); // true

因爲原型鏈的關係， 咱們能夠說subIntanceObject是Object、SuperType或SubType中任何一個類型的實例。

第二種方式是使用isPrototypeOf()方法。一樣，只要是原型鏈中出現過的原型，均可以說該原型鏈所派生的實例對象的原型。

console.log(Object.prototype.isPrototypeOf(subInstanceObject)); //true
console.log(SuperType.prototype.isPrototypeOf(subIntanceObject)); // true
console.log(SubType.prototype.isPrototypeOf(subIntanceObject)); //true

3. 謹慎地定義方法

子類型有時候須要覆蓋父類型的某個方法，或者須要添加父類型中不存在的某個方法。

但無論怎麼樣，給原型添加方法的代碼必定要放在替換原型的語句以後。

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;
}

//重寫 超類型中 的 方法
SubType.prototype.getSuperValue = function() {
    return false;
}

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

以上代碼中，第一個方法getSubValue()被添加到了SubType中。
第二個方法getSuperValue()是原型中已經存在的一個方法。
重寫這個方法將會子類的原型會查找到屬於本身的getSuperValue()方法。
當經過SuperType的實例對象調用getSuperValue()時， 還會繼續調用原來的那個方法。

再次強調，必須在用SuperType的實例對象替換原型以後，再定義兩個方法。

還有一點須要提醒，即在經過原型鏈實現繼承時，不能使用對象字面量建立原型方法。這樣會重寫原型鏈的。

function SuperType(){
    this.property = true;
}

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

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

//繼承SuperType
SubType.prototype = new SuperType();

/* 
如今的原型
SubType.prototype = {

    property: true,
    __proto__: {
        constructor: SuperType,
        getSuperValue: function() {
            return this.property;
        }
    }
}
*/

//使用對象字面量語法會改寫原型，致使上一行代碼無效
// SubType.prototype = new Object();
SubType.prototype = {

    getSubValue: function() {
        return this.subproperty;
    },

    someOtherMethod: function () {
        return false;
    }

    /*,
    __proto__ : {
        constructor: fn Object(),
        .......
    }
    */

}

var instance =  new SubType();
console.log(instance.getSuperValue()); // error: instance.getSuperValue is not a function

以上代碼展現了剛剛把SuperType的實例對象賦值給原型，緊接着又將原型替換成一個對象字面量而致使的問題。

由於SubType的原型其實保存的是一個Object的實例，而非SuperType的實例對象，所以這條鏈子斷了。

4. 原型鏈的問題

原型鏈雖然很強大，能夠用它來實現繼承，可是總有缺點，世界上不存在萬全法。

最主要的問題來自包含引用類型值的原型。

包含引用類型值的原型屬性會被全部實例對象共享。

而這也正是組合使用原型模式和構造函數模式的緣由。
在構造函數模式中定義屬性，在原型模式中定義共享的方法。

在經過原型來實現原型繼承時，原型實際上會變成另外一個類型的實例對象。

原先的實例對象屬性，也就變成了如今的原型屬性了。

function SuperType() {
    this.colors = ['red', 'green', 'blue'];
}

function SubType() {
}

// 子類型繼承父類型
SubType.prototype = new SuperType();

/*
SubType.prototype = {
    colors: ['red', 'green', 'blue'],
    __proto__: {
        constructor: fn SuperType(),
        .....
    }
}
*/

var instance1 = new SubType();

instance1.colors.push('black');

console.log(instance1.colors); // ['red', 'green', 'blue', 'black']

var instance2 = new SubType();

console.log(instance2.colors); // ['red', 'green', 'blue', 'black']

原型鏈的第二個問題在於， 沒有辦法在不影響全部實例對象的狀況下，給父類型的構造函數傳遞參數。

因爲上述兩個問題的存在，事件中不多會單獨使用原型鏈。