如何修复1/0（Infinity）错误？Rational类求和程序问题排查

嘿，这个问题我之前帮不少开发者排查过，确实是整数溢出在搞鬼！咱们一步步来拆解：

首先，你的求和级数是1/2 + 2/3 + ... + 99/100，用Rational类做分数加法时，常规逻辑是通分后计算：a/b + c/d = (a*d + c*b)/(b*d)。但这里藏着一个致命的问题——分母的增长速度快到离谱。

当你累加前几项时，分母是2*3*4*...，到第99项时，分母就是100!（100的阶乘），这个数值大概是9e157，远远超出了普通32位int（最大值约2e9）甚至64位long（最大值约9e18）的存储范围。一旦整数溢出，分子或分母就会变成乱码值——你看到的1/0大概率是分母溢出后变成了0，程序直接判定为无穷大。

可行的修复方案 #

针对这个问题，有几个实用的解决方向：

• 实时约分，压缩数值：每次完成加法运算后，立刻对新的分子和分母进行约分（除以它们的最大公约数GCD）。这样能大幅降低分子分母的大小，延迟甚至避免溢出。比如每一步计算完新分数后，先算分子分母的GCD，再同时除以这个值，保持分数最简。
• 改用大整数类型存储：如果你的编程语言支持大整数（比如Java的BigInteger、Python的原生int），把Rational类的分子分母换成大整数类型，这样就彻底摆脱了溢出限制，因为大整数可以存储任意大小的整数。
• 退而求其次，用浮点数近似：如果不需要精确的分数结果，只是要近似值，直接用double累加每一项的浮点值就行。虽然会有轻微精度损失，但对于这个求和场景来说，误差几乎可以忽略。

举个简单的修正示例（以Java为例） #

假设你原来的Rational加法方法是这样的：

public Rational add(Rational other) {
    int newNumerator = this.numerator * other.denominator + other.numerator * this.denominator;
    int newDenominator = this.denominator * other.denominator;
    return new Rational(newNumerator, newDenominator);
}

修正后加上实时约分和临时用long避免中间溢出：

public Rational add(Rational other) {
    // 先用long存储中间结果，避免int直接相乘溢出
    long tempNum = (long) this.numerator * other.denominator + (long) other.numerator * this.denominator;
    long tempDen = (long) this.denominator * other.denominator;
    
    // 计算最大公约数，约分
    long gcdVal = calculateGCD(tempNum, tempDen);
    int finalNum = (int) (tempNum / gcdVal);
    int finalDen = (int) (tempDen / gcdVal);
    
    return new Rational(finalNum, finalDen);
}

// 辗转相除法求最大公约数
private long calculateGCD(long a, long b) {
    return b == 0 ? a : calculateGCD(b, a % b);
}

如果约分后的数值还是超出int范围，那就直接把分子分母的类型换成BigInteger，彻底解决溢出问题。

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