异步介绍
异步简单来说就是做一件事时,做到一半可能需要等待系统或服务处理之后才会得到响应和结果,此时可以转去做另一件事,等到获得响应之后在去执行剩下一半的事情。反之同步就是一直等到响应然后接着做事,中间不会跳去做别的事。
异步发展史
异步发展史可以简单归纳为: callback -> promise -> generator + co -> async+await(语法糖)
1. Callback
callback也就是我们经常听到的回调函数,它会在我们异步任务执行并收到结果响应后出发,举个简单的例子:
let fs = require('fs');
fs.readFile('./2.promise/1.txt', 'utf8', function(err, data) {
fs.readFile(data, 'utf8', function(err,data) {
console.log(data);
});
});
(这里有个点就是异步并不支持try/catch,只有同步方可)
2. Promise
callback虽然帮我们解决了异步问题,但是它仍有一些不足,首先,试想如果上面的嵌套一多,在代码上看起来就会很乱,之后回来修改逻辑时就会很难入手,一旦修改了一个,它嵌套的回调函数也要跟着改,第二个问题就是无法合并两个或多个异步的结果,譬如以下例子:
fs.readFile('./2.promise/1.txt', 'utf8', function(err,data) {
});
fs.readFile('./2.promise/2.txt', 'utf8', function(err, data) {
console.log(data);
});
Promise的引入就解决了以上这些问题,首先来看下Promise的简单用法:
let p = new Promise(function(resolve, reject) {
resolve(100);
});
p.then(function(data) {
console.log('data', data);
}, function(err) {
console.log('err', err);
});
可以看到Promis通过then的链式调用解决了嵌套回调的问题,在用法上Promise的构造函数会接受一个executor函数,这个函数带有两个参数resolve和reject,两个参数背后其实就是两个函数,而通过Promise构造函数创建出来的对象会保存一个status属性,resolve会做的事就是将这个属性从初始化的pending转为resolved,而reject则是转为rejected,同时两个函数都可以接受一个参数,作为之后then中回调函数的参数传入,那么在then方法中我们可以看到它接收两个参数,第一个就是成功resolved之后会调用的回调函数,第二个就是rejected的回调函数。
这里注意的是,只要状态转为resolved或rejected之中的其中一个,那么当前promise对象就不能再转变状态了。之后不管调resolve还是reject都会被忽略。
另外,上面所说Promise是可以支持链式调用的,所以then是可以多次调用的,但是因为刚刚所说状态不可转变的问题,所以链式调用每次then返回的不是当前的Promise对象而是一个新的Promise对象,那么第2次then的状态又是怎么决定的呢,第一次then中无论是成功的回调还是失败的回调只要返回了结果就会走下一个then中的成功,如果有错误走下一个then的失败。
接下来介绍一些其他Promise的使用方法:
- Promise.all
const p = Promise.all([p1, p2, p3]);
上面代码中,Promise.all方法接受一个数组作为参数,p1、p2、p3都是Promise实例,如果不是,就会先调用下面讲到的Promise.resolve方法,将参数转为 Promise 实例,再进一步处理(Promise.all方法的参数可以不是数组,但必须具有Iterator接口,且返回的每个成员都是 Promise实例)
p的状态由p1、p2、p3决定,分成两种情况.
(1)只有p1、p2、p3的状态都变成fullfilled,p的状态才会变成fullfilled,此时p1、p2、p3的返回值组成一个数组,传递给p的回调函数.
(2)只要p1、p2、p3之中有一个被reject,p的状态就变成rejected,此时第一个被reject的实例的返回值,会传递给p的回调函数。
- Promise.race
const p = Promise.race([p1, p2, p3]);
上面代码中,只要p1、p2、p3之中有一个实例率先改变状态,p的状态就跟着改变。那个率先改变的 Promise 实例的返回值,就传递给p的回调函数。
Promise.race方法的参数与Promise.all方法一样,如果不是Promise实例,就会先调用下面讲到的Promise.resolve方法,将参数转为 Promise实例,再进一步处理。
- Promise.resolve
将现有对象转为Promise对象,该实例的状态为resolved.
- Promise.reject
将现有对象转为Promise对象,该实例的状态为rejected.
- Promise.prototype.catch
catch方法其实就是.then(null, rejection)的别名
关于Promise的实现规范有兴趣的可以去看一下,接下来介绍一些现有的封装了Promise的库,在本文最后我们也会一起来完成一个Promise库的实现:
1. Q库
可以通过npm install q安装使用
Q.fcall(function() {
return 100;
}).then(function(data) {
console.log(data);
})
这里的fcall其实就类似于Promis.resolve方法
function read(url) {
return new Promise(function(resolve, reject) {
require('fs').readFile(url, 'utf8', function(err, data) {
if (err) reject(err);
resolve(data);
});
});
}
let Q = require('q');
Q.all([read('./2.promise/1.txt'), read('./2.promise/2.txt')]).then(function ([a1, a2]) {
console.log(a1, a2);
});
同样它也有类似Promise.all这样的方法
let Q = require('q');
function read(url) {
let defer = Q.defer();
require('fs').readFile(url, 'utf8', function(err, data) {
if (err) defer.reject(err);
defer.resolve(data);
})
return defer.promise;
}
read('./2.promise/1.txt').then(function(data) {
console.log(data);
});
同样也可以使用defer这样一个语法糖(关于defer会在之后的Promise实现中解释)
2. Bluebird库
可以通过npm install bluebird安装
它有两个比较亮点的方法,promisify和promisifyAll
let fs = require('fs');
let bluebird = require('bluebird');
let read = bluebird.promisify(fs.readFile);
bluebird.promisifyAll(fs);
fs.readFileAsync('./2.promise/1.txt', 'utf8').then(function(data) {
console.log(data);
});
所做的就是将传入的方法全部转成返回是Promise对象的新函数
背后实现原理其实也很简单
function promisify(fn) { // promise化 将回调函数在内部进行处理
return function (...args) {
return new Promise(function (resolve, reject) {
fn(...args, function (err, data) {
if (err) reject(err);
resolve(data);
})
})
}
}
function promisifyAll(obj) {
Object.keys(obj).forEach(key => { // es5将对象转化成数组的方法
if (typeof obj[key] === 'function') {
obj[key + 'Async'] = promisify(obj[key])
}
})
}
3. Generator
关于generato的使用和原理这里就不再赘述,大家可以去参考这里,这里就给个简单的例子:
// genrator函数要用* 来比标识,yield(暂停 产出)
// 它会将函数分割出好多个部分,调用一次next就会继续向下执行
// 返回结果是一个迭代器 迭代器有一个next方法
// yield后面跟着的是value的值
// yield等号前面的是我们当前调用next传进来的值
// 第一次next传值是无效的
function* read() {
console.log(1);
let a = yield 'zf';
console.log(a);
let b = yield 9;
console.log(b);
return b;
}
let it = read();
console.log(it.next('213')); // {value:'zf',done:false}
console.log(it.next('100')); // {value:9,done:false}
console.log(it.next('200')); // {value:200,done:true}
console.log(it.next('200')); // {value:200,done:true}
generator与Promise的搭配使用例子如下
let bluebird = require('bluebird');
let fs = require('fs');
let read = bluebird.promisify(fs.readFile);
function* r() {
let content1 = yield read('./2.promise/1.txt', 'utf8');
let content2 = yield read(content1, 'utf8');
return content2;
}
let it = r();
it.next().value.then(function(data) { // 2.txt
it.next(data).value.then(function(data) {
console.log(it.next(data).value);
});
})
当然我们可以看到调用时还是得这样不停的嵌套去获取值,所以这里需要引入另一个叫co的库,那么使用方法就可以变成如下:
let co = require('co');
let bluebird = require('bluebird');
let fs = require('fs');
let read = bluebird.promisify(fs.readFile);
function* r() {
let content1 = yield read('./2.promise/1.txt', 'utf8');
let content2 = yield read(content1, 'utf8');
return content2;
}
co(r()).then(function(data) {
console.log(data)
})
co背后实现的原理其实也不复杂:
function co(it) {
return new Promise(function(resolve, reject) {
function next(d) {
let { value, done } = it.next(d);
if (!done) {
value.then(function (data) { // 2,txt
next(data)
}, reject)
} else {
resolve(value);
}
}
next();
});
}
4. async+await
async+await就是目前为至,异步的最佳解决方案,它同时解决了
- 回调地狱
- 并发执行异步,在同一时刻同步返回结果 Promise.all
- 返回值的问题
- 可以实现代码的try/catch;
示例代码:
let bluebird = require('bluebird');
let fs = require('fs');
let read = bluebird.promisify(fs.readFile);
// 用async来修饰函数,aysnc需要配await, await只能接promise
// async和await(语法糖) === co + generator
async function r() {
try{
let content1 = await read('./2.promise/100.txt', 'utf8');
let content2 = await read(content1, 'utf8');
return content2;
} catch(e) { // 如果出错会catch
console.log('err', e)
}
}
// async函数返回的是promise
r().then(function(data) {
console.log('flag', data);
}, function(err) {
console.log(err);
})