求最大公约数(gcd)方法中出现ArrayIndexOutOfBoundsException问题求助

问题根源分析 #

你遇到的ArrayIndexOutOfBoundsException大概率是因为两层循环中错误处理了数组索引——比如内层循环的起始/结束位置超出可变参数数组的长度，或是把两数GCD逻辑套用到数组时，错误地用数组索引替换了原有变量，导致while循环里访问了不存在的数组元素。

另外，用两层循环遍历所有元素两两比较的思路本身就绕远路了，多个数的最大公约数可以通过迭代计算两数GCD实现：先算前两个数的GCD，再用这个结果和第三个数算GCD，以此类推直到处理完所有参数，这种方式既简洁又能避免索引错误。

实现方案 #

1. 先实现正确的两数GCD方法（欧几里得算法） #

这是基础逻辑，确保核心计算没问题：

private static int gcdTwoNumbers(int a, int b) {
    // 处理负数（GCD结果取绝对值）
    a = Math.abs(a);
    b = Math.abs(b);
    while (b != 0) {
        int temp = b;
        b = a % b;
        a = temp;
    }
    return a;
}

2. 基于两数GCD实现可变参数版本 #

支持最多5个参数（若要限制数量，直接加判断即可）：

public static int gcd(int... numbers) {
    // 边界情况处理
    if (numbers == null || numbers.length == 0) {
        throw new IllegalArgumentException("必须传入至少一个数字");
    }
    // 限制最多5个输入参数
    if (numbers.length > 5) {
        throw new IllegalArgumentException("最多支持5个数字输入");
    }
    
    int currentGcd = numbers[0];
    // 迭代计算所有数的GCD
    for (int i = 1; i < numbers.length; i++) {
        currentGcd = gcdTwoNumbers(currentGcd, numbers[i]);
        // 提前终止优化：当前GCD为1时，后续计算结果不会改变
        if (currentGcd == 1) {
            break;
        }
    }
    return currentGcd;
}

测试验证 #

调用gcd(45, 75)时，流程如下：

1. 初始currentGcd = 45
2. 计算gcdTwoNumbers(45,75)：
   • 第一次循环：temp=75，b=45%75=45，a=75
   • 第二次循环：temp=45，b=75%45=30，a=45
   • 第三次循环：temp=30，b=45%30=15，a=30
   • 第四次循环：temp=15，b=30%15=0，a=15
   • 循环结束，返回15
3. currentGcd更新为15，循环结束，最终返回结果15，符合预期。

为什么你的两层循环容易出错？ #

如果原代码试图遍历所有两两元素计算GCD再找最大值，不仅逻辑冗余（多个数的GCD是所有数的公约数中最大的，并非两两GCD的最大值），还极易在循环索引上出错——比如内层循环j的范围没控制好，访问numbers[j]时j >= numbers.length，直接触发数组越界。迭代计算的方式从根本上避免了这类索引操作的风险。

内容的提问来源于stack exchange，提问作者Veera Kondratenko