递归抖动指递归在边界反复试探致栈溢出，防范需加固出口（空值、边界、单调性校验）、添加深度守卫（显式depth阈值）、优先迭代替代（Deque模拟栈）、禁用-Xss掩盖问题。
递归抖动不是标准术语，但很形象——指递归调用在边界附近反复试探、参数变化失当、出口判断松动，导致实际调用深度远超预期，最终触爆 StackOverflowError。防范核心不是“压着不爆”，而是让递归行为可预期、可拦截、可退化。
补全并加固所有基准出口
多数抖动源于“看似有出口，实则漏判”。不能只写一个 if (n == 0) 就算完事，必须覆盖所有输入可能：
- 检查空值与边界：对节点类递归，
node == null必须在调用node.left前校验；对数字参数，n <= 0比n == 0更安全，防负数穿透 - 验证参数单调性：确保每次递归调用后，关键参数（如索引、层级、剩余长度）严格向出口靠近。例如
process(list.subList(1, list.size()))要确认list非空且size > 1，否则可能传入空列表后下一轮又进同一分支 - 合并重复出口逻辑：避免多个
if分散判断，统一收口到顶部，减少遗漏风险
主动嵌入深度守卫机制
即使出口完备，恶意输入（如伪造的万层 JSON）、数据异常（环形链表）、算法偏差（分治切分不均）仍可能导致深度失控。加一层显式深度闸门：
- 为递归方法增加
int depth参数，入口处立即校验：if (depth > 500) throw new IllegalStateException("Recursion depth exceeded: " + depth); - 阈值按场景设定：树遍历设 200，配置解析设 300，通用工具类建议 ≤ 500；生产环境可结合监控动态调整
- 不依赖日志或 debug 断点，守卫必须生效于运行时，且错误信息明确指向递归上下文
优先采用显式栈迭代替代隐式调用栈
当递归结构天然深度不可控（如用户上传的嵌套配置、动态生成的表达式树），迭代不是“备选方案”，而是默认选择：
- 用
Deque<State>替代方法调用栈，State封装当前处理对象、上下文、待执行动作等信息 - 循环中
pop一个任务，处理完毕后根据逻辑push后续子任务（如二叉树中序遍历：先 push 右、再 push 根带标记、再 push 左） - 优势明显：栈空间从受限的线程栈移到堆内存，不受
-Xss束缚；便于中断、重试、状态快照和异步调度
慎用-Xss，拒绝用它掩盖逻辑缺陷
-Xss 是诊断辅助手段，不是修复动作：
- 单线程临时调试可设
-Xss2m，但上线前必须移除或回归默认值 - 多线程服务中增大栈大小会显著降低最大线程数，易引发
OutOfMemoryError: unable to create new native thread - 系统级限制无法绕过（如 Windows 默认硬限 1MB），且更深的输入仍会击穿——问题没解决，只是延迟爆发
