Class(类)
1、为什么会出现类?
- 因为 JavaScript 语言的传统方法是通过构造函数,定义并生成新对象。写法跟传统的面向对象语言(比如 C++和 Java)差异很大,很容易让新学习这门语言的程序员感到困惑,如下:
1 | function Person(name, age) { |
2、将上述构造函数写法改写成类的写法如下:
1 | class Person { |
上述代码中,类中存在一个 constructor() 构造器方法,是类的构造函数(默认方法),用于传递参数,返回实例对象,通过 new 命令生成对象的实例时自动调用该方法。如果没有显示定义,类内部会自动创建一个 constructor()。其中的 this 关键字指向实例对象。
需要注意的是,类不可调用,必须使用 new 实例化对象。
3、class 可以看作只是一个语法糖,它的绝大部分功能,ES5 都可以做到,新的 class 写法只是让对象原型的写法更加清晰、更像面向对象编程的语法而已。ES6 的类,完全可以看作构造函数的另一种写法,如下代码就能表明:类的数据类型就是函数,类本身就指向构造函数。
1 | class Point { |
4、类的所有方法都定义在类的 prototype 属性上面:
1 | class Point { |
5、在类的实例上面调用方法,其实就是调用当前类的原型上的方法。
1 | class B {} |
上面代码中,b 是 B 类的实例,它的 constructor 方法就是 B 类原型的 constructor 方法。
6、由于类的方法都定义在 prototype 对象上面,所以类的新方法可以添加在 prototype 对象上面。Object.assign 方法可以很方便地一次向类添加多个方法。
1 | class Point { |
- prototype 对象的 constructor 属性,直接指向“类”的本身,这与 ES5 的行为是一致的。
1 | Point.prototype.constructor === Point; // true |
7、类的内部所有定义的方法,都是不可枚举的(non-enumerable)。
1 | class Point { |
Object.keys()方法会返回一个由一个给定对象的自身可枚举(enumerable=true)属性组成的数组,数组中属性名的排列顺序和正常循环遍历该对象时返回的顺序一致 。
Object.getOwnPropertyNames()方法返回一个由指定对象的所有自身属性的属性名(包括不可枚举属性但不包括 Symbol 值作为名称的属性)组成的数组。
- 在 ES5 中,通过构造函数的写法,将 toString 定义在构造函数的原型上,那么 toString 就可以被枚举:
1 | const Point = function (x, y) { |
8、类的属性名,可以采用表达式。
1 | let methodName = "getArea"; |
9、class 不存在变量提升,而这种规定的原因与下文要提到的继承有关,必须保证子类在父类之后定义。
1 | new Foo(); // ReferenceError |
10、类和模块的内部,默认就是严格模式,所以不需要使用 use strict 指定运行模式。只要你的代码写在类或模块之中,就只有严格模式可用。
constructor()
1、constructor 方法是类的默认方法,通过 new 命令生成对象实例时,自动调用该方法。一个类必须有 constructor 方法,如果没有显式定义,一个空的 constructor 方法会被默认添加。
2、constructor 方法默认返回实例对象(即 this),但是可以手动让它返回另外一个对象。
1 | class Foo { |
类的实例对象
1、生成类的实例对象的写法,与 ES5 完全一样,也是使用 new 命令。如果忘记加上 new,像函数那样调用 Class,将会报错。
1 | // 报错 |
2、与 ES5 一样,实例的属性除非显式定义在其本身(即定义在 this 对象上),否则都是定义在原型上(即定义在 class 上)。
1 | class Person { |
上面代码中,name 和 age 都是实例对象 Person 自身的属性(因为定义在 this 变量上),所以 hasOwnProperty 方法返回 true,而 toString 是原型对象的属性(因为定义在 Person 类上),所以 hasOwnProperty 方法返回 false。这些都与 ES5 的行为保持一致。
3、与 ES5 一样,类的所有实例共享一个原型对象。
1 | const p1 = new Point(2, 3); |
- 上面代码中,p1 和 p2 都是 Point 的实例,它们的原型都是 Point.prototype,所以 __proto__ 属性是相等的。这也意味着,可以通过实例的 __proto__ 属性为 Class 添加方法。
1 | const p1 = new Person("snsn", 26); |
上面代码在 p1 的原型上添加了一个 printName 方法,由于 p1 的原型就是 p2 的原型,因此 p2 也可以调用这个方法。而且,此后新建的实例 p3 也可以调用这个方法。这意味着,使用实例的__proto__属性改写原型,必须相当谨慎,不推荐使用,因为这会改变 Class 的原始定义,影响到所有实例。
Class 表达式
1、与函数一样,类也可以使用表达式的形式定义。
1 | const MyClass = class Me { |
- 上面代码使用表达式定义了一个类。需要注意的是,这个类的名字是 MyClass 而不是 Me,Me 只在 Class 的内部代码可用,指代当前类。
1 | let inst = new MyClass(); |
上面代码表示,Me 只在 Class 内部有定义。
2、如果类的内部没用到的话,可以省略 Me,也就是可以写成下面的形式。
1 | const MyClass = class { |
3、采用 Class 表达式,可以写出立即执行的 Class。
1 | let person = new (class { |
类的私有方法
1、私有方法是常见需求,但 ES6 不提供,只能通过变通方法模拟实现。我们可以通过 Symbol 实现私有方法。
1 | const sym = Symbol("sym"); |
上面代码中,sym 和 bol 都是 Symbol 值,导致第三方无法获取到它们,因此达到了私有方法和私有属性的效果。
class 中 this 的指向
1、类的方法内部如果含有 this,它默认指向类的实例。但是将该方法结构出来单独使用,将会报错。
1 | class Person { |
- 上面代码中,sayName 方法中的 this,默认指向 Person 类的实例。但是,如果将这个方法提取出来单独使用,this 会指向该方法运行时所在的环境,因为找不到 say 方法而导致报错。
2、解决 this 指向问题的方式:
- 在构造方法中绑定 this:
1 | class Person { |
- 使用箭头函数:
1 | class Person { |
Class 的继承
1、Class 之间可以通过 extends 关键字实现继承,这比 ES5 的通过修改原型链实现继承,要清晰和方便很多。
2、基本语法如下:
1 | class Son extends Parent {} |
3、基本使用方式如下:
1 | class Son extends Parent { |
上面代码中,constructor 方法和 toString 方法之中,都出现了 super 关键字,它在这里表示父类的构造函数,用来新建父类的 this 对象。
4、子类必须在 constructor 方法中调用 super 方法,否则新建实例时会报错。这是因为子类没有自己的 this 对象,而是继承父类的 this 对象,然后对其进行加工。如果不调用 super 方法,子类就得不到 this 对象。
1 | class Person { |
ES5 的继承,实质是先创造子类的实例对象 this,然后再将父类的方法添加到 this 上面(Parent.apply(this))。ES6 的继承机制完全不同,实质是先创造父类的实例对象 this(所以必须先调用 super 方法),然后再用子类的构造函数修改 this。
5、在子类的构造函数中,只有调用 super 之后,才可以使用 this 关键字,否则会报错。这是因为子类实例的构建,是基于对父类实例加工,只有 super 方法才能返回父类实例。
1 | class Animal { |
上面代码中,实例对象 tiger 同时是 Tiger 和 Animal 两个类的实例,这与 ES5 的行为完全一致。
类的 prototype 属性和 __proto__ 属性
1、每一个对象都有__proto__属性,指向对应的构造函数的 prototype 属性。Class 作为构造函数的语法糖,同时有 prototype 属性和__proto__属性,因此同时存在两条继承链:
子类的__proto__属性,表示构造函数的继承,总是指向父类。
子类 prototype 属性的__proto__属性,表示方法的继承,总是指向父类的 prototype 属性。
1 | class A {} |
- 上面代码中,子类 B 的__proto__属性指向父类 A,子类 B 的 prototype 属性的__proto__属性指向父类 A 的 prototype 属性。出现这样的结果,因为类的继承是按照下面的模式实现的。
1 | class A {} |
- Object.setPrototypeOf 方法的实现如下:
1 | Object.setPrototypeOf = function (obj, proto) { |
- 由上述代码可以得出:
1 | Object.setPrototypeOf(B.prototype, A.prototype); |
2、这两条继承链,也可以这样理解:当作为一个对象时,子类(B)的原型(__proto__属性)是父类(A)。当作为一个构造函数时,子类(B)的原型(prototype 属性)是父类的实例。
1 | Object.create(A.prototype); |
Object.getPrototypeOf()
1、Object.getPrototypeOf 方法可以用来从子类上获取父类。
1 | Object.getPrototypeOf(ColorPoint) === Point; // true |
super 关键字
1、super 这个关键字,既可以当作函数使用,也可以当作对象使用。在这两种情况下,它的用法完全不同。
作为函数调用
1、super 作为函数调用时,代表父类的构造函数。ES6 要求,子类的构造函数必须执行一次 super 函数。
1 | class A {} |
2、super 虽然代表了父类 A 的构造函数,但是返回的是子类 B 的实例,即 super 内部的 this 指的是 B,因此 super() 在这里相当于 A.prototype.constructor.call(this)。
1 | class A { |
- 上面代码中,new.target 指向当前正在执行的函数。可以看到,在 super() 执行时,它指向的是子类 B 的构造函数,而不是父类 A 的构造函数。也就是说,super() 内部的 this 指向的是 B。
3、super 作为函数时,super() 只能用在子类的构造函数之中,用在其他地方就会报错。
1 | class A {} |
作为对象时
1、super 作为对象时,指向父类的原型对象。
1 | class A { |
上面代码中,子类 B 当中的 super.p(),就是将 super 当作一个对象使用。这时,super 指向 A.prototype,所以 super.p()就相当于 A.prototype.p()。
2、由于 super 指向父类的原型对象,所以定义在父类实例上的方法或属性,是无法通过 super 访问的。
1 | class A { |
3、如果属性定义在父类的原型对象上,super 就可以取到。
1 | class A {} |
4、通过 super 调用父类的方法时,super 会绑定子类的 this。
1 | class A { |
上面代码中,super.print() 虽然调用的是 A.prototype.print(),但是 A.prototype.print() 会绑定子类 B 的 this,导致输出的是 2,而不是 1。也就是说,实际上执行的是 super.print.call(this)。
5、由于绑定子类的 this,所以如果通过 super 对某个属性赋值,这时 super 就是 this,赋值的属性会变成子类实例的属性。
1 | class A { |
上面代码中,super.x 赋值为 3,这时等同于对 this.x 赋值为 3。而当读取 super.x 的时候,读的是 A.prototype.x,所以返回 undefined。
6、使用 super 的时候,必须显式指定是作为函数、还是作为对象使用,否则会报错。
1 | class A {} |
实例的 __proto__
1、子类实例的 __proto__ 属性的 __proto__ 属性,指向父类实例的 __proto__ 属性。也就是说,子类的原型的原型,是父类的原型。
1 | const p1 = new A(2, 3); |
- B 继承了 A,促使了 B 原型的原型是 A 的原型。因此,通过子类实例的 __proto__.__proto__ 属性,可以修改父类实例的行为。
1 | p2.__proto__.__proto__.printName = function () { |
上面代码在 B 的实例 p2 上向 A 类添加方法,结果影响到了 A 的实例 p1。
getter 和 setter
1、与 ES5 一样,在 Class 内部可以使用 get 和 set 关键字,对某个属性设置存值函数和取值函数,拦截该属性的存取行为。
1 | class MyClass { |
Class 的静态方法
1、类相当于实例的原型,所有在类中定义的方法,都会被实例继承。如果在一个方法前,加上 static 关键字,就表示该方法不会被实例继承,而是直接通过类来调用,这就称为“静态方法”。
1 | class Foo { |
2、父类的静态方法,可以被子类继承。
1 | class Foo { |
3、静态方法也是可以从 super 对象上调用的。
1 | class Foo { |
new.target 属性
1、new 是从构造函数生成实例的命令。ES6 为 new 命令引入了一个 new.target 属性,在构造函数中返回 new 命令作用于的那个构造函数。如果构造函数不是通过 new 命令调用的,new.target 会返回 undefined,因此这个属性可以用来确定构造函数是怎么调用的。
1 | function Person(name) { |
2、在 Class 内部调用 new.target 时,返回当前 Class。
1 | class Rectangle { |
3、子类继承父类时,new.target 会返回子类。
1 | class Rectangle { |
- 上面代码中,new.target 会返回子类,利用这个特点,可以写出不能独立使用、必须继承后才能使用的类。
1 | class Shape { |
注意,不能在在函数外部使用 new.target,否则将会报错。
class 实现单例模式
1、单例模式概述:一个类创建出来的实例都是相等的,换句话说,每次创建出的实例都是同一个。
2、单例模式的作用:方便在项目中传递数据。
3、设计思路:首次创建实例对象时,会创建新的对象,除了首次之外,返回的都是第一次创建的实例对象。
4、具体实现方式如下:
1 |
|
发布时间: 2020-04-01
最后更新: 2022-05-04
本文标题: Class
本文链接: https://dnhyxc.gitee.io/2020/04/01/class/
版权声明: 本作品采用 CC BY-NC-SA 4.0 许可协议进行许可。转载请注明出处!