JavaScript 中回调地狱的今生前世

1. 简单介绍

JavaScript 是一门编程语言

2. 异步编程

JavaScript 由于某种原因是被设计为单线程的，同时由于 JavaScript 在设计之初是用于浏览器的 GUI 编程，这也就需要线程不能进行阻塞。

所以在后续的发展过程中基本都采用异步非阻塞的编程模式。

简单来说，异步编程就是在执行一个指令之后不是马上得到结果，而是继续执行后面的指令，等到特定的事件触发后，才得到结果。

也正是因为这样，我们常常会说: JavaScript 是由事件驱动的。

3. 异步实现

用 JavaScript 构建一个应用的时候经常会遇到异步编程，不管是 Node 服务端还是 Web 前端。

那如何去进行异步编程呢？就目前的标准以及草案来看，主要有下面的几种方式：

回调

promise

Generator

await/async

3.1 回调

这种异步的方式是最基础的实现，如果你曾经写过一点的 Node, 可能经常会遇到这样的代码：

connection.query(sql, (err, result) => {

if(err) {

console.err(err)

} else {

connection.query(sql, (err, result) => {

if(err) {

console.err(err)

} else {

...

}

})

}

})

如此，connection.query() 是一个异步的操作，我们在调用他的时候，不会马上得到结果，而是会继续执行后面的代码。这样，如果我们需要在查到结果之后才做某些事情的话，就需要把相关的代码写在回调里面，如果涉及到多个这样的异步操作，就势必会陷入到回调地狱中去。

这种回调地狱不仅看起来很不舒服，可读性比较差；除此之外还有比较重要的一点就是对异常的捕获无法支持。

3.2 Promise

Promise 是 ES 2015 原生支持的，他把原来嵌套的回调改为了级联的方式。

一般着，我们对一个 Promise 可以这样写：

var a = new Promise(function(resolve, reject) {

setTimeout(function() {

resolve('1')

}, 2000)

})

a.then(function(val) {

console.log(val)

})

如果要涉及到多个异步操作的顺序执行问题，我们可以这样写：

var a = new Promise(function(resolve, reject) {

setTimeout(function() {

resolve('1')

}, 2000)

})

a

.then(function(val){

console.log(val)

return new Promise(function(resolve, reject) {

setTimeout(function() {

resolve('2')

}, 2000)

})

})

.then(function(val) {

console.log(val)

})

也可以把函数抽离出来

var a = new Promise(function(resolve, reject) {

setTimeout(function() {

resolve('1')

}, 2000)

})

function b(val) {

console.log(val)

return new Promise(function(resolve, reject) {

setTimeout(function() {

resolve('2')

}, 2000)

})

}

a.then(b).then(function(val) {

console.log(val)

})

我们只需要 return 一个 Promise 即可实现这种多个异步操作的顺序执行。

粗略来看，这是一个比较优雅的异步解决方案了，并且在 Promise 中我们也可以实现分级的 catch。

但对于之前接触过其他语言的同学来说还是比较别扭的。那能否用同步的方式来书写异步呢？

3.3 Generator

在 ES 2015 中，出现了 Generator 的语法，熟悉 Python 的同学肯定对这种语法有点了解。

简单来说，Generator 可以理解为一个可以遍历的状态机，调用 next 就可以切换到下一个状态。

在 JavaScript 中，Generator 的 function 与 函数名之间有一个 *， 函数内部使用 yield 关键词，定义不同的状态。

先看一段代码：

function a() {

return new Promise((resolve, reject) => {

setTimeout(() => {

resolve(1)

}, 2000)

});

};

var b = co(function *() {

var val = yield a();

console.log(val)

})

b()

上面的这段代码是借助 TJ 的 co 实现的，依照约定，co 中 yield 后面只能跟 Thunk 或者 Promise.

co 的实现代码很短，简单来说大体是这样：

// http://www.alloyteam.com/2015/04/solve-callback-hell-with-generator/

function co(genFun) {

// 通过调用生成器函数得到一个生成器

var gen = genFun();

return function(fn) {

next();

function next(err, res) {

if(err) return fn(err);

// 将res传给next，作为上一个yield的返回值

var ret = gen.next(res);

// 如果函数还没迭代玩，就继续迭代

if(!ret.done) return ret.value(next);

// 返回函数最后的值

fn && fn(null, res);

}

}

}

简单来说就是一直借助 generator 的 next 进行迭代，直到完成这个异步操作才返回。当前人家官方的 co 是 200 行代码，支持异步操作的并行：

co(function *() {

var val = yield [

yield asyn1(),

yield asyn2()

]

})()

但如果我们使用 co，强迫症们就会觉得这不是标准的写法，有点 hack 小子的感觉。

幸运的是，在 ES 2016 的草案中，终于提出了标准的写法。

3.4 await/async

这是在 ES 2016 中引入的新关键词，这将在语言层面彻底解决 JavaScript 的异步回调问题，目前可以借助 babel 在生产环境中使用。使用 await/async 可以让异步的操作以同步的方式来写。

使用方法和 co 非常类似，同时也支持同步写法的异常捕获。

function a() {

return new Promise((resolve, reject) => {

setTimeout(() => {

resolve(1)

}, 2000)

})

}

var b = async function() {

var val = await a()

console.log(val)

}

b()

如果上述的代码完全用 Promise 实现，极有可能是下面的代码：

function a() {

return new Promise((resolve, reject) => {

setTimeout(() => {

resolve(1);

}, 2000);

});

};

var b = function() {

a().then(val) {

console.log(val)

}

console.log(val)

};

b();

相比较来说，await/async 解决了完全使用 Promise 的一个极大痛点——不同Promise之间共享数据问题：

Promise 需要设定外层数据开始共享，这样就需要在每个then里面进行赋值，而 await/async 就不存在这样的问题，只需要以同步的方式去写就可以了。

await/async 对异常的支持也是特别好的：

function a() {

return new Promise((resolve, reject) => {

setTimeout(() => {

resolve(1)

}, 2000)

});

};

var b = async function() {

try {

var val = await a()

console.log(val)

} catch (err) {

console.log(err)

}

};

b();