es6類和繼承的實現原理

haitiancoder 發布于2019-08-23 14:35 / 1011人閱讀

摘要：類的實現轉換前轉換后可見的底層依然是構造函數調用方法判斷當前函數調用前是否有關鍵字。若構造函數前面沒有則構造函數的不會不出現在的原型鏈上，返回。典型的寄生繼承用父類構造函數的創建一個空對象，并將這個對象指向子類構造函數的。代表父類構造函數。

在閱讀文章之前，您至少需要對JavaScript原型繼承有一定了解，如果覺得有所欠缺，可以先了解下我這篇文章：https://segmentfault.com/a/11...

1.es6 class 使用

javascript使用的是原型式繼承，我們可以通過原型的特性實現類的繼承，
es6為我們提供了像面向對象繼承一樣的語法糖。

class Parent {
  constructor(a){
    this.filed1 = a;
  }
  filed2 = 2;
  func1 = function(){}
}

class Child extends Parent {
    constructor(a,b) {
      super(a);
      this.filed3 = b;
    }
  
  filed4 = 1;
  func2 = function(){}
}

下面我們借助babel來探究es6類和繼承的實現原理。

1.類的實現

轉換前：

class Parent {
  constructor(a){
    this.filed1 = a;
  }
  filed2 = 2;
  func1 = function(){}
}

轉換后：

function _classCallCheck(instance, Constructor) {
  if (!(instance instanceof Constructor)) {
    throw new TypeError("Cannot call a class as a function");
  }
}

var Parent = function Parent(a) {
  _classCallCheck(this, Parent);

  this.filed2 = 2;

  this.func1 = function () { };

  this.filed1 = a;
};

可見class的底層依然是構造函數：

1.調用_classCallCheck方法判斷當前函數調用前是否有new關鍵字。

構造函數執行前有new關鍵字，會在構造函數內部創建一個空對象，將構造函數的proptype指向這個空對象的_proto_,并將this指向這個空對象。如上，_classCallCheck中：this instanceof Parent 返回true。

若構造函數前面沒有new則構造函數的proptype不會不出現在this的原型鏈上，返回false。

2.將class內部的變量和函數賦給this。

3.執行constuctor內部的邏輯。

4.return this (構造函數默認在最后我們做了)。

2.繼承實現

轉換前：

class Child extends Parent {
    constructor(a,b) {
      super(a);
      this.filed3 = b;
    }
  
  filed4 = 1;
  func2 = function(){}
}

轉換后：

我們先看Child內部的實現，再看內部調用的函數是怎么實現的：

var Child = function (_Parent) {
  _inherits(Child, _Parent);

  function Child(a, b) {
    _classCallCheck(this, Child);

    var _this = _possibleConstructorReturn(this, (Child.__proto__ || Object.getPrototypeOf(Child)).call(this, a));

    _this.filed4 = 1;

    _this.func2 = function () {};

    _this.filed3 = b;
    return _this;
  }

  return Child;
}(Parent);

1.調用_inherits函數繼承父類的proptype。

_inherits內部實現：

function _inherits(subClass, superClass) {
  if (typeof superClass !== "function" && superClass !== null) {
    throw new TypeError("Super expression must either be null or a function, not " + typeof superClass);
  }
  subClass.prototype = Object.create(superClass && superClass.prototype, {
    constructor: { value: subClass, enumerable: false, writable: true, configurable: true }
  });
  if (superClass)
    Object.setPrototypeOf ? Object.setPrototypeOf(subClass, superClass) : subClass.__proto__ = superClass;
}

(1) 校驗父構造函數。

(2) 典型的寄生繼承：用父類構造函數的proptype創建一個空對象，并將這個對象指向子類構造函數的proptype。

(3) 將父構造函數指向子構造函數的_proto_（這步是做什么的不太明確，感覺沒什么意義。）

2.用一個閉包保存父類引用，在閉包內部做子類構造邏輯。

3.new檢查。

4.用當前this調用父類構造函數。

var _this = _possibleConstructorReturn(this, (Child.__proto__ || Object.getPrototypeOf(Child)).call(this, a));

這里的Child.__proto__ || Object.getPrototypeOf(Child)實際上是父構造函數(_inherits最后的操作)，然后通過call將其調用方改為當前this，并傳遞參數。（這里感覺可以直接用參數傳過來的Parent）

function _possibleConstructorReturn(self, call) {
  if (!self) {
    throw new ReferenceError("this hasn"t been initialised - super() hasn"t been called");
  }
  return call && (typeof call === "object" || typeof call === "function") ? call : self;
}

校驗this是否被初始化，super是否調用，并返回父類已經賦值完的this。

5.將行子類class內部的變量和函數賦給this。

6.執行子類constuctor內部的邏輯。

可見，es6實際上是為我們提供了一個“組合寄生繼承”的簡單寫法。

3. super

super代表父類構造函數。

super.fun1() 等同于 Parent.fun1() 或 Parent.prototype.fun1()。

super() 等同于Parent.prototype.construtor()

當我們沒有寫子類構造函數時：

var Child = function (_Parent) {
  _inherits(Child, _Parent);

  function Child() {
    _classCallCheck(this, Child);

    return _possibleConstructorReturn(this, (Child.__proto__ || Object.getPrototypeOf(Child)).apply(this, arguments));
  }

  return Child;
}(Parent);

可見默認的構造函數中會主動調用父類構造函數，并默認把當前constructor傳遞的參數傳給了父類。

所以當我們聲明了constructor后必須主動調用super(),否則無法調用父構造函數，無法完成繼承。

典型的例子就是Reatc的Component中，我們聲明constructor后必須調用super(props)，因為父類要在構造函數中對props做一些初始化操作。

GPU云服務器云服務器 volatile的實現原理回調的原理、實現與應用 php 模板繼承原理 python實現繼承

文章版權歸作者所有，未經允許請勿轉載,若此文章存在違規行為，您可以聯系管理員刪除。

轉載請注明本文地址：http://specialneedsforspecialkids.com/yun/100829.html

JavaScript 工作原理之十五－類和繼承及 Babel 和 TypeScript 代碼轉換探秘

摘要：使用新的易用的類定義，歸根結底也是要創建構造函數和修改原型。首先，它把構造函數當成單獨的函數且包含類屬性集。該節點還儲存了指向父類的指針引用，該父類也并儲存了構造函數，屬性集和及父類引用，依次類推。原文請查閱這里，略有刪減，本文采用知識共享署名 4.0 國際許可協議共享，BY Troland。本系列持續更新中，Github 地址請查閱這里。這是 JavaScript 工作原理的第...

GeekGhc 2019-08-29 16:05 評論0 收藏0
JavaScript 工作原理之十五－類和繼承及 Babel 和 TypeScript 代碼轉換探秘

摘要：使用新的易用的類定義，歸根結底也是要創建構造函數和修改原型。首先，它把構造函數當成單獨的函數且包含類屬性集。該節點還儲存了指向父類的指針引用，該父類也并儲存了構造函數，屬性集和及父類引用，依次類推。原文請查閱這里，略有刪減，本文采用知識共享署名 4.0 國際許可協議共享，BY Troland。本系列持續更新中，Github 地址請查閱這里。這是 JavaScript 工作原理的第...

BigNerdCoding 2019-08-02 11:00 評論0 收藏0
JavaScript是如何工作的：深入類和繼承內部原理+Babel和 TypeScript 之間轉換

摘要：下面是用實現轉成抽象語法樹如下還支持繼承以下是轉換結果最終的結果還是代碼，其中包含庫中的一些函數。可以使用新的易于使用的類定義，但是它仍然會創建構造函數和分配原型。這是專門探索 JavaScript 及其所構建的組件的系列文章的第 15 篇。想閱讀更多優質文章請猛戳GitHub博客,一年百來篇優質文章等著你！如果你錯過了前面的章節，可以在這里找到它們： JavaScript 是...

PrototypeZ 2019-08-23 14:54 評論0 收藏0
es6中類和extends的本質

摘要：首先有一個地方就是把指向了本身，這里有什么用呢，的時候是指向一個這樣的匿名函數。我們平時使用的和就是存在這個匿名函數里的。理解es6的類和extends的原理，主要是先理解es5里面函數和對象間的關系（__proto__和prototype的知識） class c { constructor(){} //static f() {} a() {} } cl...

URLOS 2019-08-20 13:39 評論0 收藏0
JavaScript 中的類和繼承

摘要：因為操作符創建的對象都繼承自構造函數的屬性。繼承的實現中常用的繼承方式是組合繼承，也就是通過構造函數和原型鏈繼承同時來模擬繼承的實現。原文發布在我的博客我們都知道 JavaScript 是一門基于原型的語言。當我們調用一個對象本身沒有的屬性時，JavaScript 就會從對象的原型對象上去找該屬性，如果原型上也沒有該屬性，那就去找原型的原型，一直找原型鏈的末端也就是 Object....

rottengeek 2019-08-19 17:57 評論0 收藏0