Julia中如何处理含BigInt类型分子分母的大分数？

嘿，这个问题我之前也碰到过！你遇到的OverflowError()确实是因为Int64类型的数值上限（最大为9223372036854775807，刚好是19位）被突破了。要处理这种分子分母会无限增大的分数，核心就是把分数的底层整数类型换成BigInt——Julia的任意精度整数类型，它能支持无限大的数值（只要你的内存够）。

看你提供的递归函数，问题出在初始值n = 1//1上：这个表达式默认生成的是Rational{Int64}类型，后续所有运算都会沿用Int64，一旦数值超过上限就会溢出。只需要做一个小修改就能解决：

修改后的递归函数 #

function series(limit::Int64, i::Int64=1, n::Rational{BigInt}=1//big(1))
    while i <= limit
        n = 1 + 1//(1 + 2n)
        println(n)
        return series(limit, i + 1, n)
    end
end

series(50)

关键修改点 #

• 把初始值1//1改成1//big(1)：big(1)会创建一个BigInt类型的1，因此整个分数会变成Rational{BigInt}类型；
• 也可以去掉参数的类型标注，让Julia自动推导类型，代码会更简洁：

  function series(limit::Int64, i::Int64=1, n=1//big(1))
      while i <= limit
          n = 1 + 1//(1 + 2n)
          println(n)
          return series(limit, i + 1, n)
      end
  end
  

这样修改后，所有的分子分母运算都会基于BigInt进行，再也不会触发溢出错误了。

额外小建议：换成迭代写法更稳定 #

递归写法虽然简洁，但如果limit设置得很大（比如1000），可能会触发栈溢出。换成迭代版本会更高效、更安全：

function series_iter(limit::Int64)
    n = 1//big(1)
    for i in 1:limit
        n = 1 + 1//(1 + 2n)
        println(n)
    end
    return n
end

series_iter(50)

这个版本完全避免了递归的栈深度问题，运行起来更可靠。

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