生成器是JavaScript中基于迭代器协议实现的特殊函数,除了可以通过next方法获取生成的值之外,还支持通过throw方法将异常抛入生成器内部,让生成器内部可以捕获并处理外部传入的异常。这种特性让生成器在协程调度、异步流程控制等场景中更加灵活。

生成器throw方法的基本用法
生成器函数执行后会返回一个生成器对象,该对象除了next方法之外,还自带throw方法。throw方法接收一个参数,作为抛入生成器内部的异常对象,调用后会暂停生成器的执行,将异常传递到生成器内部最近的一个try-catch语句中。
下面是一个最基础的throw方法使用示例:
function* gen() {
try {
yield 1;
yield 2;
} catch (e) {
console.log('捕获到内部异常:', e.message);
}
yield 3;
}
const g = gen();
console.log(g.next()); // { value: 1, done: false }
// 向生成器内部抛异常
g.throw(new Error('外部传入的异常'));
// 输出:捕获到内部异常: 外部传入的异常
// 输出:{ value: 3, done: false }
console.log(g.next()); // { value: undefined, done: true }
throw方法的执行流程
调用生成器对象的throw方法时,会按照以下流程执行:
- 首先暂停生成器当前的执行状态,将传入的异常对象作为生成器内部当前yield表达式的返回值对应的异常抛出
- 如果生成器内部当前执行上下文存在try-catch语句,且能捕获到该异常,就会执行catch块中的逻辑,之后继续执行生成器后续的代码,直到遇到下一个yield或者函数结束
- 如果生成器内部没有捕获该异常,异常会直接抛出到生成器外部,此时生成器的执行状态会变为结束,后续再调用next方法会直接返回{ value: undefined, done: true }
异常捕获的相关规则
1. 异常只能抛入处于挂起状态的生成器
如果生成器已经执行结束(done为true),再调用throw方法,异常会直接抛到外部,不会被生成器内部捕获:
function* gen() {
yield 1;
}
const g = gen();
g.next(); // { value: 1, done: false }
g.next(); // { value: undefined, done: true }
// 生成器已结束,throw的异常会抛到外部
try {
g.throw(new Error('测试异常'));
} catch (e) {
console.log('外部捕获异常:', e.message); // 输出:外部捕获异常: 测试异常
}
2. 首次调用throw前需要先调用一次next
刚创建生成器对象时,生成器处于初始状态,还没有执行到第一个yield表达式,此时直接调用throw方法,异常会直接抛到外部,无法被内部捕获:
function* gen() {
try {
yield 1;
} catch (e) {
console.log('捕获异常');
}
}
const g = gen();
// 未调用next直接throw,异常抛到外部
try {
g.throw(new Error('初始状态抛异常'));
} catch (e) {
console.log('外部捕获:', e.message); // 输出:外部捕获: 初始状态抛异常
}
3. catch块执行后生成器仍可继续执行
如果生成器内部的catch块处理了异常,生成器不会终止执行,会继续执行后续的代码,直到遇到下一个yield或者函数结束:
function* gen() {
try {
yield 'a';
} catch (e) {
console.log('处理异常:', e.message);
}
yield 'b';
yield 'c';
}
const g = gen();
console.log(g.next()); // { value: 'a', done: false }
g.throw(new Error('测试'));
// 输出:处理异常: 测试
// 输出:{ value: 'b', done: false }
console.log(g.next()); // { value: 'c', done: false }
console.log(g.next()); // { value: undefined, done: true }
实际开发中的使用场景
生成器的throw方法常用于异步流程控制中,比如在使用生成器模拟async/await的场景下,当异步操作失败时,可以将错误抛入生成器内部进行处理:
function* asyncTask() {
try {
const res1 = yield fetchData1(); // 假设fetchData1是异步操作,返回Promise
const res2 = yield fetchData2(res1);
console.log('任务完成:', res2);
} catch (e) {
console.log('任务失败:', e.message);
}
}
// 简单的生成器执行器
function run(gen) {
const g = gen();
function handle(result) {
if (result.done) return;
// 假设yield返回的是Promise
result.value.then(
(data) => handle(g.next(data)),
(err) => handle(g.throw(err)) // 异步失败时将错误抛入生成器
);
}
handle(g.next());
}
// 调用执行器
run(asyncTask);
注意事项
- 抛入生成器的异常可以是任意类型,不一定是Error实例,不过建议遵循规范使用Error类型,方便排查问题
- 如果生成器内部有多个try-catch嵌套,异常会被最近的能捕获该类型的catch块处理
- throw方法调用后也会返回一个迭代器结果对象,和next方法类似,包含value和done属性,value是catch块之后第一个yield的值,或者函数return的值
通过throw方法,我们可以实现外部和生成器内部的异常通信,让生成器的逻辑处理更加灵活,在需要手动控制生成器执行流程、处理中间异常的场景下非常实用。