javascript
你真的理解JS的继承了吗？
噫吁嚱，js之難，難于上青天
學習js的這幾年，在原型鏈和繼承上花了不知道多少時間，每當自以為已經吃透它的時候，總是不經意的會出現各種難以理解的幺蛾子。也許就像kyle大佬說的那樣，js的繼承真的是‘蠢弟弟’設計模式吧。
本文小綱介紹
- es5寄生組合繼承
- es6的class ... extends ...繼承
- kyle大佬倡導的行為委托
閱讀本文之前先約定，本文中稱 __proto__ 為 內置原型，稱 prototype 為 原型對象，構造函數 SubType 和 SuperType 分別稱為子類和父類。
請先看下圖，如果各位覺得soeasy，請直接 插隊這里 。
es5寄生組合繼承
function SuperType(name){this.name = name;this.colors = ["red", "blue", "green"]; } SuperType.prototype.sayName = function(){alert(this.name); }; function SubType(name, age){SuperType.call(this, name);this.age = age; } SubType.prototype = Object.create(SuperType.prototype, {constructor: {value: SubType,enumerable: false,writable: true,configurable: true} }) SubType.prototype.sayAge = function(){alert(this.age); }; let instance = new SubType('gim', '17'); instance.sayName(); // 'gim' instance.sayAge(); // '17' 復制代碼此時，代碼中生成的原型鏈關系如下圖所示（下面三張圖擼了一下午，喜歡的幫忙點個贊謝謝）：
-
子類的原型對象的 __proto__ 指向父類的原型對象。 圖中有兩種顏色的帶箭頭的線，紅色的線是我們生成的實例的原型鏈，是我們之所以能調用到 instance.sayName() 和 instance.sayAge() 的根本所在。當調用instance.sayName()的時候，js引擎會先查找instance對象中的自有屬性。未找到sayName屬性，則繼續沿原型鏈查找，此時instance通過內置原型__proto__鏈到了SubType.prototype對象上。但在SubType.prototype上也未找到sayName屬性，繼續沿原型鏈查找，此時SubType.prototype的__proto__鏈到了SuperType.prototype對象上。在對象上找到了sayName屬性，于是查找結束，開始調用。因此調用instance.sayName()相當于調用了instance.__proto__.__proto__.sayName()，只不過前者中sayName函數內this指向instance實例對象，而后者sayName函數內的this指向了SuperType.prototype(instance.__proto__.__proto__ === SuperType.prototype)對象。
-
在 es5 的實現中，子類的 __proto__ 直接指向的是 Function.prototype。 黑色的帶箭頭的線則是 es5 繼承中產生的‘副作用’，使得所有的函數的 __proto__ 指向了 Function.prototype，并最終指向 Object.prototype，從而使得我們聲明的函數可以直接調用 toString(定義在Function.prototype上)、hasOwnProperty(定義在Object.prototype上) 等方法，如：SubType.toString()、SubType.hasOwnProperty()等。
下面看看es6中有哪些不同吧。
es6的class ... extends ...
class SuperType {constructor(name) {this.name = namethis.colors = ["red", "blue", "green"];}sayName() {alert(this.name)} } class SubType extends SuperType {constructor(name, age){super(name)this.age = age}sayAge() {alert(this.age)} } let instance = new SubType('gim', '17'); instance.sayName(); // 'gim' instance.sayAge(); // '17' 復制代碼可以明顯的發現這段代碼比之前的更加簡短和美觀。es6 class 實現繼承的核心在于使用關鍵字 extends 表明繼承自哪個父類，并且在子類構造函數中必須調用 super 關鍵字，super(name)相當于es5繼承實現中的 SuperType.call(this, name)。
雖然結果可能如你所料的實現了原型鏈繼承，但是這里還是有個需要注意的點值得一說。
如圖，es6中的 class 繼承存在兩條繼承鏈：
子類prototype屬性的__proto__屬性，表示方法的繼承，總是指向父類的prototype屬性。 這點倒和經典繼承是一致的。 如紅線所示，子類SubType的prototype屬性的__proto__指向父類SuperType的prototype屬性。 相當于調用Object.setPrototypeOf(SubType.prototype, SuperType.prototype); 因為和經典繼承相同，這里不再累述。
子類的__proto__屬性，表示構造函數的繼承，總是指向父類。 這是個值得注意的點，和es5中的繼承不同，如藍線所示，子類SubType的__proto__指向父類SuperType。相當于調用了Object.setPrototypeOf(SubType, SuperType); es5繼承中子類和父類的內置原型直接指向的都是Function.prototype，所以說Function是所有函數的爸爸。而在es6class...extends...實現的繼承中，子類的內置原型直接指向的是父類。 之所以注意到這點，是因為看 kyle 大佬的《你不知道的javascript 下》的時候，看到了class MyArray extends Array{}和var arr = MyArray.of(3)這兩行代碼，很不理解為什么MyArray上面為什么能調到of方法。因為按照es5中繼承的經驗，MyArray.__proto__應該指向了Function.prototype，而后者并沒有of方法。當時感覺世界觀都崩塌了，為什么我以前的認知失效了？第二天重翻阮一峰老師的《ECMAScript6入門》才發現原來class實現的繼承是不同的。
知道了這點，就可以根據需求靈活運用Array類構造自己想要的類了：
class MyArray extends Array {[Symbol.toPrimitive](hint){if(hint === 'default' || hint === 'number'){ return this.reduce((prev,curr)=> prev+curr, 0)}else{return this.toString()}} } let arr = MyArray.of(2,3,4); arr+''; // '9' 復制代碼元屬性Symbol.toPrimitive定義了MyArray的實例發生強制類型轉換的時候應該執行的方法，hint的值可能是default/number/string中的一種。現在，實例arr能夠在發生加減乘除的強制類型轉換的時候，數組內的每項會自動執行加性運算。
以上就是js實現繼承的兩種模式，可以發現class繼承和es5寄生組合繼承有相似之處，也有不同的地方。雖然class繼承存在一些問題（如暫不支持靜態屬性等），但是子類的內置原型指向父類這點是個不錯的改變，這樣我們就可以利用原生構造函數（Array等）構建自己想要的類了。
kyle大佬提到的行為委托
在讀《你不知道的javascript 上》的時候，感觸頗多。這本書真的是本良心書籍，讓我學會了LHS/RHS，讀懂了閉包，了解了詞法作用域，徹底理解了this指向，基本懂了js的原型鏈繼承。所以當時就忍不住又從頭讀了一遍。如果說諸多感受中最大的感受是啥，那一定是行為委托了。我第一次見過有大佬能夠如此強悍（至少沒見過國內的大佬這么牛叉的），強悍到直接號召讀者抵制js的繼承模式（無論寄生組合繼承還是class繼承），并且提倡使用行為委托模式實現對象的關聯。我真的被折服了，要知道class可是w3c委員會制定出的標準，并且已經廣泛的應用到了業界中。關鍵的關鍵是，我確實認為行為委托確實更加清晰簡單（如有異議請指教）。
let SuperType = {initSuper(name) {this.name = namethis.color = [1,2,3]},sayName() {alert(this.name)} } let SubType = {initSub(age) {this.age = age},sayAge() {alert(this.age)} } Object.setPrototypeOf(SubType,SuperType) SubType.initSub('17') SubType.initSuper('gim') SubType.sayAge() // 'gim' SubType.sayName() // '17' 復制代碼這就是模仿上面js繼承的兩個例子，利用行為委托實現的對象關聯。行為委托的實現非常超級極其的簡單，就是把父對象關聯到子對象的內置原型上，這樣就可以在子對象上直接調用父對象上的方法。行為委托生成的原型鏈沒有class繼承生成的原型鏈的復雜關系，一目了然。當然class有其存在的道理，但是在些許場景下，應該是行為委托更加合適吧。希望safari盡快實現Object.setPrototypeOf()方法，太out了連ie都支持了。
小子愚鈍，如果行為委托完全能夠實現實現class繼承的功能，而且更加簡單和清晰，我們開發的過程中為什么不愉快的嘗試用一下呢？
總結
以上是生活随笔為你收集整理的你真的理解JS的继承了吗？的全部內容，希望文章能夠幫你解決所遇到的問題。
- 上一篇： 数据结构之「堆」
- 下一篇： JavaScript 设计模式之观察者模