modInverse()要求模数为正整数且与原数互质，否则抛ArithmeticException；返回值恒在[1, m−1]内，已归一化；调用前须校验gcd和符号，避免运行时异常。
modInverse() 要求模数必须是正整数且与原数互质
BigInteger.modInverse() 不是万能的“求逆”黑箱。它只在 mod 是正整数、且 this.gcd(mod).equals(BigInteger.ONE) 时才返回合法结果；否则直接抛出 ArithmeticException: BigInteger not invertible。密码学中（比如 RSA 密钥生成），你通常已知 e 和 φ(n) 互质，但若手动生成测试数据时忘了验证，就会卡在这里。
实操建议：
- 调用前务必检查：
if (!e.gcd(phiN).equals(BigInteger.ONE)) throw new IllegalArgumentException("e and φ(n) are not coprime"); - 不要假设
phiN是正数——modInverse()对负模数会抛异常，哪怕数学上等价；必须用phiN.abs()或确保构造时为正 - RSA 中
φ(n)永远为正，但若从其他来源读入（如解析 PEM、DER），需校验符号
注意 modInverse() 返回的是最小正剩余，不是任意逆元
模逆元在模意义下不唯一，但 modInverse(m) 总返回区间 [1, m-1] 内的那个解。这点在密码学中是必需的（比如私钥 d 必须是正整数），但如果你在调试时手动算过一个负值逆元（如 -23 mod 100），别误以为结果错了——modInverse() 自动做了 (-23 % 100 + 100) % 100 == 77 这步归一化。
常见错误现象：对比手算或 Python 的 pow(e, -1, phiN) 结果不一致 → 很可能是你手算用了负余数，而 Java 强制返回正剩余。
立即学习“Java免费学习笔记（深入）”；
当用户要求为 Java 代码添加注释、修改注释、审查注释、整理注释格式，或要求按照代码注释规范处理 Java 文件时，使用本技能。本技能用于统一生成和维护 Java 类注释模板、按 Git 对比 release 判断版本号、补充每行代码上方中文块注释、调整注释空行规则，并保持 Java 文件 UTF-8 无 BOM 编码。典型触发场景包括：补充类注释、更新 @version、检查 @author 来源、整理行尾注释、把注释放到代码上一行、检查注释是否符合规范、构建前检查 Java 注释风格。
实操建议：
- 验证时统一用正剩余比对：
assertTrue(d.multiply(e).mod(phiN).equals(BigInteger.ONE)); - 不需要自己做
result = result.mod(phiN)——modInverse()已保证结果合法且在正确范围内
性能敏感场景下，避免在循环里反复调用 modInverse()
modInverse() 底层用扩展欧几里得算法，时间复杂度约为 O(log²n)，对几百位的大整数来说不算快。在密钥协商、批量签名验证等场景中，如果对同一 mod 多次求不同底数的逆元（比如预计算多个 e_i⁻¹ mod φ(n)），不能靠缓存 mod 来省事——每个逆元都得单独算。
实操建议：
- 提前计算并复用：
BigInteger d = e.modInverse(phiN);然后多次用d，而不是每次需要时再调用 - 若需对同一模数求大量逆元，确认是否真有必要——有时可改用 Montgomery 形式或重构算法避开逆元
- 注意：Java 8+ 的
modInverse()已优化，但对超长（>4096 bit）密钥仍可能明显卡顿，压测时要覆盖典型密钥长度
和 Python 的 pow(a, -1, m) 行为基本一致，但异常策略更严格
Python 的 pow(a, -1, m) 在 gcd(a,m) != 1 时也抛 ValueError，语义相同。但 Java 更早暴露问题：Python 允许 m 为负（自动转正），而 Java 的 modInverse() 遇负模数直接 ArithmeticException；另外，Python 接受 a == 0（此时无解），Java 同样拒绝。
实操建议：
- 跨语言对接时，统一用
abs()处理模数，再校验互质性 - 不要依赖异常消息文本——
modInverse()抛的异常没有标准 message，仅靠instanceof ArithmeticException判断即可 - 测试用例必须覆盖边界：模数为
BigInteger.TWO、被逆数为BigInteger.ONE、以及人为构造的非互质对
phiN 的符号校验和互质断言——这两步看着冗余，但跳过就等于把运行时异常留给生产环境去触发。 
