本文详解如何通过递归安全地构建新数组，重点解决因错误使用 `index++` 导致的栈溢出问题，并提供符合方法签名 `public static int[] compare(int[] left, int[] right)` 的完整、健壮实现。
在递归构建数组时，一个常见但极易被忽视的陷阱是递归调用中索引参数的更新方式。原代码中使用了 index++ 作为递归参数：
return compare(left, right, comparedArray, index++);
这会导致实际传入下一层递归的仍是原始 index 值（因为后置自增 i++ 先返回旧值，再执行加1），从而造成无限递归，最终触发 StackOverflowError。
✅ 正确做法是显式传递 index + 1 —— 它语义清晰、无副作用，且完全避免了变量修改带来的歧义：
return compare(left, right, comparedArray, index + 1);
更进一步，为严格满足题目要求的方法签名 public static int[] compare(int[] left, int[] right)（不暴露中间参数），推荐采用分离接口与实现的设计：
- 公共方法 compare() 负责初始化结果数组并启动递归；
- 私有辅助方法（如 compareHelper()）处理核心递归逻辑。
以下是优化后的完整实现（含边界保护与简洁性）：
import java.util.Arrays;
public class RecursiveMethod {
public static void main(String[] args) {
int[] left = {1, 2, 4, 8, 11};
int[] right = {1, 3, 2, 9, 10};
int[] result = compare(left, right);
System.out.println(Arrays.toString(result)); // [1, 3, 4, 9, 11]
}
// ✅ 符合题目要求的公开方法签名
public static int[] compare(int[] left, int[] right) {
if (left == null || right == null) {
throw new IllegalArgumentException("Input arrays must not be null");
}
int len = Math.min(left.length, right.length);
int[] result = new int[len];
compareHelper(left, right, result, 0);
return result;
}
// ✅ 私有递归辅助方法：安全、清晰、无副作用
private static void compareHelper(int[] left, int[] right, int[] result, int i) {
if (i >= result.length) {
return; // 递归终止条件（注意：>= 更鲁棒，兼容空数组）
}
result[i] = Math.max(left[i], right[i]);
compareHelper(left, right, result, i + 1); // 关键：使用 i + 1，非 i++ 或 ++i
}
}? 关键注意事项：
- 永远避免在递归调用中使用 i++ 或 ++i 作为参数——它们易引发理解偏差和 bug；i + 1 是唯一推荐写法；
- 增加空值与长度校验，提升代码健壮性（生产环境必备）；
- 结果数组长度取 Math.min(left.length, right.length)，防止越界访问；
- 使用 Math.max() 替代冗长的 if-else 判断，使逻辑更简洁、可读性更高。
通过这种结构化设计，你不仅能解决栈溢出问题，还能写出符合工业级规范的递归数组构建代码。
