JavaScript 堆如何处理递归

Question

您好，我上面的问题有点含糊，所以我会尽量说得更清楚。

我有以下形式的代码：

function main () {

  async function recursive () {
     var a = "Hello World";
     var b = "Goodbye World";

     recursive();

  }
  recursive();

}

我遇到了堆内存不足的问题。

假设我上面展示的是我的程序的行为方式，在递归函数中声明了 a 和 b，我的问题是变量是否在递归函数中调用 recursive 时被销毁，或者它们是否会持续存在直到存在假设我让 main 函数运行足够长的时间以使其发生，不再进行递归调用，并且 main 函数到达其端点。

我担心它们在堆中仍然存在，因为我的真实程序在这些变量中存储了大字符串，我担心这就是我用完堆的原因。

Answer 1

JavaScript 还没有（还？）对递归进行尾调用优化，所以可以肯定你最终会填满你的调用堆栈。您的堆被填满的原因是因为recursive 被定义为async 函数并且从不等待分配的Promise 对象解析。这将填满您的堆，因为垃圾收集器没有机会收集它们。

简而言之，递归不会用完堆，除非您在函数内分配堆中的东西。

正在发生的事情的扩展：

main
  new Promise(() => {
    new Promise(() => {
      new Promise(() => {
        new Promise(() => {
          new Promise(() => { //etc.

您说您不等待 Promise 是因为您希望事情并行运行。由于几个原因，这是一种危险的方法。应始终等待 Promise 以防它们抛出，当然您要确保分配可预测的内存使用量。如果此递归函数意味着您获得了不可预测的所需任务数量，则应考虑使用任务队列模式：

const tasks = [];

async function recursive() {
  // ...
  tasks.push(workItem);
  // ...
}

async function processTasks() {
  while (tasks.length) {
    workItem = tasks.unshift();

    // Process work item. May provoke calls to `recursive`
    // ...do awaits here for the async parts
  }
}

async function processWork(maxParallelism) {
  const workers = [];
  for (let i = 0; i < maxParallelism; i++) {
    workers.push(processTasks());
  }

  await Promise.all(workers);
}

最后，以防万一，async 函数不允许您进行并行处理；它们只是提供了一种更方便地编写 Promises 并执行顺序和/或并行等待异步事件的方法。 JavaScript 仍然是一个单线程执行引擎，除非你使用 web worker 之类的东西。因此，使用异步函数尝试并行化 同步 任务不会为您做任何事情。