Class:向传统类模式转变的构造函数

前言

JS基于原型的‘类’,一直被转行前端的码僚们大呼惊奇,但接近传统模式使用class关键字定义的出现,却使得一些前端同行深感遗憾而纷纷留言:“还我独特的JS”、“净搞些没实质的东西”、“自己没有类还非要往别家的类上靠”,甚至是“已转行”等等。有情绪很正常,毕竟新知识意味着更多时间与精力的开销,又不是简单的闭眼享受。

然而历史的轴印前行依旧,对于class可以肯定的一点是你不能对面试官说:“拜托,不是小弟不懂,仅仅是不愿意了解,您换个问题呗!”一方面虽然class只是个语法糖,但extends对继承的改进还是不错的。另一方面今后可能在‘类’上出现的新特性应该是由class而不是构造函数承载,谁也不确定它将来会出落得怎样标致。因此,来来来,慢慢的喝下这碗热气腾腾的红糖姜汤。

1 class

ECMAScript中没有类的概念,我们的实例是基于原型由构造函数生成具有动态属性和方法的对象。不过为了与国际接轨,描述的更为简便和高大上,依然会使用‘类’这一词。所以JS的类等同于构造函数。ES6的class只是个语法糖,其定义生成的对象依然构造函数。不过为了与构造函数模式区分开,我们称其为类模式。学习class需要有构造函数和原型对象的知识,具体可以自行百度。


// ---使用构造函数
function C () {
  console.log(‘New someone.‘);
}

C.a = function () { return ‘a‘; }; // 静态方法

C.prototype.b = function () { return ‘b‘; }; // 原型方法

// ---使用class
class C {
  static a() { return ‘a‘; } // 静态方法

  constructor() { console.log(‘New someone.‘); } // 构造方法

  b() { return ‘b‘; } // 原型方法
};

1.1 与变量对比

关键字class类似定义函数的关键字function,其定义的方式有声明式和表达式(匿名式和命名式)两种。通过声明式定义的变量的性质与function不同,更为类似letconst,不会提前解析,不存在变量提升,不与全局作用域挂钩和拥有暂时性死区等。class定义生成的变量就是一个构造函数,也因此,类可以写成立即执行的模式。



// ---声明式
class C {}
function F() {}

// ---匿名表达式
let C = class {};
let F = function () {};

// ---命名表达式
let C = class CC {};
let F = function FF() {};

// ---本质是个函数
class C {}
console.log(typeof C); // function
console.log(Object.prototype.toString.call(C)); // [object Function]
console.log(C.hasOwnProperty(‘prototype‘)); // true

// ---不存在变量提升
C; // 报错,不存在C。
class C {}
// 存在提前解析和变量提升
F; // 不报错,F已被声明和赋值。
function F() {}

// ---自执行模式
let c = new (class {
})();
let f = new (function () {
})();

1.2 与对象对比

类内容({}里面)的形式与对象字面量相似。不过类内容里面只能定义方法不能定义属性,方法的形式只能是函数简写式,方法间不用也不能用逗号分隔。方法名可以是带括号的表达式,也可以为Symbol值。方法分为三类,构造方法(constructor方法)、原型方法(存在于构造函数的prototype属性上)和静态方法(存在于构造函数本身上)



class C {
  // 原型方法a
  a() { console.log(‘a‘); }
  // 构造方法,每次生成实例时都会被调用并返回新实例。
  constructor() {}
  // 静态方法b,带static关键字。
  static b() { console.log(‘b‘); }
  // 原型方法,带括号的表达式
  [‘a‘ + ‘b‘]() { console.log(‘ab‘); }
  // 原型方法,使用Symbol值
  [Symbol.for(‘s‘)]() { console.log(‘symbol s‘); }
}

C.b(); // b

let c = new C();
c.a(); // a
c.ab(); // ab
c[Symbol.for(‘s‘)](); // symbol s

不能直接定义属性,并不表示类不能有原型或静态属性。解析class会形成一个构造函数,因此只需像为构造函数添加属性一样为类添加即可。更为直接也是推荐的是只使用getter函数定义只读属性。为什么不能直接设置属性?是技术不成熟?是官方希望传递某种思想?抑或仅仅是笔者随意抛出的一个问题?


// ---直接在C类(构造函数)上修改
class C {}
C.a = ‘a‘;
C.b = function () { return ‘b‘; };
C.prototype.c = ‘c‘;
C.prototype.d = function () { return ‘d‘; };

let c = new C();
c.c; // c
c.d(); // d

// ---使用setter和getter
// 定义只能获取不能修改的原型或静态属性
class C {
  get a() { return ‘a‘; }
  static get b() { return ‘b‘; }
}

let c = new C();
c.a; // a
c.a = ‘1‘; // 赋值没用,只有get没有set无法修改。

1.3 与构造函数对比

下面是使用构造函数和类实现相同功能的代码。直观上,class简化了代码,使得内容更为聚合。constructor方法体等同构造函数的函数体,如果没有显式定义此方法,一个空的constructor方法会被默认添加用于返回新的实例。与ES5一样,也可以自定义返回另一个对象而不是新实例。


// ---构造函数
function C(a) {
  this.a = a;
}

// 静态属性和方法
C.b = ‘b‘;
C.c = function () { return ‘c‘; };

// 原型属性和方法
C.prototype.d = ‘d‘;
C.prototype.e = function () { return ‘e‘; };
Object.defineProperty(C.prototype, ‘f‘, { // 只读属性
  get() {
    return ‘f‘;
  }
});

// ---类
class C {
  static c() { return ‘c‘; }

  constructor(a) {
    this.a = a;
  }

  e() { return ‘e‘; }
  get f() { return ‘f‘; }
}

C.b = ‘b‘;
C.prototype.d = ‘d‘;

类虽然是个函数,但只能通过new生成实例而不能直接调用。类内部所定义的全部方法是不可枚举的,在构造函数本身和prototype上添加的属性和方法是可枚举的。类内部定义的方法默认是严格模式,无需显式声明。以上三点增加了类的严谨性,比较遗憾的是,依然还没有直接定义私有属性和方法的方式。


// ---能否直接调用
class C {}
C(); // 报错

function C() {}
C(); // 可以

// ---是否可枚举
class C {
  static a() {} // 不可枚举
  b() {} // 不可枚举
}

C.c = function () {}; // 可枚举
C.prototype.d = function () {}; // 可枚举

isEnumerable(C, [‘a‘, ‘c‘]); // a false, c true
isEnumerable(C.prototype, [‘b‘, ‘d‘]); // b false, d true

function isEnumerable(target, keys) {
  let obj = Object.getOwnPropertyDescriptors(target);
  keys.forEach(k => {
    console.log(k, obj[k].enumerable);
  });
}

// ---是否为严格模式
class C {
  a() {
    let is = false;
    try {
      n = 1;
    } catch (e) {
      is = true;
    }
    console.log(is ? ‘true‘ : ‘false‘);
  }
}

C.prototype.b = function () {
  let is = false;
  try {
    n = 1;
  } catch (e) {
    is = true;
  }
  console.log(is ? ‘true‘ : ‘false‘);
};

let c = new C();
c.a(); // true,是严格模式。
c.b(); // false,不是严格模式。

在方法前加上static关键字表示此方法为静态方法,它存在于类本身,不能被实例直接访问。静态方法中的this指向类本身。因为处于不同对象上,静态方法和原型方法可以重名。ES6新增了一个命令new.target,指代new后面的构造函数或class,该命令的使用有某些限制,具体请看下面示例。


// ---static
class C {
  static a() { console.log(this === C); }
  a() { console.log(this instanceof C); }
}

let c = new C();
C.a(); // true
c.a(); // true

// ---new.target
// 构造函数
function C() {
  console.log(new.target);
}

C.prototype.a = function () { console.log(new.target); };

let c = new C(); // 打印出C
c.a(); // 在普通方法中为undefined。

// ---类
class C {
  constructor() { console.log(new.target); }
  a() { console.log(new.target); }
}

let c = new C(); // 打印出C
c.a(); // 在普通方法中为undefined。

// ---在函数外部使用会报错
new.target; // 报错

2 extends

ES5中的经典继承方法是寄生组合式继承,子类会分别继承父类实例和原型上的属性和方法。ES6中的继承本质也是如此,不过实现方式有所改变,具体如下面的代码。可以看到,原型上的继承是使用extends关键字这一更接近传统语言的形式,实例上的继承是通过调用super完成子类this塑造。表面上看,方式更为的统一和简洁。


class C1 {
  constructor(a) { this.a = a; }
  b() { console.log(‘b‘); }
}

class C extends C1 { // 继承原型数据
  constructor() {
    super(‘a‘); // 继承实例数据
  }
}

2.1 与构造函数对比

使用extends继承,不仅仅会将子类的prototype属性的原型对象(__proto__)设置为父类的prototype,还会将子类本身的原型对象(__proto__)设置为父类本身。这意味着子类不单单会继承父类的原型数据,也会继承父类本身拥有的静态属性和方法。而ES5的经典继承只会继承父类的原型数据。不单单是财富,连老爸的名气也要获得,不错不错。


class C1 {
  static get a() { console.log(‘a‘); }
  static b() { console.log(‘b‘); }
}

class C extends C1 {
}
// 等价,没有构造方法会默认添加。
class C extends C1 {
  constructor(...args) {
    super(...args);
  }
}

let c = new C();
C.a; // a,继承了父类的静态属性。
C.b(); // b,继承了父类的静态方法。
console.log(Object.getPrototypeOf(C) === C1); // true,C的原型对象为C1
console.log(Object.getPrototypeOf(C.prototype) === C1.prototype); // true,C的prototype属性的原型对象为C1的prototype

ES5中的实例继承,是先创造子类的实例对象this,再通过callapply方法,在this上添加父类的实例属性和方法。当然也可以选择不继承父类的实例数据。而ES6不同,它的设计使得实例继承更为优秀和严谨。

在ES6的实例继承中,是先调用super方法创建父类的this(依旧指向子类)和添加父类的实例数据,再通过子类的构造函数修饰this,与ES5正好相反。ES6规定在子类的constructor方法里,在使用到this之前,必须先调用super方法得到子类的this。不调用super方法,意味着子类得不到this对象。


class C1 {
  constructor() {
    console.log(‘C1‘, this instanceof C);
  }
}

class C extends C1 {
  constructor() {
    super(); // 在super()之前不能使用this,否则报错。
    console.log(‘C‘);
  }
}

new C(); // 先打印出C1 true,再打印C。

2.2 super

关键字super比较奇葩,在不同的环境和使用方式下,它会指代不同的东西(总的说可以指代对象或方法两种)。而且在不显式的指明是作为对象或方法使用时,比如console.log(super),会直接报错。

作为函数时。super只能存在于子类的构造方法中,这时它指代父类构造函数。

作为对象时。super在静态方法中指代父类本身,在构造方法和原型方法中指代父类的prototype属性。不过通过super调用父类方法时,方法的this依旧指向子类。即是说,通过super调用父类的静态方法时,该方法的this指向子类本身;调用父类的原型方法时,该方法的this指向该(子类的)实例。而且通过super对某属性赋值时,在子类的原型方法里指代该实例,在子类的静态方法里指代子类本身,毕竟直接在子类中通过super修改父类是很危险的。

很迷糊对吧,疯疯癫癫的,还是结合着代码看吧!


class C1 {
  static a() {
    console.log(this === C);
  }
  b() {
    console.log(this instanceof C);
  }
}

class C extends C1 {
  static c() {
    console.log(super.a); // 此时super指向C1,打印出function a。

    this.x = 2; // this等于C。
    super.x = 3; // 此时super等于this,即C。
    console.log(super.x); // 此时super指向C1,打印出undefined。
    console.log(this.x); // 值已改为3。

    super.a(); // 打印出true,a方法的this指向C。
  }

  constructor() {
    super(); // 指代父类的构造函数

    console.log(super.c); // 此时super指向C1.prototype,打印出function c。

    this.x = 2; // this等于新实例。
    super.x = 3; // 此时super等于this,即实例本身。
    console.log(super.x); // 此时super指向C1.prototype,打印出undefined。
    console.log(this.x); // 值已改为3。

    super.b(); // 打印出true,b方法的this指向实例本身。
  }
}

2.3 继承原生构造函数

使用构造函数模式,构建继承了原生数据结构(比如Array)的子类,有许多缺陷的。一方面由上文可知,原始继承是先创建子类this,再通过父类构造函数进行修饰,因此无法获取到父类的内部属性(隐藏属性)。另一方面,原生构造函数会直接忽略callapply方法传入的this,导致子类根本无法获取到父类的实例属性和方法。


function MyArray(...args) {
  Array.apply(this, args);
}

MyArray.prototype = Array.prototype;
// MyArray.prototype.constructor = MyArray;

let arr = new MyArray(1, 2, 3); // arr为对象,没有储存值。
arr.push(4, 5); // 在arr上新增了0,1和length属性。
arr.map(d => d); // 返回数组[4, 5]
arr.length = 1; // arr并没有更新,依旧有0,1属性,且arr[1]为5。

创建类的过程,是先构造一个属于父类却指向子类的this(绕口),再通过父类和子类的构造函数进行修饰。因此可以规避构造函数的问题,获取到父类的实例属性和方法,包括内部属性。进而真正的创建原生数据结构的子类,从而简单的扩展原生数据类型。另外还可以通过设置Symbol.species属性,使得衍生对象为原生类而不是自定义子类的实例。


class MyArray extends Array { // 实现是如此的简单
  static get [Symbol.species]() { return Array; }
}

let arr = new MyArray(1, 2, 3); // arr为数组,储存有1,2,3。
arr.map(d => d); // 返回数组[1, 2, 3]
arr.length = 1; // arr正常更新,已包含必要的内部属性。

需要注意的是继承Object的子类。ES6改变了Object构造函数的行为,一旦发现其不是通过new Object()这种形式调用的,构造函数会忽略传入的参数。由此导致Object子类无法正常初始化,但这不是个大问题。


class MyObject extends Object {
  static get [Symbol.species]() { return Object; }
}

let o = new MyObject({ id: 1 });
console.log(o.hasOwnPropoty(‘id‘)); // false,没有被正确初始化

推荐

ES6精华:Symbol
ES6精华:Promise
Async:简洁优雅的异步之道
Generator:JS执行权的真实操作者

原文地址:https://www.cnblogs.com/lalalagq/p/9748257.html

时间: 2024-11-05 09:23:09

Class:向传统类模式转变的构造函数的相关文章

类(1)- 构造函数

构造函数的最基本的作用是为类型的一个新的实例中所有的字段和属性分配初始值.所以,根据其功能,他不需要(也没有意义)返回值.他的函数名必须和类名相同. 引用类型的构造函数 任何时候,只要创建类或结构的一个实例,就会调用它的构造函数.类或结构可能有多个接受不同参数的构造函数.构造函数使得程序员可设置默认值.限制实例化以及编写灵活且便于阅读的代码. 如果没有为对象提供构造函数,则默认情况下 C# 将创建一个没有任何参数的构造函数,该构造函数将会调用其基类的无参数的构造函数.如果基类也没有则继续上溯,直

货运APP雨后春笋 传统物流模式将被改变

移动互联网正在改变我们的生活方式,各种手机APP充斥着人们的生活,物流行业也不例外.货运APP的出现,对于物流行业是一个提升的机会,也是迈向标准化和专业化的一个有效途径.有专家预测,这将为物流行业的发展带来划时代的意义.但从目前的发展规模来看,货运APP在实际使用过程中仍存在一些问题,物流行业的传统模式依然不可动摇.现今,如何通过货运APP给用户带来最佳使用体验及实际效益,成为APP运营商们需要思考的问题. 互联网与物流市场  谁抢占互联网先机 谁就拥有未来物流市场? 经过三十多年的发展,我国物

学习ASP.NET MVC框架揭秘笔记-传统MVC模式

1.1传统MVC模式 对于大部分面向最终用户的应用来说,他们都需要具有一个与用户进行交互的可视化UI界面,我们将这个UI称为视图(View).在早期,我们倾向于将所有与UI相关的操作糅合在一起,这些操作包括UI界面的呈现.用户交互操作的捕捉与响应.业务流程的执行及对数据的存取等,我们将这种设计模式称为自治视图(Autonomuous View  ,  AV). 1.1.1  自治视图 1.1.2  什么是MVC模式

拷贝构造,深度拷贝,关于delete和default相关的操作,explicit,类赋初值,构造函数和析构函数,成员函数和内联函数,关于内存存储,默认参数,静态函数和普通函数,const函数,友元

 1.拷贝构造 //拷贝构造的规则,有两种方式实现初始化. //1.一个是通过在后面:a(x),b(y)的方式实现初始化. //2.第二种初始化的方式是直接在构造方法里面实现初始化. 案例如下: #include<iostream> //如果声明已经定义,边不会生成 class classA { private: int a; int b; public: //拷贝构造的规则,有两种方式实现初始化 //1.一个是通过在后面:a(x),b(y)的方式实现初始化 //2.第二种初始化的方式是直

创建类模式大PK(总结)

创建类模式包括工厂方法模式.建造者模式.抽象工厂模式.单例模式和原型模式,它们都能够提供对象的创建和管理职责.其中的单例模式和原型模式非常容易理解,单例模式是要保持在内存中只有一个对象,原型模式是要求通过复制的方式产生一个新对象,这两个不容易混淆.下面主要分析其它三种模式. 一.工厂方法模式VS建造者模式 1.意图不同 在工厂方法模式里,关注的是一个产品整体,无须关心产品的各部分是如何创建出来的:但在建造者模式中,一个具体产品的产生是依赖各个部件的产生以及装配顺序,它关注的是"由零件一步一步地组

行为类模式大PK(总结)

行为类模式包括责任链模式.命令模式.解释器模式.迭代器模式.中介者模式.备忘录模式.观察者模式.状态模式.策略模式.模板方法.访问者模式,我去,好多...下面主要挑选几个比较容易混淆且比较重要的模式进行对比说明. 一.命令模式VS策略模式 1.关注点不同 策略模式关注的是算法替换的问题:一个新的算法投产,旧算法退休,或者提供多种算法由调用者自己选择使用,算法的自由更替是它实现的要点.换句话说,策略模式关注的是算法的完整性.封装性,只有具备了这两个条件才能保证其可以自由切换. 命令模式则关注的是解

C++ Primer 学习笔记_54_类与数据抽象 --复制构造函数、赋值操作符

复制控制 --复制构造函数.赋值操作符 引言: 当定义一个新类型时,需要显式或隐式地指定复制.赋值和撤销该类型的对象时会发生什么– 复制构造函数.赋值操作符和析构函数的作用!      复制构造函数:具有单个形参,该形参(常用const修饰)是对该类类型的引用.当定义一个新对象并用一个同类型的对象对它进行初始化时,将显式的使用复制构造函数:当将该类型的对象传递给函数或者从函数返回该类型的对象时,将隐式使用复制构造函数.     析构函数:作为构造函数的互补,当对象超出作用域或动态分配的对象被删除

设计模式之行为类模式大PK

                                    行为类模式大PK 行为类模式包括责任链模式.命令模式.解释器模式.迭代器模式.中介者模式.备忘录模式.观察者模式.状态模式.策略模式.模板方法模式.访问者模式.该组设计模式众多,如下我们着重介绍一下命令模式VS策略模式.状态模式VS策略模式.观察者模式VS责任链模式. 命令模式VS策略模式 命令模式和策略模式类图很相似,只是命令模式多了一个接收者(Receiver)角色,通过确切的Command类调用Receiver类,实现

浅谈设计模式之工厂类模式由简单到复杂的演变

前言 在软件设计过程中,我们总是需要创建很多对象,而且系统越庞大,创建的对象越复杂.而今天我们将讨论的就是解决对象创建时的难题--工厂类模式.为了贴近工厂这个词,我们采用工厂建造汽车这个例子来阐明工厂类模式的演变和什么场景下使用什么模式. 场景1.:一位顾客要开车从上海到苏州,他需要一辆汽车,于是他自己组装汽车,给车装轮胎.导航仪.车灯等. 问题:1.显然,顾客只是想拥有一辆汽车,他不想知道怎么去买汽车,更不想知道怎么组装,然后还要给汽车上漆. 2.如果他想换个型号的汽车,他得重新来遍组装汽车.