java负数取模结果符号与被除数一致，因%满足a==(a/b)*b+(a%b)且/向零取整；如-7%3=-1；需非负余数时用((a%b)+b)%b校正。

Java 中负数取模的结果，由“被除数的符号决定”，不是简单套用数学上的正数模运算规则。关键在于理解 Java 的 % 运算符定义：它满足恒等式

a == (a / b) * b + (a % b)

其中 / 是向零取整的整数除法（即截断小数部分），这个恒等式始终成立。正是这个定义决定了负数取模的符号和数值。

Java 取模的符号规则

结果的符号与被除数（左边的操作数）一致：

Alibabacloud Sdk Client Initialization For Java

在 Java 中初始化和管理阿里云 SDK客户端。包括单例模式、线程安全、endpoint 与 region 配置、VPC 终端节点、同步与异步等。

下载

• 7 % 3 → 1（正 ÷ 正 = 正余数）
• -7 % 3 → -1（负 ÷ 正 = 负余数）
• 7 % -3 → 1（正 ÷ 负 = 正余数）
• -7 % -3 → -1（负 ÷ 负 = 负余数）

为什么 -7 % 3 等于 -1，而不是 2？

因为 Java 的 / 是向零取整：

• -7 / 3 得 -2（不是向下取整的 -3）
• 代入恒等式：-7 == (-2) * 3 + (-1) → -7 == -6 + (-1) ✓ 成立
• 若结果是 2，则 -2 * 3 + 2 = -4 ≠ -7，不满足恒等式

想要数学上“非负余数”怎么办？

比如希望 -7 % 3 返回 2（即模 3 意义下的最小非负剩余），可手动校正：

int result = ((a % b) + b) % b;

• 适用于 b > 0 的场景
• a = -7, b = 3：先算 -7 % 3 = -1，再 (-1 + 3) % 3 = 2 % 3 = 2
• 对正数也兼容：7 % 3 = 1 → (1 + 3) % 3 = 1

实际开发建议

• 不要假设取模结果一定 ≥ 0；检查被除数符号
• 循环索引、哈希桶定位等场景若需非负下标，务必做上述校正
• 与 Python 对比要小心：Python 的 % 始终返回与除数同号且非负的结果，Java 不同

Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南