本文详解 Java 中因错误使用后置递增操作符（idx++）导致无限递归和栈溢出的问题，并提供正确、健壮的递归实现方案。
本文详解 java 中因错误使用后置递增操作符（`idx++`）导致无限递归和栈溢出的问题，并提供正确、健壮的递归实现方案。
在您提供的 RemoveDuplicates 程序中，核心逻辑是通过递归遍历字符串并跳过已出现过的字符，从而实现去重。然而，程序运行时抛出 StackOverflowError，根本原因在于递归调用中错误地使用了 后置递增操作符：
DeDupe(s, idx++, s1); // ❌ 错误：idx++ 先传入原值，再自增 → 每次都传 0！
idx++ 是先使用后加 1：它将当前 idx 值（如 0）作为参数传递给下一层递归，之后才将 idx 自增——但该自增作用于当前栈帧的局部变量，对下一层递归的 idx 参数毫无影响。因此，每一层递归都以 idx = 0 被调用，永远无法到达 idx == s.length() 的终止条件，造成无限递归，最终耗尽调用栈。
✅ 正确写法应使用前缀递增或显式加 1：
DeDupe(s, idx + 1, s1); // ✅ 推荐：语义清晰，无副作用 // 或 DeDupe(s, ++idx, s1); // ✅ 也可行，但易混淆，不推荐用于递归参数
此外，代码还存在两个关键设计问题，需一并修正：
- 静态布尔数组 ar[] 未重置：ar 是 static 字段，若多次运行（如测试多组输入），历史状态会残留，导致后续结果错误。应改为方法内局部变量或每次调用前重置；
- 字符串拼接效率低且逻辑有歧义：s1 += ... 在递归中频繁创建新字符串对象；更严重的是，当前逻辑仅在字符首次出现时追加，但未处理重复字符的跳过分支——即缺少 else 分支的递归调用，会导致部分字符被遗漏。
以下是修复后的完整、可运行版本（含注释）：
import java.util.Scanner;
public class RemoveDuplicates {
public static void main(String[] args) {
Scanner sc = new Scanner(System.in);
String s = sc.nextLine();
// 使用局部布尔数组，确保每次调用独立
boolean[] seen = new boolean[26];
DeDupe(s, 0, "", seen);
}
public static void DeDupe(String s, int idx, String result, boolean[] seen) {
// 基础终止条件
if (idx == s.length()) {
System.out.println(result);
return;
}
char c = s.charAt(idx);
int pos = c - 'a';
// 检查是否为小写字母（增强鲁棒性）
if (pos >= 0 && pos < 26) {
if (!seen[pos]) {
seen[pos] = true;
DeDupe(s, idx + 1, result + c, seen); // ✅ 正确递进：idx+1
} else {
// 字符已存在，跳过，继续处理下一个
DeDupe(s, idx + 1, result, seen); // ✅ 同样需 idx+1
}
} else {
// 非小写字母：直接保留（可根据需求调整策略）
DeDupe(s, idx + 1, result + c, seen);
}
}
}? 关键总结与建议：
- ✅ 永远避免在递归参数中使用 i++ 或 ++i：优先使用 i + 1，语义明确且无副作用；
- ✅ 静态状态变量慎用：涉及递归或多次调用时，改用参数传递或局部变量；
- ✅ 递归必须保证每次调用都向终止条件推进：检查所有分支路径是否均更新了递归变量；
- ✅ 考虑输入边界：本例假设全小写，生产环境建议扩展支持大小写、数字及 Unicode；
- ⚠️ 注意：result + c 在深度递归中会产生大量临时字符串对象，如需高性能，可改用 StringBuilder（但需注意其可变性，在递归中需手动回溯）。
通过以上修正，程序即可稳定运行，正确输出去重后的字符串（保持首次出现顺序），同时规避栈溢出风险。
