Promise是ES6中定义的异步编程的一种解决方案,具体可以阅读阮一峰编写的 ECMAScript 6 入门中的Promise,当然也可以阅读英文资料,比如ECMAScript 6 Tutorial,不过感觉还是阮一峰写的更详细。
简述
这里先简单说一下Promise...then...catch机制,写过回调函数的应该知道,多个回调函数连续嵌套调用的时候,代码的缩进会很客观,如果单单使用Promise...then机制的话,想要处理全部异常也是一样的:
promise1().then((data1) => {
console.log(data1);
promise2().then((data2) => {
console.log(data2);
promise3.then((data3) => {
console.log(data3);
}, (err3) => {
console.log(err3);
});
}, (err2) => {
console.log(err2);
});
}, (err1) => {
console.log(err1);
});
如上所示,嵌套越多,缩进也越长,幸好有Promise...then...catch机制,使得这种“丑陋”得以解决:
promise1().then((data1) => {
console.log(data1);
return promise2();
}).then((data2) => {
console.log(data2);
return promise3();
}).then((data3) => {
console.log(data3);
}).catch((e) => {
console.log(e);
})
但就是这么个机制,也能挖坑。
探坑
上一篇博客初识Apache Bench测试说过小组开发的爬虫系统终于要上线了,当时虽然担忧性能不够,但对于系统的稳定性还是比较有信心的,因为这是站在别人肩膀上开发出来的,而别人的肩膀是经受过历史的考验的。
然而,现实教育我没有啥是可以完全复用的,由于此爬虫与别家爬虫的工作方式有所区别,所以在经历千万级调用的时候,一上来就出问题了,在修改rabbitMQ 消息分发确认的ack机制实现、try...catch爬虫内部异常之后,还是出现了未捕获的异常进而导致no ack消息的数量超过了prefetch的值,最终使得系统不干活了:
rabbitMQ: 给这帮爬虫每人分了10个任务,一直没见回信啊,还是不发了,怕他们忙死。
crawler1:这活异常了,然后呢。。。噢,啥都不用管了啊;下一个,又异常了啊。。。。。咦怎么没活了呢
crawler2:。。。。。
。。。
。。。。
最终反复查看代码并仿照代码结构写case,才发现是对Promise...then...catch使用不当。
这个坑的具体是这样的:
function error() {
return new Promise((resolve, reject) => {
try {
console.log('111111');
let res = JSON.parse('');
// var res = '';
resolve(res);
} catch (e) {
console.log('222222');
reject(e);
}
});
}
function encapsulation () {
return new Promise((resolve, reject) => {
error().then((data) => {
console.log('333333');
resolve(data);
}).catch((error) => {
console.log('444444')
reject(error)
});
});
}
function ok () {
return new Promise((resolve, reject) => {
resolve('ok');
});
}
// catch不到
function run () {
ok().then((msg) => {
console.log(msg);
encapsulation().then((data) => {
console.log(data);
console.log('555555');
return data;
});
}).catch((err) => {
console.log('000000');
});
}
run();
运行结果如图1,最终异常并没有被捕获到(没有'000000'的log),从而没有如预期般的进入任务失败的ack流程,却是触发了unhandledRejection事件。
这个坑不大,却藏得不浅
填坑
有坑当然要填,如上已知异常没有被捕获,那么手动抛出异常如何呢?
试一下,如下添加throw操作:
// 抛出异常也无效
function run () {
ok().then((msg) => {
console.log(msg);
encapsulation().then((data) => {
console.log(data);
console.log('555555');
return data;
}, (error) => {
console.log('666666');
throw error;
});
}).catch((err) => {
console.log('000000');
});
}
执行结果如图2,从日志可见,确实执行了throw操作(有'666666'log),但依然未能catch到
说明这波填坑失败了,那干脆按照Promise...then...catch的规范重写一遍:
function run () {
ok()
.then((msg) => {
console.log(msg);
return encapsulation();
})
.then((data) => {
console.log(data);
console.log('555555');
// return data;
}).catch((err) => {
console.log('000000');
});
}
结果如何呢?
如图3所示,异常被捕获了
总结
其实问题的核心楼下网友AlvinStar
已经给出了答案:
就是内层的Promise没有被返回,所以外层的Promise捕获不到内层Promise的异常。
纯属以下个人理解,欢迎交流,如有误请指出。
回调函数也好、Promise也罢,嵌套调用的时候就好比堆栈的后进先出,嵌套一层调用就入栈一次、回调一次就出栈一次;而Promise...then...catch则进行了转化,将一次入栈和对应的出栈一起放入队列,作为一次调用,但这样就只能针对每次调用来捕获异常了,对调用内部的嵌套就无法感知了。
其实这个情况,阮一峰的Promise教程中有类似的叙述:
- 同时对写法也提出了建议(图5),只是恐怕他也没想到会有Promise...then内部再嵌套的思路吧。
No Promise
如果不用Promise,而是使用callback的话,代码如下:
function error (param, callback) {
try {
console.log('111111');
var data = JSON.parse(param);
// var data = 'no error';
callback(data);
} catch (e) {
console.log('222222');
throw e;
}
}
function encapsulation (param, callback) {
try {
error(param, function(data) {
console.log('333333');
callback(data);
});
} catch (e) {
console.log('444444');
throw e;
}
}
function ok (callback) {
var msg = 'ok';
callback(msg);
}
function run (param) {
try {
ok(function(msg) {
console.log(msg);
encapsulation(param, function(data) {
console.log('555555');
console.log(data);
});
});
} catch (e) {
console.log('666666');
console.log(e.stack);
}
}
// run('');
run('{"a": 1}');