ES6 -> Javascript的类与继承在Babel的实现

闲来无事,看了下babel对于Javascript ES6中的类与继承的实现,整理一下。???

大家都知道ES6的Class是语法糖,Javascript本身是没有类的概念的,要实现继承的概念可以使用原型链的方式。既然是语法糖,那就看看babel编译成ES5的代码就可以了。

举个?:

class Human {
  constructor(name) {
    this.name = name;
  }
  
  say() {
    console.info(`I am ${this.name}`);
  }

  static cry() {
    console.info('crying ~');
  }
}

class Dancer extends Human {
  constructor(name) {
    super(name);
  }

  dance() {
    console.info(`${this.name} is dancing ~`);
  }
}

class SuperMan extends Human {
  constructor(name, level) {
    super(name);
    this.level = level;
  }

  say() {
    console.info(`I am ${this.name}, whose level is ${this.level}`);
  }

  fly() {
    console.info(`${this.name} is flying ~ so cool.`);
  }
}
复制代码

基于这个栗子的类定义以及继承:

const man = new Human('葫芦娃');
const dancer = new Dancer('小明');
const superman = new SuperMan('小魔仙', 10);

console.info('man #######################');
man.say();
Human.cry();
console.info('dancer #######################');
dancer.say();
dancer.dance();
Dancer.cry();
console.info('superman #######################');
superman.say();
superman.fly();
SuperMan.cry();
复制代码

上述执行结果如下:

proto , [[prototype]] and prototype

在开始前,需要分清三个概念**proto, [[prototype]] and prototype**。其中[[prototype]]是规范中定义的对象的原型属性指向一个原型对象,但是这个属性不能被直接access到,因此一个不在规范中的__proto__属性被实现用来方便得到一个对象的原型对象,因为不在规范中所以不能保证一定有这个属性,babel的编译的结果中也做了相应的兼容处理。每个对象都有[[prototype]],但是函数还有一个prototype属性,这个属性的用于在构造函数被new方法调用的时候生成构造的对象的原型对象。Javascript的原型链是[[prototype]]属性(或者说__proto__)的指向不是prototype,prototype用于构造__proto__指向的对象。

简单来说:

The prototype is a property on a constructor function that sets what will become the proto property on the constructed object.

类的定义(Class)

class Human {
  constructor(name) {
    this.name = name;
  }
  
  say() {
    console.info(`I am ${this.name}`);
  }

  static cry() {
    console.info('crying ~');
  }
}

复制代码

Babel compiled result(保留了主要的方法):

'use strict';

var _createClass = function () {
  function defineProperties(target, props) {
    for (var i = 0; i < props.length; i++) {
      var descriptor = props[i];
      descriptor.enumerable = descriptor.enumerable || false;
      descriptor.configurable = true;
      if ("value" in descriptor) 
        descriptor.writable = true;
      Object.defineProperty(target, descriptor.key, descriptor);
    }
  }
  return function (Constructor, protoProps, staticProps) {
    if (protoProps) 
      defineProperties(Constructor.prototype, protoProps);
    if (staticProps) 
      defineProperties(Constructor, staticProps);
    return Constructor;
  };
}();
var Human = function () {
  function Human(name) {
    this.name = name;
  }
  _createClass(Human, [
    {
      key: 'say',
      value: function say() {
        console.info('I am ' + this.name);
      }
    }
  ], [
    {
      key: 'cry',
      value: function cry() {
        console.info('crying ~');
      }
    }
  ]);
  return Human;
}();

复制代码

这里可以看到Class本质上是一个构造函数,?中就是Human函数,其中在Class的constructor中通过this.name定义的属性name是之后在构造的对象【这里我们成为instance,方便之后说明】上的属性,被编译成熟悉的:

  function Human(name) {
    this.name = name;
  }
复制代码

在?中,say属性是定义在instance的[[prototype]]对象上的属性,静态属性cry是定义在类本身,也就是Human函数上,这两种属性的定义,使用的**__createClass**方法:

var _createClass = function () {
  function defineProperties(target, props) {
    for (var i = 0; i < props.length; i++) {
      var descriptor = props[i];
      descriptor.enumerable = descriptor.enumerable || false;
      descriptor.configurable = true;
      if ("value" in descriptor) 
        descriptor.writable = true;
      Object.defineProperty(target, descriptor.key, descriptor);
    }
  }
  return function (Constructor, protoProps, staticProps) {
    if (protoProps) 
      defineProperties(Constructor.prototype, protoProps);
    if (staticProps) 
      defineProperties(Constructor, staticProps);
    return Constructor;
  };
}();
复制代码

_createClass 方法是一个立即执行函数,返回一个接收参数(Constructor, protoProps, staticProps)的方法。 其中第一个参数Constructor是构造函数(Human),第二个参数protoProps是需要被定义到instance的[[prototype]]上的属性的数组,staticProps是需要定义在Constructor【构造函数,这里用Constructor方便说明】上的属性的数组。其中使用definedProperties方法:

  function defineProperties(target, props) {
    for (var i = 0; i < props.length; i++) {
      var descriptor = props[i];
      descriptor.enumerable = descriptor.enumerable || false;
      descriptor.configurable = true;
      if ("value" in descriptor) 
        descriptor.writable = true;
      Object.defineProperty(target, descriptor.key, descriptor);
    }
  }
复制代码

遍历数组,使用Object.defineProperty方法定义属性到target上。

Class的语法糖的实现就是这么简单,接下来看下extends的语法糖。

类的继承(extends)

class Human {
  constructor(name) {
    this.name = name;
  }
  
  say() {
    console.info(`I am ${this.name}`);
  }

  static cry() {
    console.info('crying ~');
  }
}

class Dancer extends Human {
  constructor(name) {
    super(name);
  }

  dance() {
    console.info(`${this.name} is dancing ~`);
  }
}
复制代码

Babel compiled result:

var Human = function () {
  function Human(name) {
    this.name = name;
  }
  _createClass(Human, [{
    key: 'say',
    value: function say() {
      console.info('I am ' + this.name);
    }
  }], [{
    key: 'cry',
    value: function cry() {
      console.info('crying ~');
    }
  }]);
  return Human;
}();
var Dancer = function (_Human) {
  _inherits(Dancer, _Human);
  function Dancer(name) {
    return _possibleConstructorReturn(
      this,
      (Dancer.__proto__ || 
        Object.getPrototypeOf(Dancer)).call(this, name)
    );
  }
  _createClass(Dancer, [{
    key: 'dance',
    value: function dance() {
      console.info(this.name + ' is dancing ~');
    }
  }]);
  return Dancer;
}(Human);
复制代码

这里需要注意的是**_inherits_possibleConstructorReturn**两个新出现的方法:

_inherits

可以看到_inherits方法的作用其实就是做了Dancer.prototype.proto = Human.prototype 和 Dancer.proto = Human两件事:

Dancer.prototype.__proto__ === Human.prototype // true
复制代码

的作用是使Human的定义在构造的对象的原型对象上的属性,被继承到Dancer构造的对象的原型对象上。

Dancer.__proto__ === Human // true
复制代码

的作用是使Human的静态方法(static method)继承到Dancer上。

_possibleConstructorReturn

_possibleConstructorReturn的作用这是将Dancer的this绑定到Human上并且执行:也就是这句: Object.getPrototypeOf(Dancer)).call(this, name),在这之前_inherits已经将Dancer.proto = Human,所以句的意思等于:Human.call(this, name),也就是Dancer的this会定义Human定义在构造的对象上的属性,也就是很多文章中说的:子类的constructor中的this是先被父类的constructor处理后返回的this作为子类的constructor的this再被定义子类的对应的属性

在看一个?:

class SuperMan extends Human {
  constructor(name, level) {
    super(name);
    this.level = level;
  }

  say() {
    console.info(`I am ${this.name},
      whose level is ${this.level}`);
  }

  fly() {
    console.info(`${this.name} is flying ~ so cool.`);
  }
}

var SuperMan = function (_Human2) {
  _inherits(SuperMan, _Human2);

  function SuperMan(name, level) {
    var _this2 = _possibleConstructorReturn(this, (SuperMan.__proto__ ||
      Object.getPrototypeOf(SuperMan)).call(this, name));
    _this2.level = level;
    return _this2;
  }

  _createClass(SuperMan, [{
    key: 'say',
    value: function say() {
      console.info('I am ' + this.name + ', whose level is ' + this.level);
    }
  }, {
    key: 'fly',
    value: function fly() {
      console.info(this.name + ' is flying ~ so cool.');
    }
  }]);

  return SuperMan;
}(Human);
复制代码

这里的_this2是被Human构造函数bind调用后的this,然后再定义了Dancer的level属性。

总结

基于上述的分析,Class & extends的语法糖本质上做了三件事:

class A {
}

class B extends A {
}

1 -> B.__proto__ === A // true

2 -> B.prototype.__proto__ === A.prototype // true
3 -> this(子类的constructor的this的处理)
复制代码

参考资料:

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值