关于DART中异步延迟避免斐波那契递归栈溢出的原理咨询

核心问题：同步递归的栈帧累积限制 #

Dart虚拟机的调用栈内存有上限，每一次同步函数调用都会在栈中生成一个栈帧（保存当前函数的局部变量、返回位置等信息），栈帧累积到一定数量就会触发栈溢出。

无延迟时触发栈溢出的原因 #

这段代码靠递归生成斐波那契数列：

• 移除await Future.delayed后，finobacciPOC的调用是同步递归——每一次调用都会直接进入下一层递归，前一层函数的栈帧不会被释放。
• 生成15000项需要连续递归调用15000次，栈帧持续累积，很快超过Dart虚拟机的栈内存上限，直接抛出栈溢出错误。

添加延迟后正常运行的原理 #

await Future.delayed(Duration(microseconds: 1))本质上改变了代码的执行模式：

1. 执行到await时，当前的finobacciPOC函数会被挂起，对应的栈帧立即释放，让出调用栈空间。
2. 延迟结束后，Dart事件循环会把函数剩余逻辑（添加元素、更新计数、递归调用）放到微任务队列执行。
3. 下一次递归调用finobacciPOC时，是在全新的调用栈中执行，不会和之前的栈帧累积。
4. 相当于把原本的“一次性同步递归”拆成了15000次独立的异步调用，每一次调用的栈帧都不会长期占用内存，自然不会触发栈溢出。

额外细节说明 #

• main函数调用finobacciPOC时没加await，所以main会直接执行后续的print('lista')和计时代码，计时结果远小于实际递归执行时间，因为递归逻辑在异步队列中运行。
• 使用BigInt是因为斐波那契数列第15000项数值极大，远超普通整数类型的存储范围，避免数值溢出。

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