Python取模与取余的概念辨析：何时结果一致，何时不同？

Alice

发布时间：2026-10-24 | 7人浏览过

原创

在日常编程和数学计算中，“取模”（Modulo）与“取余”（Remainder）经常被混为一谈，很多人直觉上认为它们就是符号 % 所代表的同一种操作。实际上，两者虽然共享相同的除法余数公式，但在除法结果的“商取整方式”上存在根本差异：取模倾向于向下取整（向负无穷方向取整），而取余倾向于向零截断取整。在 Python 中，% 运算符执行的是标准的取模运算，而在 C/C++、Java 等语言中 % 执行的是取余运算。在 Python 内部，如果需要执行标准的取余运算，则需要使用 math.fmod() 函数。

核心速览：

何时结果一致：当被除数与除数同号时（两者同为正数，或同为负数），商为正数，向下取整与向零截断的结果完全重合，此时取模与取余的结果完全相同。
何时结果不同：当被除数与除数异号时（一正一负），商为负数，向下取整会向更小的负整数靠拢，而向零截断则直接舍弃小数位，两者的商相差 1，最终导致计算出的余数数值和符号产生明显分歧。

一、核心公式与本质区别：商的取整法则

无论是数学定义还是程序实现，求余数的通用数学定义均基于带余除法恒等式：

被除数 a，除数 b，商 q，余数 r
满足关系式：r = a - q * b
其中 q = 取整函数(a / b)

从公式中可以看出，a 与 b 是固定输入的两个数值，余数 r 的结果完全由商 q 的取整策略决定。取模与取余的唯一分水岭，正在于对 a / b 的商采用了不同的取整函数：

取模（Modulo，Python 中的 % 运算符）：商 q 采用向下取整（Floor），即 q = math.floor(a / b)，朝数轴负无穷大方向靠近。因此，取模运算的结果符号始终与除数 b 的符号保持一致（或为 0）。
取余（Remainder，Python 中的 math.fmod() / C 语言 %）：商 q 采用向零截断取整（Truncate），即 q = int(a / b) 或 math.trunc(a / b)，直接截断小数部分。因此，取余运算的结果符号始终与被除数 a 的符号保持一致（或为 0）。

Python取模与取余的概念辨析：何时结果一致，何时不同？ — 图 1：取模与取余在底层带余除法体系中的计算分流与取整方向

二、推导演练：为什么异号运算会产生不同结果？

为了直观展现两者在负数参与时的发散过程，我们以被除数 a = -7、除数 b = 3 为例，逐步按照数学推导演算：

计算浮点商：-7 / 3 = -2.333333...
确定商 q 的取整值：
- 取模（向下取整）：在数轴上，-2.333... 向左侧负无穷方向走，最近的整数是 -3。因此 q = -3。
- 取余（向零截断）：在数轴上，-2.333... 向右侧 0 的方向截断，去除小数部分后整数是 -2。因此 q = -2。
代入求余公式 r = a - q * b 计算余数：
- 取模运算：r = -7 - (-3 * 3) = -7 - (-9) = 2。结果为 2（与除数 3 同号）。
- 取余运算：r = -7 - (-2 * 3) = -7 - (-6) = -1。结果为 -1（与被除数 -7 同号）。

三、场景矩阵：四种符号组合的全面比对

为了让读者一目了然地掌握所有输入情境，我们将 a 与 b 的正负号拆解为 4 种组合，对比 Python 运算符 %（取模）与 math.fmod()（取余）的运算表现：

符号场景	示例输入	商 a / b	取模商 (Floor) 及结果	取余商 (Trunc) 及结果	两者结论
同正 (+a, +b)	`7, 3`	+2.333	q = 2, r = 1	q = 2, r = 1.0	完全一致
同负 (-a, -b)	`-7, -3`	+2.333	q = 2, r = -1	q = 2, r = -1.0	完全一致
负正 (-a, +b)	`-7, 3`	-2.333	q = -3, r = 2	q = -2, r = -1.0	结果不同（差值为除数 3）
正负 (+a, -b)	`7, -3`	-2.333	q = -3, r = -2	q = -2, r = 1.0	结果不同（差值为除数 -3）

四、Python 实操验证与内置函数用法

在实际编码中，我们可以通过以下 Python 代码清晰地复现并检验上述特性：

import math

def compare_modulo_and_remainder(a, b):
    # Python 内置 % 运算符（取模）
    mod_res = a % b
    
    # math.fmod（取余）
    rem_res = math.fmod(a, b)
    
    # 整数整除 // （地板除）
    floor_q = a // b
    
    # 截断整数整除
    trunc_q = int(a / b)
    
    print(f"输入参数: a={a}, b={b}")
    print(f"  [取模 %]       商 q={floor_q:<2} -> 余数 r = {mod_res}")
    print(f"  [取余 fmod]    商 q={trunc_q:<2} -> 余数 r = {rem_res}")
    print(f"  -> 是否一致: {'一致' if mod_res == rem_res else '不同'}\n")

# 1. 同号情况
compare_modulo_and_remainder(7, 3)    # 结果一致，余数均为 1
compare_modulo_and_remainder(-7, -3)  # 结果一致，余数均为 -1

# 2. 异号情况
compare_modulo_and_remainder(-7, 3)   # 不同：取模为 2，取余为 -1.0
compare_modulo_and_remainder(7, -3)   # 不同：取模为 -2，取余为 1.0

特别说明：divmod() 函数的归属

Python 提供了方便的内置函数 divmod(a, b)，它返回一个元组 (q, r)。需要特别注意的是，divmod() 的底层逻辑与 // 和 % 完全绑定，即它执行的是向下取整的取模体系，并非向零截断的取余体系：

q, r = divmod(-7, 3)
# 运行结果：q = -3, r = 2
# 与 -7 // 3 和 -7 % 3 完全等价

五、工程记忆口诀与选型场景

很多开发者在跨语言开发（例如从 C/Java 切换到 Python）时，常因负数求余问题陷入诡异的死循环或下标越界 Bug。为了在工作中不混淆，可以牢记如下两条黄金准则：

口诀记忆法：

“取模看除数”：Python 的 % 结果符号只跟除数 b 一致。由于除数通常是正数周期（如 b = 7 表示一周 7 天），因此无论时间如何向前倒退（负数），t % 7 算出来的下标永远落在 [0, 6] 之间，天生具备周期循环不变性。
“取余看被除数”：C 语言的 % 与 Python 的 math.fmod 结果符号只跟被除数 a 一致。在需要严格保留被除数正负偏差（如物理加速度、坐标正负偏移量判定）时更为直观。

六、常见疑问与避坑要点

1. 为什么 Python 的设计者吉多（Guido van Rossum）选择让 % 做取模而不是取余？

Guido 在其技术博客中曾做过详细阐述：在绝大多数真实的软件工程中，取模运算的主要应用场景是哈希散列映射与环形周期数组（如循环队列、周期性星期计算）。如果像 C 语言那样使用截断取余，当输入为负数时（如从当前时间倒退 $k$ 个单位），计算出来的索引将是负数，直接访问数组就会引发数组越界或取到倒数元素的意外错误。而采用地板除取模，只要除数 $b > 0$，余数 $r$ 就永远稳定在 $[0, b-1]$ 的自然区间内，极大地减少了处理循环边界时的判断逻辑。

2. 浮点数取模需要注意什么？

Python 允许直接使用浮点数参与 % 运算，例如 5.5 % 2.1。虽然这在语法上是合法的，但由于计算机内部使用二进制浮点数（IEEE 754 标准）存储，可能会产生微小的精度偏差（例如 5.5 % 2.1 实际输出为 1.2999999999999998 而非精确的 1.3）。在对精度要求苛刻的场景下，推荐使用 decimal 模块或者使用 math.fmod() 并辅以四舍五入处理。

七、总结

归纳总结，“Python取模与取余”的辨析可以凝结为以下两条主线：

同号相除（正正、负负）：向下取整与截断取整路径重合，取模与取余的计算结果完全一致。
异号相除（正负、负正）：向下取整朝负无穷方向递减，截断取整朝 0 方向截取，两者商相差 1，导致计算结果完全不同：Python 的 % 取模结果始终与除数同号，而 math.fmod() 取余结果始终与被除数同号。