Python负数取余运算的结果规则是什么

很多开发者在初次接触 Python 中的负数取余运算时，常常会被直觉绊住。例如在数学直觉或其他编程语言中，-7 % 3 往往被认为应该等于 -1，但在 Python 中运行却确凿无疑地输出 2；而 7 % -3 得到的结果则是 -2。本文将从底层定义、数学推导、数轴机制、四类符号组合以及与常见语言的对比这几个维度，完整拆解 Python 负数取余的运行逻辑。

底层推导：Python 取余的数学定义与计算流程

在 Python 语言规范中，取模运算符 % 并非一个独立孤立的计算逻辑，而是与地板除法运算符 // 协同定义的一对数学操作。对于任意两个实数 a（被除数）与 b（除数，且 b != 0），必须同时满足以下两个严格约束：

1. 恒等式约束：a == (a // b) * b + (a % b)
2. 余数取值区间约束：当除数 b > 0 时，余数 r 必须满足 0 <= r < b；当除数 b < 0 时，余数 r 必须满足 b < r <= 0。

根据这一恒等关系，我们可以将余数 r 的推导整理为清晰的两个阶段：先计算向下取整的商 q = a // b，再由减法 r = a - q * b 反推出确切的余数。

为什么是向下取整：数轴视角下的方向机制

很多程序员误判负数取余的原因，在于习惯了“直接截断小数部分”（向零取整，Truncate towards zero）。例如浮点除法 -7 / 3 的精确结果约为 -2.3333。如果向零截断，取整结果就是 -2；但在 Python 中，双斜杠 // 实现的是数学上的 Floor 操作，即向数轴的左侧（负无穷方向）寻找不大于该数的最大整数。

在数轴上，-2.3333 介于 -3 和 -2 之间。由于 -3 比 -2 更小，所以向负无穷方向取整的结果必须是 -3 而非 -2。这也正是 Python 负数整除的核心转折点。

四种正负符号组合的分类演练

为了全面掌握取余规则，我们将两个操作数的正负符号分为四种组合场景逐一剖析。每一组均附带具体代码与公式推演：

1. 正数 % 正数：常规取余

# 示例代码
a, b = 7, 3
print(a // b)  # 2
print(a % b)   # 1

推导：7 / 3 = 2.3333，向下取整商为 2。代入公式：7 - (2 * 3) = 1。除数为正，余数为正，落在 [0, 3) 范围内。

2. 负数 % 正数：负被除数场景（最常见易错点）

# 示例代码
a, b = -7, 3
print(a // b)  # -3
print(a % b)   # 2

推导：-7 / 3 = -2.3333，向下取整商为 -3。代入公式：-7 - (-3 * 3) = -7 - (-9) = 2。除数 3 为正，余数必须为正数 2，落在 [0, 3) 范围内。

3. 正数 % 负数：负除数场景

# 示例代码
a, b = 7, -3
print(a // b)  # -3
print(a % b)   # -2

推导：7 / -3 = -2.3333，向下取整商同样为 -3。代入公式：7 - (-3 * -3) = 7 - 9 = -2。由于除数 -3 是负数，所得余数必须为负数 -2，落在 (-3, 0] 范围内。

4. 负数 % 负数：双负数场景

# 示例代码
a, b = -7, -3
print(a // b)  # 2
print(a % b)   # -1

推导：-7 / -3 = 2.3333，向下取整商为 2。代入公式：-7 - (2 * -3) = -7 - (-6) = -1。除数 -3 为负数，余数最终为负数 -1，落在 (-3, 0] 范围内。

Python 为何选择向下取整设计？

很多其他语言（如 C99、C++、Java、JavaScript）在整数除法中采用的是向零截断（Truncating Division）。在这些语言中，-7 % 3 的结果是 -1，余数的符号由被除数决定。那么 Python 之父 Guido van Rossum 为何要坚持使用向下取整（Floored Division）呢？

主要原因在于数学上的周期性与连续性（Periodicity）：

• 时钟与循环数组映射：在计算机算法中，取模运算最常见的应用是环形缓冲（Circular Buffer）与时钟周期。例如将任意整数索引 i 映射到长度为 N 的数组中，只要 N > 0，Python 的 i % N 无论 i 是正是负，返回的结果恒在 [0, N-1] 之间，直接对应有效的正数索引。而 C/Java 中若 i < 0 会产生负索引，开发者必须额外编写 (i % N + N) % N 来修正。
• 数轴上的单调连续：考察数列 ... -3, -2, -1, 0, 1, 2, 3 ... 对 3 取余。在 Python 中，结果序列是严谨平滑的 0, 1, 2, 0, 1, 2, 0 ...；而如果采用向零截断，在 0 附近序列会变成 0, -2, -1, 0, 1, 2, 0，破坏了数学周期的单调性。

开发避坑：跨语言迁移与内置工具使用

在 Python 中，如果需要得到 C/C++ 风格的取模结果，可以使用标准库中的 math.fmod() 函数，或者手动进行截断整除：

import math

a, b = -7, 3

# 1. Python 默认的地板除法模运算（余数符号看除数）
print(a % b)  # 输出: 2

# 2. C/Java 风格的截断模运算（余数符号看被除数）
print(math.fmod(a, b))  # 输出: -1.0

# 3. 同时获取商和余数的内置函数 divmod
q, r = divmod(a, b)
print(f"商: {q}, 余数: {r}")  # 输出: 商: -3, 余数: 2

此外，内置函数 divmod(a, b) 同时返回 (a // b, a % b) 元组，在需要同时用到商与余数时不仅书写简洁，而且由于底层在 C 层一次性完成计算，执行效率优于分别计算两次。

知识总结与核心速查卡

理解 Python 负数取余的关键，在于抛弃“只看绝对值做除法再贴符号”的直觉思维，牢固树立“向下整除推出余数”的严密数学模型。