探究reverseLazy生成器函数实现可迭代对象反转的原理——为何该函数并非无限递归

这个函数乍一看像是会无限递归的“坑”，但实际上它利用了JavaScript迭代器的一次性、有状态特性，完美实现了可迭代对象的反转。咱们一步步拆解它的运行过程：

一、它是如何实现反转的？ #

拿你给出的例子reverseLazy([1,2,3,4,5].values())来说，核心在于迭代器的状态共享和递归调用的执行顺序：

1. 第一次调用reverseLazy(iter)（iter是数组values()返回的迭代器），进入for...of循环，第一个取出的元素是1，此时iter的指针已经移动到了2的位置。
2. 接下来执行yield* reverseLazy(iter)——也就是递归调用同一个iter的reverseLazy。这个新的reverseLazy实例里的for...of会从iter当前的位置（2）开始遍历：取出2，再递归调用reverseLazy(iter)。
3. 这个递归会一直嵌套下去，直到某次调用reverseLazy(iter)时，iter已经被遍历到了最后一个元素5：
   • 取出5后，再次递归调用reverseLazy(iter)，此时iter已经没有剩余元素了，新的reverseLazy实例里的for...of循环直接跳过，没有任何yield操作，递归到此终止。
4. 然后开始“回溯”执行yield item：最内层的递归先输出5，接着上一层输出4，以此类推，直到最外层输出1。最终得到的结果就是[5,4,3,2,1]，实现了反转。

简单来说，它通过递归深入到可迭代对象的最后一个元素，再从内到外依次输出元素，天然形成了倒序。

二、为什么不会陷入无限递归？ #

关键在于迭代器的耗尽特性：JavaScript的迭代器（比如数组values()返回的迭代器）是一次性的——一旦遍历完所有元素，后续的next()调用都会返回{ done: true }，for...of循环会直接终止。

每次递归调用reverseLazy时，传入的都是同一个迭代器实例，而不是重新生成一个新的迭代器。当迭代器被遍历到没有剩余元素时，递归调用的reverseLazy函数里的for...of循环不会执行任何逻辑，直接返回，不会再继续发起新的递归调用。这就避免了无限递归的发生。

如果换成每次递归都生成新的迭代器（比如传入数组本身而不是values()），那确实会无限递归，但这里共享的是同一个有状态的迭代器，所以递归会自然终止。

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