java不支持尾递归优化，所有版本均无tco，标称“尾递归”的方法仍会栈溢出；kotlin的@tailrec由编译器转为循环，非jvm支持；java中需手动转为迭代，如阶乘将参数转为循环变量并更新状态。
Java不支持尾递归优化，tailrec 是 Kotlin 的，不是 Java 的
Java 编译器和 JVM 规范里压根没有尾递归优化（Tail Call Optimization, TCO）这回事。你写个看似“尾递归”的方法，JVM 依然会为每次调用压栈——哪怕 return factorial(n - 1, acc * n) 看起来已经没后续计算了。这不是写法问题，是语言层缺失。
常见错误现象：StackOverflowError 在处理几千级输入时就爆发，而你明明“逻辑上”只用了常量栈空间；有人误以为加 @TailRec 注解或用 javac -Xfuture 能启用，其实这些在标准 Java 中完全无效。
- Java 8–21 所有版本均无 TCO 支持，连预览特性都没进过 JEP
- Kotlin 编译器会在编译期把标了
@TailRec的函数重写成循环，但生成的是 JVM 字节码，不是靠 JVM 支持 - 如果硬要“模拟”尾递归，必须手动转成迭代，或借助栈结构自己管理状态
怎么安全地把尾递归逻辑改写成循环（以阶乘为例）
核心原则：把递归参数变成循环变量，把递归调用变成状态更新 + 继续循环。别试图保留递归壳子套 while，那只是换汤不换药。
使用场景：需要处理深层嵌套数据（如树的深度遍历）、大数计算、避免栈溢出的批处理逻辑。
立即学习“Java免费学习笔记（深入）”；
示例对比：
public static long factorial(int n) {
return factorialTail(n, 1);
}
<p>// 这个“尾递归”写法在 Java 里照样爆栈
private static long factorialTail(int n, long acc) {
if (n <= 1) return acc;
return factorialTail(n - 1, acc * n); // ← 每次都新建栈帧
}改成循环后：
public static long factorial(int n) {
long acc = 1;
while (n > 1) {
acc *= n;
n--;
}
return acc;
}- 所有递归参数（
n,acc）都转为局部变量 - 递归终止条件（
n ）变成 <code>while的循环条件 - 递归调用体（
factorialTail(n - 1, acc * n)）拆解为变量更新语句 - 注意初始值顺序：累加器
acc初始值必须对应递归基例返回值
用显式栈模拟递归时，Stack 和 Deque 选哪个
当你无法简单线性展开（比如二叉树后序遍历、图的 DFS），就得用容器模拟调用栈。这时候别用 Stack 类——它已过时且同步开销大。
性能与兼容性影响：JDK 7+ 推荐用 ArrayDeque 替代 Stack，因为前者非同步、内存连续、push/pop 均摊 O(1)；而 Stack 继承自 Vector，所有方法 synchronized，实测慢 3–5 倍。
- 用
Deque<integer> stack = new ArrayDeque();</integer>，不是new Stack() -
stack.push(x)对应递归入参，stack.pop()对应返回后继续执行 - 如果需保存多状态（如节点 + 当前处理阶段），定义简单内部类或用
record，别塞Object[] - 注意
ArrayDeque不允许 null 元素，空状态要用哨兵值或封装对象
JVM 栈大小限制实际能撑多少层递归
默认栈大小因平台和 JVM 版本浮动，但通常 64KB–1MB，撑不住 10000 层纯递归。这不是理论极限，是真实瓶颈。
常见错误现象：本地跑得通，上线就 StackOverflowError——因为生产环境可能设了更小的 -Xss（比如 256k），或者线程池复用导致栈被复用污染。
- 用
-Xss512k可临时缓解，但治标不治本；栈太大会挤占堆内存，影响 GC - 用
jstack <pid></pid>查看线程栈深度，确认是否真卡在你的递归方法 - 递归深度超过 1000 就该警觉；超过 5000 基本要重构，别赌 JVM 参数
- 某些 JDK（如 ZGC 模式下）对深栈更敏感，错误信息可能表现为
Internal Error (sharedRuntime.cpp:...)而非明确的StackOverflowError
真正难的不是写出等价循环，而是识别哪些递归根本没法线性展开——比如涉及闭包捕获、异常控制流、或跨方法状态依赖。这种时候，显式栈 + 状态机才是务实选择。
