本文讲解如何正确实现递归方法 `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() 自动适配不等长数组，提升健壮性；
• 空间效率：结果数组大小严格按最小长度分配，避免越界风险。

该方案不仅修复了栈溢出缺陷，更体现了递归编程的最佳实践：状态不可变、终止明确、逻辑内聚。