Welcome to OGeek Q&A Community for programmer and developer-Open, Learning and Share
Welcome To Ask or Share your Answers For Others

Categories

0 votes
902 views
in Technique[技术] by (71.8m points)

async 的语法糖 函数是如何捕获异常的?——大佬间文章矛盾

async 函数的实现,就是将 Generator 函数和自动执行器,包装在一个函数里。

async function fn(args){
  // ...
}

// 等同于

function fn(args){ 
  return spawn(function*() {
    // ...
  }); 
}

function spawn(genF) {
  return new Promise(function(resolve, reject) {
    var gen = genF();
    function step(nextF) {
      try {
        var next = nextF();
      } catch(e) {
        return reject(e); 
      }
      if(next.done) {
        return resolve(next.value);
      } 
      Promise.resolve(next.value).then(function(v) {
        step(function() { return gen.next(v); });      
      }, function(e) {
        step(function() { return gen.throw(e); });
      });
    }
    step(function() { return gen.next(undefined); });
  });
}

摘自 http://www.ruanyifeng.com/blog/2015/05/async.html

没想明白 spawn 里的catch 什么情况下才会执行了?
和 async await 一样的效果吗?

下面是 async await 捕获异常的写法。
摘自:https://ostack.cn/a/1190000019854513

async function run() {
    // 这里return 和 await 都可以
    return Promise.reject(new Error("Oops!"));
}
run()
    .catch(function handleError(err) {
        err.message; // Oops!
    })
    .catch(err => {
        process.nextTick(() => {
            throw err;
        });
    });

矛盾来了:

为什么我把 run 写成 上面 generator的形式。没有同样的效果?

function run(args){ 
  return spawn(function*() {
     return Promise.reject(new Error("Oops!"));
  }); 
}
run()
    .catch(function handleError(err) {
        err.message; // Oops!
    })

与恶龙缠斗过久,自身亦成为恶龙;凝视深渊过久,深渊将回以凝视…
Welcome To Ask or Share your Answers For Others

1 Reply

0 votes
by (71.8m points)
  1. 首先我们知道你传递给 new Promise 的函数是会立即执行的,也就是说你传递给 spawn 的 generator 会立即实例化得到 gen ,也就是第三行 var gen = genF();
  2. 接下来是一个 step 函数声明,先越过去,看到底下立即调用了 step 还给了一个匿名函数当参数。
  3. step 内部上来就是一个 try-catch 包住的 nextFn 调用,来到了题主关注的地方。那么这个 try-catch 捕获的是什么呢?是 nextFn 内部的异常。
  4. nextFn 实际是什么?纵观整个 spawn 函数,nextFn 可能的实参内部调用的东西就两种,gen.next gen.throw。也就是说,try-catch 捕获的就是这两个操作中可能抛出的异常。
  5. gen.next gen.throw 是什么?这你就需要复习一下 Generator 的知识了。
  6. 简单讲,Generator 就是一个可以执行到中途不继续执行,外部戳一下再继续走的函数。简单的类比就是报数,比如每报一个数停一次,外面的人叫你报下一个就是 gen.next,你用 yield value 就是往外报数,外面的人能拿到你报的数 next.value,也能判断出你有没有结束 next.done。如果觉得你报的数有问题,就用 next.throw 告诉你这个报的数有问题你要处理下。
  7. 因此 spawn 中 catch 到的错误是 genF中每次从报上一个数(或最开始)到报下一个数中可能抛出的异常,即两次 yield 之间执行的代码;以及如果出错了,错误交给你后你在处理错误的过程中可能犯的二次错误。
  8. 这个和原生的 async-await 是保持了行为一致的。

与恶龙缠斗过久,自身亦成为恶龙;凝视深渊过久,深渊将回以凝视…
OGeek|极客中国-欢迎来到极客的世界,一个免费开放的程序员编程交流平台!开放,进步,分享!让技术改变生活,让极客改变未来! Welcome to OGeek Q&A Community for programmer and developer-Open, Learning and Share
Click Here to Ask a Question

...