为什么Python负数取模结果是正数？详解取模运算规则

一、算术恒等式与四步推导流程

要理解取模运算（%），首先需要明确计算机科学中取模的数学定义。在所有通用编程语言中，除法与取模始终受制于欧几里得除法基本恒等式：

被除数 = 除数 × 商 + 余数
即：a = b * q + r

将上述恒等式进行简单移项，余数 r 的计算公式就可以表示为：

r = a - b * q
在 Python 中写作：r = a - (a // b) * b

由该公式可知，余数 r 的数值完全取决于两点：输入的被除数与除数、以及商 q 是如何确定的。下面以具体的表达式 -7 % 3 为例，完整展示 Python 解释器的四个计算步骤：

1. 步骤 1（输入操作数）：确定被除数 a = -7，除数 b = 3。
2. 步骤 2（精确浮点除法）：计算实际商的小数值 a / b = -7 / 3 = -2.333333...。
3. 步骤 3（向下取整求商）：执行地板除 q = a // b。Python 采用向负无穷方向舍入（math.floor）。在数轴上，比 -2.3333... 更小的最大整数是 -3（而不是向 0 靠拢的 -2）。因此 q = -3。
4. 步骤 4（代入恒等式求余）：将 q = -3 代入余数公式：
   r = -7 - 3 * (-3) = -7 - (-9) = 2。

我们可以打开 Python 终端实际验证这一推导：

# 示例代码：终端实际运行验证
a = -7
b = 3

q = a // b     # -7 // 3
r = a % b      # -7 % 3

print(f"商 q = {q}")             # 示例输出：商 q = -3
print(f"余数 r = {r}")           # 示例输出：余数 r = 2
print(b * q + r == a)           # 示例输出：True（恒等式严格成立）

二、底层设计差异：向下取整 vs 向零截断

许多习惯了 C、C++、Java 或 JavaScript 的开发者初次使用 Python 时常会对 -7 % 3 == 2 感到意外。这种困惑的根源在于：不同编程语言对整数除法的舍入策略不同。

1. 两种主流舍入策略的对比

• 向零截断（Truncating toward zero）：以 C（C99 规定之后）、C++、Java 为代表。整数除法 / 会直接将小数部分截断舍弃。对于 -7 / 3 = -2.333...，截断后商取 -2。代入恒等式 r = -7 - 3 * (-2) = -1，余数为负数。在这种机制下，余数符号与被除数一致。
• 向下取整（Floor toward -infinity）：以 Python、Ruby 为代表。整数除法 // 始终向负无穷方向舍入。对于 -7 // 3 = -2.333...，向下取整商取 -3。代入恒等式 r = -7 - 3 * (-3) = 2，余数为正数。在这种机制下，余数符号与除数一致。

2. 为什么 Python 选择向下取整？

Python 之父 Guido van Rossum 曾专门阐述过为何坚持采用 Floor Division。其核心原因在于维护现实计算中周期运算与数论性质的纯粹性：

• 时间与时钟的周期映射：假设当前时间是 1 点，需要计算 3 小时前是几点。按 12 小时制计算：(1 - 3) % 12 = -2 % 12。在 Python 中结果自然为 10，完美对应 10 点；而在 C 语言中，-2 % 12 返回 -2，开发者必须额外添加 if (r < 0) r += 12; 的判断逻辑进行手动修复。
• 数组循环边界与哈希表回绕：在处理环形队列或循环索引时，当游标向左滑动越界为 -1 时，在 Python 中 -1 % len(arr) 会直接映射到列表末尾下标 len(arr) - 1，极大简化了边界代码。

三、数轴几何直观：为什么余数代表正向位移？

如果公式推导还不够直观，从数轴几何区间的视角可以更深刻地看清取模运算的物理意义。

当除数 b = 3 时，数轴被整齐地分割成无限个跨度为 3 的半开半闭区间：... [-9, -6), [-6, -3), [-3, 0), [0, 3), [3, 6) ...。每一个区间都可以表示为 [3*q, 3*(q+1))。

由于 Python 采用“向下取整”，商 q 的作用就是精准定位被除数所在的那个区间，并选取区间的左端点作为基准锚点：

• 数字 -7 位于区间 [-9, -6) 之内；
• 该区间的左端点锚点为 -9（对应 3 * (-3)）；
• 余数 r = a - 3*q 在几何上正是数字 -7 相对于左端点 -9 向右测量的水平位移距离。

从 -9 到 -7 是沿着数轴正方向（向右）移动了 2 个单位，因此位移量必定是正数 +2。

四、全场景规则与四种符号组合速查

在掌握了底层机制后，我们来全面考察当被除数 a 和除数 b 分别为正数、负数时的四种组合情况。

五、开发实践中的常见注意事项

在日常开发和算法实现中，针对 Python 取模特性需要注意以下两个关键场景：

1. 如何获得与 C/Java 相同的“向零截断”余数？

如果你在做跨语言系统数据交互（如对接由 C++ 或 Java 编写的接口协议），需要得到截断除法的余数，不能直接使用 % 操作符，而应使用 Python 标准库中的 math.fmod() 函数：

import math

# 1. Python 内置取模（向下取整规则）
print(-7 % 3)            # 示例输出：2

# 2. math.fmod（C语言标准库向零截断规则）
print(math.fmod(-7, 3))  # 示例输出：-1.0

2. 推荐使用内置函数 divmod()

当一段算法中同时需要用到整数商和余数时，避免分别调用 // 和 % 重复计算。直接使用 Python 内置的 divmod(a, b) 可以一次性高效获取元组 (a // b, a % b)：

# 同时获取商和余数
q, r = divmod(-7, 3)
print(f"商: {q}, 余数: {r}")  # 示例输出：商: -3, 余数: 2