python中//和%遵循向下取整，余数符号与除数一致，满足a == b*(a//b)+(a%b)且0≤a%b
整除（//）和取模（%）在负数运算中，结果取决于语言的定义方式。Python 遵循“向下取整”规则，即商向负无穷方向取整，余数符号与除数一致；而 C、Java 等语言采用“向零取整”，商朝 0 靠拢，余数符号与被除数一致。
Python 中的整除与取模：商向下取整，余数同除数符号
Python 的 // 和 % 满足恒等式：a == b * (a // b) + (a % b)，且 0 ≤ a % b （当 b > 0 时），或 b （当 b
-
(-7) // 3 == -3，因为 -3 是不大于 -7/3 ≈ -2.33 的最大整数；(-7) % 3 == 2，满足 -7 == 3 × (-3) + 2
-
7 // (-3) == -3，因为 -3 是不大于 7/(-3) ≈ -2.33 的最大整数；7 % (-3) == -2，满足 7 == (-3) × (-3) + (-2)
-
(-7) // (-3) == 2，因为 2 是不大于 (-7)/(-3) ≈ 2.33 的最大整数；(-7) % (-3) == -1，满足 -7 == (-3) × 2 + (-1)
C/Java 中的整除与取模：商向零取整，余数同被除数符号
这些语言中，/ 对整数做截断除法（丢弃小数部分），% 则直接由 a % b = a - (a / b) * b 定义，因此余数符号始终与被除数相同。
-
(-7) / 3 == -2，(-7) % 3 == -1（因为 -7 = 3 × (-2) + (-1)）
-
7 / (-3) == -2，7 % (-3) == 1（因为 7 = (-3) × (-2) + 1）
-
(-7) / (-3) == 2，(-7) % (-3) == -1（因为 -7 = (-3) × 2 + (-1)）
跨语言迁移时的关键注意事项
从 Python 转到 C 或反之，直接复用负数取模逻辑极易出错。尤其在实现循环索引、哈希映射、坐标归一化等场景时，余数范围差异会导致越界或错位。
- 若需在 C 风格环境中获得 Python 式非负余数（如用于数组下标），可用：((a % b) + abs(b)) % abs(b)
- 若需在 Python 中模拟 C 风格余数（同被除数符号），可写：a % b if a >= 0 else -(abs(a) % abs(b))（b ≠ 0）
- 建议对涉及负数的模运算显式注释预期行为，避免依赖隐式语言特性
一个实用判断技巧
只需记住一句话：Python 的 % 结果永远与除数同号，且落在 [0, |b|) 或 (b, 0] 区间内；C 类语言的 % 结果永远与被除数同号，且绝对值小于 |b|。
