Java BigInteger.modInverse 为什么会抛 ArithmeticException

Java 的 BigInteger.modInverse(m) 抛出 ArithmeticException，通常有两个原因：模数 m 小于等于 0，或者当前数与 m 不互质，因而不存在乘法逆元。这不是大整数精度不够，而是输入不满足模逆的数学条件。

实用写法是先判断 m.signum() > 0，再用 a.gcd(m).equals(BigInteger.ONE) 预检；通过后调用 modInverse，并为外部输入保留 ArithmeticException 兜底。

先把 modInverse 的参数语义说清楚

调用 a.modInverse(m) 的目标，是找到一个非负结果 x，使 a*x 除以 m 的余数为 1。这个结果只有在 m 为正且 a 与 m 互质时才存在。Oracle Java SE 25 API 也明确把这两类情况列为 ArithmeticException 的触发条件。

因此，下面三件事不要混为一谈：

• mod(m) 是取模，要求模数为正，但不要求当前数与模数互质；
• gcd(m) 用来判断两个数的最大公约数；
• modInverse(m) 是求乘法逆元，除了正模数，还要求最大公约数等于 1。

用 gcd 预检正常调用路径

如果输入来自配置、请求参数或文件，先把“能不能计算”变成一个明确的分支。这样调用方可以给出“模数必须为正”和“逆元不存在”两种不同提示，而不是把所有问题都交给同一个异常。

import java.math.BigInteger;

static BigInteger inverseOrNull(BigInteger value, BigInteger modulus) {
    // 先拒绝非正模数，避免把参数错误和不可逆混在一起
    if (modulus == null || modulus.signum() 

这个版本用 null 表示“没有结果”，适合由上层另行携带错误码的场景。若 value 也可能为空，应在进入 gcd 前按项目约定拒绝；否则空指针会掩盖真正的参数契约。

为什么会抛异常：两条边界要分别处理

modulus.signum() 说明模数本身不符合 API 约束；而 value.gcd(modulus) != 1 说明模数虽然为正，但逆元不存在。例如 6 和 15 的最大公约数是 3，任何整数乘以 6 后都不可能模 15 得到 1。

import java.math.BigInteger;

static String explainInverse(BigInteger value, BigInteger modulus) {
    // 把外部输入的两类 ArithmeticException 映射成可读结果
    if (modulus == null || modulus.signum() 

预检不能替代异常处理：它负责让常见输入得到稳定分支，try-catch 负责保护公共接口。不要在捕获后无条件重试同一个参数，也不要用加 1 或换一个模数“修复”输入；这会改变调用方原本要求计算的数学问题。

把调用方接口设计成可解释的结果

如果这是库方法，建议不要只返回一个可能为空的 BigInteger。可以使用项目已有的结果对象，至少区分 INVALID_MODULUS、NO_INVERSE 和 SUCCESS。如果只是内部工具方法，前面的 inverseOrNull 也够用，但必须在方法注释中写清空值含义。

还要注意负数被模数的情况：BigInteger.gcd 按绝对值计算最大公约数，互质性判断不受符号影响；真正传给 modInverse 的模数仍必须为正。这个顺序能把数学条件直接映射为代码条件，排查时也更容易定位。

常见问题

modInverse 和 mod 有什么区别？

mod 计算余数，modInverse 寻找乘法逆元。前者不要求当前数与模数互质，后者要求两者互质。

把模数改成质数就一定不会异常吗？

不一定。模数为正只是满足了一个条件，当前数仍可能是模数的倍数或与模数存在公因数；实际调用仍应按 gcd == 1 判断。

为什么不能只捕获 ArithmeticException？

只捕获异常可以兜底，但会让参数错误和“没有逆元”混成一个结果。对外接口先做正模数与 gcd 分支，再保留捕获，更利于返回稳定错误信息。

总结一下：先检查模数为正，再判断 gcd(value, modulus) == 1，通过后调用 modInverse，公共边界保留 ArithmeticException 兜底。这样处理后，异常原因、业务提示和数学条件是一一对应的。