前言
ES6,全称ECMAScript 6,是ECMA委员会在 2015年6月正式发布的新ECMAScript标准。所以又称ECMAScript 2015,也就是说,ES6就是ES2015。至今各大浏览器厂商所开发的 JavaScript 引擎都还没有完成对 ES2015 中所有特性的完美支持,于是乎如 babel、Traceur 等编译器便出现了。它们能将尚未得到支持的 ES2015 特性转换为 ES5 标准的代码,使其得到浏览器的支持。其中,babel 因其模块化转换器(Transformer)的设计特点赢得了绝大部份 JavaScript 开发者的青睐。
一、变化
一言以蔽之:ES2015 标准提供了许多新的语法和编程特性以提高 JavaScript 的开发效率和体验。
二、新的语法
1、let、const
他们是继 var
之后,新的变量定义方法。
const 更容易被理解:const 也就是 constant 的缩写,跟 C/C++ 等经典语言一样,用于定义常量,即不可变量。
ES5只有全局作用域和函数作用域,没有块级作用域,这带来很多不合理的场景。第一种场景就是你现在看到的内层变量覆盖外层变量。而let则实际上为JavaScript新增了块级作用域。用它所声明的变量,只在let
命令所在的代码块内有效。
2、箭头函数 (arrow function)
这个恐怕是ES6最最常用的一个新特性了,用它来写function比原来的写法要简洁清晰很多:
function(i){ return i + 1; } //ES5
(i) => i + 1 //ES6
如果方程比较复杂,则需要用{}
把代码包起来:
function(x, y) {
x++;
y--;
return x + y;
}
(x, y) => {x++; y--; return x+y}
除了看上去更简洁以外,arrow function还有一项超级无敌的功能!
长期以来,JavaScript语言的this
对象一直是一个令人头痛的问题,在对象方法中使用this,必须非常小心。例如:
class Animal {
constructor(){
this.type = 'animal'
}
says(say){
setTimeout(function(){
console.log(this.type + ' says ' + say)
}, 1000)
}
}
var animal = new Animal()
animal.says('hi') //undefined says hi
运行上面的代码会报错,这是因为setTimeout
中的this
指向的是全局对象。所以为了让它能够正确的运行,传统的解决方法有两种:
(1)第一种是将this传给self,再用self来指代this
says(say){
var self = this;
setTimeout(function(){
console.log(self.type + ' says ' + say)
}, 1000);
(2)第二种方法是用bind(this),即:
says(say){
setTimeout(function(){
console.log(self.type + ' says ' + say)
}.bind(this), 1000);
但现在我们有了箭头函数,就不需要这么麻烦了:
class Animal {
constructor(){
this.type = 'animal'
}
says(say){
setTimeout( () => {
console.log(this.type + ' says ' + say)
}, 1000)
}
}
var animal = new Animal()
animal.says('hi') //animal says hi
当我们使用箭头函数时,函数体内的this对象,就是定义时所在的对象,而不是使用时所在的对象。
并不是因为箭头函数内部有绑定this的机制,实际原因是箭头函数根本没有自己的this,它的this是继承外面的,因此内部的this就是外层代码块的this。
3、模板字符串(template string)
这个东西也是非常有用,当我们要插入大段的html内容到文档中时,传统的写法非常麻烦,所以之前我们通常会引用一些模板工具库。
可以先看下面一段代码:
$("#result").append(
"There are <b>" + basket.count + "</b> " +
"items in your basket, " +
"<em>" + basket.onSale +
"</em> are on sale!"
);
我们要用一堆的'+'号来连接文本与变量,而使用ES6的新特性模板字符串``后,我们可以直接这么来写:
$("#result").append(`
There are <b>${basket.count}</b> items
in your basket, <em>${basket.onSale}</em>
are on sale!
`);
用反引号(`)
来标识起始,用${}
来引用变量,而且所有的空格和缩进都会被保留在输出之中。
4、对象字面量扩展语法
4.1 方法属性省略 function
// es5
function bar() {
return 'bar'
},
// es6
bar() {
return 'bar'
}
4.2 支持 __proto__
注入
在 ES2015 中,我们可以给一个对象硬生生的赋予其 __proto__
,这样它就可以成为这个值所属类的一个实例了。
class Foo {
constructor() {
this.pingMsg = 'pong'
}
ping() {
console.log(this.pingMsg)
}
}
let o = {
__proto__: new Foo()
}
o.ping() //=> pong
有什么用呢?当我想扩展或者覆盖一个类的方法,并生成一个实例,但觉得另外定义一个类就感觉浪费了。那我可以这样做:
let o = {
__proto__: new Foo(),
constructor() {
this.pingMsg = 'alive'
},
msg: 'bang',
yell() {
console.log(this.msg)
}
}
o.yell() //=> bang
o.ping() //=> alive
4.3 同名方法属性省略语法
也是看上去有点鸡肋的新特性,不过在做 JavaScript 模块化工程的时候则有了用武之地。
// module.js
export default {
someMethod
}
function someMethod() {
// ...
}
// app.js
import Module from './module'
Module.someMethod()
4.4 可以动态计算的属性名称(这个我觉得还是非常有用的)
let arr = [1, 2, 3]
let outArr = arr.map(n => {
return {
[ n ]: n,
[ `${n}^2` ]: Math.pow(n, 2)
}
})
console.dir(outArr) //=>
[
{ '1': 1, '1^2': 1 },
{ '2': 2, '2^2': 4 },
{ '3': 3, '3^2': 9 }
]
5、表达式解构(destructuring)
这是es6相当有用的一个特性。
ES6允许按照一定模式,从数组和对象中提取值,对变量进行赋值,这被称为解构(Destructuring)。
例:
let cat = 'ken'
let dog = 'lili'
let zoo = {cat: cat, dog: dog}
console.log(zoo) //Object {cat: "ken", dog: "lili"}
用ES6完全可以像下面这么写:
let cat = 'ken'
let dog = 'lili'
let zoo = {cat, dog}
console.log(zoo) //Object {cat: "ken", dog: "lili"}
反过来可以这么写:
let dog = {type: 'animal', many: 2}
let { type, many} = dog
console.log(type, many) //animal 2
6、默认参数(default)和后续参数(rest)
6.1 默认参数
调用animal()
方法时忘了传参数,传统的做法就是加上这一句type = type || 'cat'
来指定默认值。
function animal(type){
type = type || 'cat'
console.log(type)
}
animal()
如果用ES6我们可以直接这么写:
function animal(type = 'cat'){
console.log(type)
}
animal()
6.2 后续参数
我们知道,函数的 call
和 apply
在使用上的最大差异便是一个在首参数后传入各个参数,一个是在首参数后传入一个包含所有参数的数组。
如果我们在实现某些函数或方法时,也希望实现像 call
一样的使用方法,在ES5中我们得使用arguments
:
function fetchSomethings() {
var args = [].slice.apply(arguments)
// ...
}
function doSomeOthers(name) {
var args = [].slice.apply(arguments, 1)
// ...
}
而在 ES6 中,我们可以很简单的使用 ... 语法糖来实现:
function fetchSomethings(...args) {
// ...
}
function doSomeOthers(name, ...args) {
// ...
}
要注意的是,...args
后不可再添加。
虽然从语言角度看,arguments
和 ...args
是可以同时使用 ,但有一个特殊情况则不可:arguments
在箭头函数中,会跟随上下文绑定到上层,所以在不确定上下文绑定结果的情况下,尽可能不要再箭头函数中再使用 arguments
,而使用 ...args
。
注意事项
默认参数值和后续参数需要遵循顺序原则,否则会出错。
function(...args, last = 1) {
// This will go wrong
}
三、新的数据类型
在 ES5 中,JavaScript 中基本的数据类型:
- String 字符串
- Number 数字(包含整型和浮点型)
- Boolean 布尔值
- Object 对象
- Array 数组
其中又分为值类型和引用类型,Array 其实是 Object 的一种子类。
1、Set(集) 和 WeakSet(弱集)
高中数学中,集不能包含相同的元素。
let s = new Set()
s.add('hello').add('world').add('hello')
console.log(s.size) //=> 2
console.log(s.has('hello')) //=> true
在实际开发中,我们有很多需要用到集的场景,如搜索、索引建立等。
WeakSet 在 JavaScript 底层作出调整(在非降级兼容的情况下),检查元素的变量引用情况。如果元素的引用已被全部解除,则该元素就会被删除,以节省内存空间。这意味著无法直接加入数字或者字符串。另外 WeakSet 对元素有严格要求,必须是 Object,当然了,你也可以用 new String('...')
等形式处理元素。
let weaks = new WeakSet()
weaks.add("hello") //=> Error
weaks.add(3.1415) //=> Error
let foo = new String("bar")
let pi = new Number(3.1415)
weaks.add(foo)
weaks.add(pi)
weaks.has(foo) //=> true
foo = null
weaks.has(foo) //=> false
2、Map 和 WeakMap
从数据结构的角度来说,映射(Map)跟原本的 Object 非常相似,都是 Key/Value 的键值对结构。但是 Object 有一个让人非常不爽的限制:key 必须是字符串或数字。在一般情况下,我们并不会遇上这一限制,但若我们需要建立一个对象映射表时,这一限制显得尤为棘手。
而 Map 则解决了这一问题,可以使用任何对象作为其 key,这可以实现从前不能实现或难以实现的功能,如在项目逻辑层实现数据索引等。
let map = new Map()
let object = { id: 1 }
map.set(object, 'hello')
map.set('hello', 'world')
map.has(object) //=> true
map.get(object) //=> hello
而 WeakMap 和 WeakSet 很类似,只不过 WeakMap 的键和值都会检查变量引用,只要其一的引用全被解除,该键值对就会被删除。
let weakm = new WeakMap()
let keyObject = { id: 1 }
let valObject = { score: 100 }
weakm.set(keyObject, valObject)
weakm.get(keyObject) //=> { score: 100 }
keyObject = null
weakm.has(keyObject) //=> false
四、类(Class)
回想一下在 ES5 中,我们是怎么在 JavaScript 中实现类的?
function Foo() {}
var foo = new Foo()
ES6 中的类只是一种语法糖,用于定义原型(Prototype)的。
1、语法
1.1 定义
class Person {
constructor(name, gender, age) {
this.name = name
this.gender = gender
this.age = age
}
isAdult() {
return this.age >= 18
}
}
let me = new Person('Me', 'man', 19)
console.log(me.isAdult()) //=> true
1.2 继承
class Animal {
say() {
console.log('say')
}
}
class Person extends Animal {
constructor(name, gender, age) {
super() // must call `super` before using `this` if this class has a superclass
this.name = name
this.gender = gender
this.age = age
}
isAdult() {
return this.age >= 18
}
}
class Man extends Person {
constructor(name, age) {
super(name, 'man', age)
}
}
let me = new Man('Me', 19)
console.log(me.isAdult()) //=> true
me.say() //=> say
ES6 中若要是一个类继承于另外一个类而作为其子类,只需要在子类的名字后面加上 extends {SuperClass}
即可。
1.3 静态方法
ES6 中的类机制支持 static
类型的方法定义,比如说 Man
是一个类,而我希望为其定义一个 Man.isMan()
方法以用于类型检查,我们可以这样做:
class Man {
// ...
static isMan(obj) {
return obj instanceof Man
}
}
let me = new Man()
console.log(Man.isMan(me)) //=> true
遗憾的是,ES2015 的类并不能直接地定义静态成员变量,但若必须实现此类需求,可以用static
加上 get
语句和 set
语句实现。
class SyncObject {
// ...
static get baseUrl() {
return 'http://example.com/api/sync'
}
}
遗憾与期望
就目前来说,ES6 的类机制依然很鸡肋:
- 不支持私有属性(
private
) - 不支持前置属性定义,但可用
get
语句和set
语句实现 - 不支持多重继承
- 没有类似于协议(
Protocl
)或接口(Interface
)等的概念
五、生成器(Generator)
Generator 的设计初衷是为了提供一种能够简便地生成一系列对象的方法,如计算斐波那契数列(Fibonacci Sequence)(俗称兔子数列):
function* fibo() {
let a = 1
let b = 1
yield a
yield b
while (true) {
let next = a + b
a = b
b = next
yield next
}
}
let generator = fibo()
for (var i = 0; i < 10; i++)
console.log(generator.next().value) //=> 1 1 2 3 5 8 13 21 34 55
如果你没有接触过 Generator,你一定会对这段代码感到很奇怪:为什么 function
后会有一个 *
?为什么函数里使用了 while (true)
却没有进入死循环而导致死机?yield
又是什么鬼?
1、基本概念
1.1 Generator Function
生成器函数用于生成生成器(Generator),它与普通函数的定义方式的区别就在于它需要在 function
后加一个 *
。
function* FunctionName() {
// ...Generator Body
}
生成器函数的声明形式不是必须的,同样可以使用匿名函数的形式:
let FunctionName = function*() { /* ... */ }
生成器函数的函数内容将会是对应生成器的运行内容,其中支持一种新的语法 yield
。它的作用与 return
有点相似,但并非退出函数,而是切出生成器运行时。
你可以把整个生成器运行时看成一条长长的面条(while (true)
则就是无限长的),JavaScript 引擎在每一次遇到 yield
就要切一刀,而切面所成的“纹路”则是 yield
出来的值。
1.2 Generator
生成器在某种意义上可以看做为与 JavaScript 主线程分离的运行时,它可以随时被 yield
切回主线程(生成器不影响主线程)。
每一次生成器运行时被 yield
都可以带出一个值,使其回到主线程中;此后,也可以从主线程返回一个值回到生成器运行时中:
let inputValue = yield outputValue
生成器切出主线程并带出 outputValue
,主函数经过处理后(可以是异步的),把 inputValue
带回生成器中;主线程可以通过 .next(inputValue)
方法返回值到生成器运行时中。
2、基本使用方法
2.1 构建生成器函数
使用 Generator 的第一步自然是要构建生成器函数,理清构建思路。拿斐波那契数列作为例子:
斐波那契数列的定义:第 n (n ≥ 3) 项是第 n - 1 项和第 n - 2 之和,而第 1 项和第 2 项都是 1。
function* fibo() {
let [a, b] = [1, 1]
yield a
yield b
while (true) {
[a, b] = [b, a + b]
yield b
}
}
这样设计生成器函数,就可以先把预先设定好的首两项输出,然后通过无限循环不断把后一项输出。
2.2 启动生成器
生成器函数不能直接用来作为生成器使用,需要先使用这个函数得到一个生成器,用于运行生成器内容和接收返回值。
let gen = fibo()
2.3 运行生成器内容
得到生成器以后,我们就可以通过它进行数列项生成了。此处演示获得前 10 项。
let arr = []
for (let i = 0; i < 10; i++)
arr.push(gen.next().value)
console.log(arr) //=> [ 1, 1, 2, 3, 5, 8, 13, 21, 34, 55 ]
六、原生的模块化
在ES6之前, 前端就使用RequireJS或者seaJS实现模块化, requireJS是基于AMD规范的模块化库, 而像seaJS是基于CMD规范的模块化库, 两者都是为了为了推广前端模块化的工具。
现在ES6自带了模块化, 也是JS第一次支持module, 在很久以后 ,我们可以直接作用import和export在浏览器中导入和导出各个模块了, 一个js文件代表一个js模块;
现代浏览器对模块(module)支持程度不同, 目前都是使用babelJS, 或者Traceur把ES6代码转化为兼容ES5版本的js代码。
1、ES6的模块化的基本规则或特点:
(1):每一个模块只加载一次, 每一个JS只执行一次, 如果下次再去加载同目录下同文件,直接从内存中读取。 一个模块就是一个单例,或者说就是一个对象;
(2):每一个模块内声明的变量都是局部变量, 不会污染全局作用域;
(3):模块内部的变量或者函数可以通过export导出;
(4):一个模块可以导入别的模块。
//lib.js
//导出常量
export const sqrt = Math.sqrt;
//导出函数
export function square(x) {
return x * x;
}
//导出函数
export function diag(x, y) {
return sqrt(square(x) + square(y));
}
//main.js
import { square, diag } from './lib';
console.log(square(11)); // 121
console.log(diag(4, 3)); // 5
2、几种导出方式:
2.1 内联导出
export class Employee{
constructor(id, name, dob){
this.id = id;
this.name=name;
this.dob= dob;
}
getAge(){
return (new Date()).getYear() - this.dob.getYear();
}
}
export function getEmployee(id, name, dob){
return new Employee(id, name, dob);
}
var emp = new Employee(1, "Rina", new Date(1987, 1, 22));
案例中的模块导出了两个对象: Employee类,getEmployee函数。因对象emp未被导出,所以其仍为模块私有。
2.2 导出一组对象
在模块的末尾单独进行导出声明,以导出该模块中的需要导出的对象。
class Employee{
constructor(id, name, dob){
this.id = id;
this.name=name;
this.dob= dob;
}
getAge(){
return (new Date()).getYear() - this.dob.getYear();
}
}
function getEmployee(id, name, dob){
return new Employee(id, name, dob);
}
var x = new Employee(1, "Rina", new Date(1987, 1, 22));
export {Employee, getEmployee};
在导出时,重命名对象也是可以的。如下例所示,Employee在导出时名字改为了Associate,函数GetEmployee改名为getAssociate。
export {
Associate as Employee,
getAssociate as getEmployee
};
2.3 Default导出
使用关键字default,可将对象标注为default对象导出。default关键字在每一个模块中只能使用一次。它既可以用于内联导出,也可以用于一组对象导出声明中。
这种导出的方式不需要知道变量的名字, 相当于是匿名的, 直接把开发的接口给export;
如果一个js模块文件就只有一个功能, 那么就可以使用default导出:
function foo(..) {
// ..
}
export default foo;
// or:
export{ foo as default };
3 、导入
3.1 无对象导入
import './module1.js';
3.2 导入默认对象
import foo from "foo";
// or:
import { default as foo } from "foo";
3.3 导入命名的对象
import { foo } from "foo";
当然也可在同一个声明中导入默认对象和命名对象。这种情况下,默认对象必须定义一个别名:
import {default as d, foo} from './module1.js';
3.4 导入所有对象
import * as allFromModule1 from './module1.js';
3.5 可编程式的按需导入
如果想基于某些条件或等某个事件发生后再加载需要的模块,可通过使用加载模块的可编程API(programmatic API)来实现。使用System.import方法,可按程序设定加载模块。这是一个异步的方法,并返回Promise。
System.import('./module1.js')
.then(function(module1){
//use module1
}, function(e){
//handle error
});
如果模块加载成功且将导出的模块成功传递给回调函数,Promise将会通过。如果模块名称有误或由于网络延迟等原因导致模块加载失败,Promise将会失败。
等会,什么是Promise?
七、Promise
Promise 是一种用于解决回调函数无限嵌套的工具(当然,这只是其中一种),其字面意义为“保证”。它的作用便是“免去”异步操作的回调函数,保证能通过后续监听而得到返回值,或对错误处理。它能使异步操作变得井然有序,也更好控制。
1、基本用法
要为一个函数赋予 Promise 的能力,先要创建一个 Promise 对象,并将其作为函数值返回。Promise 构造函数要求传入一个函数,并带有 resolve
和 reject
参数。这是两个用于结束 Promise 等待的函数,对应的成功和失败。而我们的逻辑代码就在这个函数中进行。
function fetchData() {
return new Promise((resolve, reject) => {
if (/* 异步操作成功 */){
resolve(value);
} else {
reject(error);
}
});
}
Promise 构造函数接受一个函数作为参数,该函数的两个参数分别是 resolve 方法和 reject 方法。
如果异步操作成功,则用 resolve 方法将 Promise 对象的状态,从「未完成」变为「成功」(即从 pending 变为 resolved);
如果异步操作失败,则用 reject 方法将 Promise 对象的状态,从「未完成」变为「失败」(即从 pending 变为 rejected)。
基本的 api
- Promise.resolve()
- Promise.reject()
- Promise.prototype.then()
- Promise.prototype.catch()
- Promise.all() // 所有的完成
- Promise.race() // 竞速,完成一个即可
2、进阶
promises 的奇妙在于给予我们以前的 return 与 throw,每个 Promise 都会提供一个 then() 函数,和一个 catch(),实际上是 then(null, ...) 函数:
somePromise().then(functoin(){
// do something
});
我们可以做三件事:
1. return 另一个 promise
2. return 一个同步的值 (或者 undefined)
3. throw 一个同步异常 ` throw new Eror('');`
2.1 封装同步与异步代码
new Promise(function (resolve, reject) {
resolve(someValue);
});
// 写成
Promise.resolve(someValue);
2.2 捕获同步异常
new Promise(function (resolve, reject) {
throw new Error('悲剧了,又出 bug 了');
}).catch(function(err){
console.log(err);
});
如果是同步代码,可以写成:
Promise.reject(new Error("什么鬼"));
2.3 多个异常捕获,更加精准的捕获
somePromise.then(function() {
return a.b.c.d();
}).catch(TypeError, function(e) {
//If a is defined, will end up here because
//it is a type error to reference property of undefined
}).catch(ReferenceError, function(e) {
//Will end up here if a wasn't defined at all
}).catch(function(e) {
//Generic catch-the rest, error wasn't TypeError nor
//ReferenceError
});
2.4 获取两个 Promise 的返回值
2.4.1 .then 方式顺序调用
2.4.
2 设定更高层的作用域
2.4.
3 spread
(未完待续……)