为何Babel会生成条件中带有赋值操作的switch语句？

这种写法是Babel转译生成器/async函数时，基于状态机实现的精简优化手段，核心原因有这几点：

1. 合并操作，精简代码
   赋值表达式_context3.prev = _context3.next的返回值就是_context3.next的当前值，把它放在switch条件里，相当于同时完成两个操作：

   • 将next的执行位置标记同步给prev
   • 用这个标记值作为switch的判断条件，进入对应分支
     这比单独写赋值语句再写switch少一行代码，是编译器对输出代码的常规精简。

2. 确保状态更新的强制性
   生成器/async函数的执行依赖_context对象里的prev和next跟踪执行位置，每次循环开始时必须同步这两个标记，否则状态机会出错。把赋值放在switch条件里，能保证这个更新操作必然在分支判断前执行，不会因为遗漏单独的赋值语句导致状态流转异常。

3. 契合Regenerator的状态机逻辑
   Babel用的regenerator runtime本质是用循环+switch模拟生成器的暂停/恢复逻辑：每次进入循环，先更新当前执行位置的标记，再根据标记跳到对应的代码段执行。把赋值和分支判断合并，是这种实现逻辑下最紧凑的写法，符合编译器输出高效、简洁代码的目标。

举个等价的展开写法，你就能明白逻辑完全一致：

while (1) {
  _context3.prev = _context3.next; // 单独的赋值语句
  switch (_context3.prev) {
    case 0:
      // ...对应代码
  }
}

转译后的代码只是把这两步合并成了一行，没有改变核心逻辑，只是写法更紧凑。

内容的提问来源于stack exchange，提问作者jcollum