ES6语言特性的总结(3)
类
在ES5中,由于没有类的概念,所以如果要使用面向对象编程的方式,就需要利用原型继承的方式。通常是创建一个构造器,然后将方法指派到该构造器的原型上。
就像这样:
1 | function Cat(name) { |
ES6引入了class
关键字后就不再需要这样做了。不过需要明白的是ES6中的类仅仅是以上面这种方式作为基础的一个语法糖而已。
ES6中类声明已class
关键字开始,其后是类的名称;剩余部分的语法部分看起来就像对象字面量中的方法简写,并且在方法之间不需要使用逗号。同时允许你在其中使用特殊的 constructor 方法名称直接定义一个构造器,而不需要先定义一个函数再把它当作构造器使用。
1 | class Cat { |
类声明与ES5仿类的区别
虽然ES6的类声明是ES5方式的一个语法糖,但是与之相比,还是存在一些区别的。
- 类声明不会被提升,这与函数定义不同。类声明的行为与 let 相似,因此在程序的执行到达声明处之前,类会存在于暂时性死区内。
- 类声明中的所有代码会自动运行在严格模式下,并且也无法退出严格模式。
- 类的所有方法都是不可枚举的,这是对于自定义类型的显著变化,后者必须用 Object.defineProperty() 才能将方法改变为不可枚举。
- 类的所有方法内部都没有 [[Construct]] ,因此使用 new 来调用它们会抛出错误。
- 调用类构造器时不使用 new ,会抛出错误。
- 试图在类的方法内部重写类名,会抛出错误。
访问器属性
自有属性需要在类构造器中创建,而类还允许你在原型上定义访问器属性。
1 | class Person { |
在读取访问器属性的时候,会调用getter方法,而写入值的时候,会调用setter方法。这类似于ES5中使用Object.definePropery
的方法。
静态成员
静态成员在ES5中一般是直接定义在构造器上的,如:
1 | function Person(name, age) { |
而在ES6中提供了static
关键字简化了声明静态成员的方式:
1 | class Person { |
继承
ES5中实现继承的方式有很多种,但是如果要实现严格的继承,步骤较为繁琐。为了简化继承的关系,ES6中使用类让这项工作变得更简单。如果你熟悉面向对象语言,如java等,那么extends这个关键你一定不会陌生。同样的,在ES6中使用extends
关键字来指定当前类所需要继承的函数即可。生成的类的原型会被自动调整,而你还能调用 super() 方法来访问基类的构造器。1
2
3
4
5
6
7
8
9
10
11
12
13
14
15class Person {
constructor(country) {
this.country = country;
}
}
class Chinese extends Person{
constructor() {
super('China');
}
speak() {
console.log('I come from ' + this.country);
}
}
派生类中的方法总是会屏蔽基类中的同名方法,因此,如果你需要使用父类中定义的方法的话,可以使用super
关键字来进行访问。如:1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25class Person {
constructor(country) {
this.country = country;
}
speak() {
console.log('I come from ' + this.country);
}
}
class Chinese extends Person{
constructor() {
super('China');
}
speak() {
super.speak();
console.log('I am a Chinese');
}
}
const chinese = new Chinese();
chinese.speak();
//I come from China.
//I am a Chinese.
从表达式中派生类
另一个在ES6中比较高级的地方是,可以从表达式中派生出类来:1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30let SerializableMixin = {
serialize() {
return JSON.stringify(this);
}
};
let AreaMixin = {
getArea() {
return this.length * this.width;
}
};
//混入
function mixin(...mixins) {
var base = function() {};
Object.assign(base.prototype, ...mixins);
return base;
}
class Square extends mixin(AreaMixin, SerializableMixin) {
constructor(length) {
super();
this.length = length;
this.width = length;
}
}
var x = new Square(3);
console.log(x.getArea()); // 9
console.log(x.serialize()); // "{"length":3,"width":3}"
继承内置对象
利用extends
继承内置对象的时候,容易出现的一个问题是会返回内置对象实例的方式,在继承后会返回子类的实例。如:1
2
3
4
5
6
7class SubArray extends Array {
}
const subArr = new SubArray(1,2,3);
const filteredArr = subArr.filter(value => value > 1);
console.assert(filteredArr instanceof SubArray); //true
如果需要想让其返回实例类型是Array
可以利用Symbol.species
这个符号来处理:1
2
3
4
5
6class SubArray extends Array {
//这里使用static,表明是静态访问器属性
static get [Symbol.species]() {
return Array;
}
}
定义抽象类
利用之前介绍的new.target
可以实现一个抽象类,原理就是当用户调用new
直接创建实例的时候,抛出错误。:1
2
3
4
5
6
7class BaseClass {
constructor() {
if(new.target === BaseClass) {
throw new Error('该类不能直接实例化')
}
}
}
模块
随着项目的规模越来越大,现在模块化已经成为开发过程中必备的流程。之前,我们可能借助RequireJS等工具进行模块化管理,而现在ES6已经提供了模块系统。
先来了解一下基本语法:
基本的导出导入
模块( Modules )本质上就是 包含JS 代码的文件。在一个js文件中,你可以使用export
关键字,将代码公开给其他模块。
1 | // sayHello.js |
如上面的例子中所示,你可以在文件中导出所有的最外层函数
、类
以及var
、let
或const
声明的变量。而这些导出的变量或公开部分则可以被其他文件利用import
语法进行导入后引用。
1 | //单个导入 |
为了确保浏览器与Node.js之间保持良好的兼容性,建议使用相对路径的写法。
如果需要将整个模块当做单一的对象进行导入,可以使用*
通配符:
1 | //使用as关键字为导出对象设置别名,模块中所有导出都将作为属性存在 |
重命名导出与导入
如果不想用原来模块中的命名,可以通过as
关键字来指定别名。
1 | //as前面为模块原先的名称,后面是别名,使用别名后sayHello为undefined |
默认值
你可以使用export
关键字来导出默认模块:
1 | // sayHello.js |
可以注意到,这里默认导出的时候,不需要使用花括号,而直接为其命名即可。这种写法也较为简洁。当一个文件中,同时存在默认导出模块和非默认导出模块的时候,导出的时候,默认导出模块需要写在前面,例如:
1 | import sayHello,{ func1 } from './sayHello.js'; //此处略去导出过程 |
无绑定导出
当一个文件中没有使用export
语句进行导出的时候,其实我们还是可以import
进行导入的。通常是被用于创建polyfill与shim的时候。
1 | //sayHello.js |
加载模块
虽然说现在在项目中通常都使用webpack来处理模块代码,但也需要知道其他加载模块的方式。
你可以使用<script type="module">
的方式进行模块的加载,默认浏览器会采用defer
属性,一旦页面文档完全被解析后,模块就会按次序执行。如果需要异步加载的话,可以加上async
关键字。
另外,如果是使用Web Worker或Server Worker之类的worker的话,可以通过下面这种方式加载模块:
1 | let worker = new Worker('module.js', { type: 'module' }); |
迭代器与生成器
迭代器和生成器通常是一起来使用的。迭代器的目的是为了更加方便地遍历对象,而生成器用来生成可迭代的对象。使用迭代器的过程中,你可以结合for...of
语句以及...
扩展符来遍历对象的值。
迭代器
在ES6中,迭代器是专门用来设计迭代的对象,带有特殊的接口。所有的迭代器都带有next
方法,用来返回一个结果。这里我们来手工实现一个迭代器:
1 | function createIterator() { |
集合对象(Set、Map、Array)提供了三种内置的迭代器:entries,keys,values,这三个方法都会返回一个迭代器,用来方便地获取键值对等信息。ES6中定义了可迭代对象(iterable object),如Set、Map、Array以及字符串等都可以利用for...of
语法来进行遍历操作。原理其实就是调用它们内置的默认迭代器。对于用户自定义的对象,如果也要让它们支持for...of
语法,则需要去定义Symbol.iterator
属性。具体例子,可以查看符号那一部分的内容。
生成器
生成器(generator)是能够返回迭代器的函数。通常定义的时候,我们会利用function
关键字之后的(*)号表示,使用yield
语句输出每一次的数据。
1 | function *getNum() { |
Promise与异步编程
这部分的内容我在前端的异步解决方案之Promise和Await/Async中有详细的阐述,如果感兴趣的可以看一下。
代理与反射接口
为了让开发者能够创建内置对象,ES6通过代理( proxy )的方式暴露了对象上的内部工作。使用代理能够拦截并改变 JS 引擎的底层操作,如日志、对象虚拟化等。而反射( reflect )则是反映了对底层的默认行为操作。
接下来这个例子,将演示如何利用代理和反射的方式对对象的内置行为做修改:
1 | //要修改的默认对象 |
可以看到,上面这个例子使用代理对象拦截了in
操作符的默认行为并作出了修改。has
这个方法称作陷阱函数,它能够响应对in
操作的访问操作。trapTarget
则是这个函数的目标对象,has
方法接受一个额外的参数key
是对应着需要检查的属性。一旦检查到属性名为age
,则返回false
,这样就能隐藏这个属性。
以下是一些常用的代理陷阱以及反射所对应的默认行为:
代理陷阱 | 被重写的行为 | 默认行为 |
---|---|---|
get/set | 读取/写入一个属性值 | Reflect.get/Reflect.set |
has | in运算符 | Reflect.has |
deleteProperty | delete运算符 | Reflect.deleteProperty |
getPropertyOf/setPropertyOf | Object.getPropertyOf/setPropertyOf | Reflefct.getPropertyOf/setPropertyOf |
目前,反射和代理在浏览器上还不支持,主要还是用在NodeJS编程上。这一部分的功能在实际开发中并不是特别常用,因此,这里不做过多介绍。如果感兴趣的话,可以自行查找相关文档。