直接 a % b 不够可靠是因为不同语言对负数取余定义不同：Python 返回非负余数，而 C/Java/JavaScript 等使余数符号随被除数 a，导致 –7 % 3 在 Python 中为 2、在 Java 中为 –1；(a % b + b) % b 可统一得到 [0, b−1] 内与 a 同余的非负结果。
用 (a % b + b) % b 就能保证结果恒为非负整数（即 ≥ 0），且在模 b 意义下与原数 a 同余。
为什么直接 a % b 不够可靠？
不同编程语言对负数取余的定义不同：Python 返回非负余数，而 C/Java/JavaScript 等多数语言中，余数符号跟随被除数 a。比如：
–7 % 3 在 Python 中是 2，但在 Java 中是 –1。如果你需要跨语言一致、且恒为正的结果，就不能依赖原生 % 行为。
通用公式：(a % b + b) % b
这个写法兼容所有常见语言，原理是：
• 先算 a % b，可能得到负值（如 –1）；
• 加上 b 把它“拉回”正区间（如 –1 + 3 = 2）；
• 再对 b 取一次余，确保不越界（比如 a 很大时第一次 % 可能仍超范围，第二次兜底）。
- 适用于任意整数 a（正、负、零）和正整数 b（b > 0）
- b 必须为正，否则模运算无定义或行为未约定
- 当 a 是 b 的整数倍时，结果恒为 0
实际例子对比
设 b = 5：
• a = 7 → (7 % 5 + 5) % 5 = (2 + 5) % 5 = 2
• a = –3 → (–3 % 5 + 5) % 5：在 Java 中 –3 % 5 = –3，所以 (–3 + 5) % 5 = 2 % 5 = 2；在 Python 中 –3 % 5 = 2，所以 (2 + 5) % 5 = 7 % 5 = 2 —— 结果一致。
• a = –10 → (–10 % 5 + 5) % 5 = (0 + 5) % 5 = 0
小提醒：边界与效率
这个公式虽通用，但有两点注意：
• 如果 a 极大（接近整数上限），a % b + b 可能溢出（极少发生，但嵌入式或强约束场景需留意）；
• 多数情况下性能无感，无需优化；若高频调用且 b 固定，可预计算并内联；
• 别写成 a % b + b（漏了外层 % b），否则 a = 8, b = 5 会得 3 + 5 = 8，超出 [0,4] 范围。
