es6类和继承的实现原理

haitiancoder 发布于2019-08-23 14:35 / 1010人阅读

摘要：类的实现转换前转换后可见的底层依然是构造函数调用方法判断当前函数调用前是否有关键字。若构造函数前面没有则构造函数的不会不出现在的原型链上，返回。典型的寄生继承用父类构造函数的创建一个空对象，并将这个对象指向子类构造函数的。代表父类构造函数。

在阅读文章之前，您至少需要对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实现继承

文章版权归作者所有，未经允许请勿转载,若此文章存在违规行为，您可以联系管理员删除。

转载请注明本文地址：https://www.ucloud.cn/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