本文讲解如何正确实现递归方法 `compare(int[] left, int[] right)`，通过逐个比较两数组对应索引元素，构建一个新数组存储较大值，重点解决因错误使用 `index++` 导致的栈溢出问题，并提供清晰、无副作用的递归设计。
在递归构建数组时，核心在于明确递归终止条件、确保状态正确推进，以及避免副作用操作。原代码中 return compare(left, right, comparedArray, index++); 是导致栈溢出的根源：index++ 是后置自增，表达式求值时仍传入原值 index，因此递归永不进入终止分支，无限调用直至栈溢出。
✅ 正确做法是使用 index + 1 —— 它语义清晰、无副作用、可读性强，且完全符合函数式递归思想（不修改原参数，只传递新状态）。
以下是符合题目要求（仅暴露 public static int[] compare(int[] left, int[] right) 接口）的专业实现：
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 index) {
// 终止条件：索引超出结果数组长度
if (index >= result.length) {
return;
}
// 填充当前索引位置：取两数组同位置较大值
result[index] = Math.max(left[index], right[index]);
// 递归处理下一位置（关键！使用 index + 1，非 index++ 或 ++index）
compareHelper(left, right, result, index + 1);
}
}? 关键要点总结：
- 永远避免 i++ 或 ++i 作为递归参数：它们易引发副作用或逻辑混淆；i + 1 是最安全、最直观的选择；
- 分离接口与实现：主方法 compare() 负责输入校验、结果数组创建与封装；递归逻辑由私有 compareHelper() 承担，职责单一、易于测试；
- 边界防御：增加 null 检查，防止运行时异常；使用 Math.min() 自动适配不等长数组，提升健壮性；
- 空间效率：结果数组大小严格按最小长度分配，避免越界风险。
该方案不仅修复了栈溢出缺陷，更体现了递归编程的最佳实践：状态不可变、终止明确、逻辑内聚。
