Node.js中用递归实现重复用户交互是否会导致栈溢出？

问题描述 #

我目前正在学习JavaScript及Node.js，正在开发一个小程序，该程序会反复请求用户输入，并在用户按下回车键后生成文本。为实现这一功能，我采用单个函数作为主程序流程，根据status参数改变行为，递归调用该函数并传入不同的status，同时在调用间隙等待用户输入。目前程序运行正常，但我担忧重复递归可能引发问题，想请教：若用户长时间与对话交互，这种方式理论上是否会导致栈溢出？

以下是我的代码：

async function start(status) {
    switch (status) {
        // StartMenu
        case 0:
            let input1 = await waitForInput(["1", "2", "3", "exit", "quit"]);
            if (["exit", "quit"].includes(input1)) {
                return start(2);
            } else {
                doSomething(input1);
                return start(1);             
            }
        // Something 
        case 1:
            let nextAction = await waitForInput(["", "back", "exit", "quit"]);
            switch (nextAction) {
                case "":
                    doSomethingElse();
                    return start(1);
                case "back":
                    return start(0);
                case "exit":
                case "quit":
                    return start(2);
            }
            break;
        // Exit/ Quit
        case 2:
            console.log("Program exiting...");
            break;
        default:
            console.log("Error: invalid status");
            break;
    }
}

start(0);

回答 #

不会出现栈溢出问题，核心原因是async函数中await的执行特性：

• 当async函数执行到await语句时，会暂停当前函数的执行，同时将当前函数的调用栈帧从调用栈中移除，返回一个未完成的Promise。
• 等到await等待的Promise（即waitForInput返回的结果）被resolve后，剩余代码会被放入微任务队列，待调用栈空闲时再执行。
• 此时执行递归调用start(...)时，是创建一个全新的函数调用栈帧，而之前的start函数栈帧早已被释放，不会在调用栈中积累。

简单来说，你的递归调用都发生在await之后，每一次递归都是独立的函数调用，旧的调用栈已经被清理，无论用户交互多少次，调用栈都不会无限增长，自然不会触发栈溢出。

如果是无await的同步递归（比如无限循环调用start(1)不等待），确实会快速栈溢出，但你的代码通过await完全避开了这个风险。

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