- 取余,遵循尽可能让商向0靠近的原则
- 取模,遵循尽可能让商向负无穷靠近的原则
符号相同时,两者不会冲突。例如,7 mod 3
和7 rem 3
结果是相同,都是1;但是-7 mod 3 = 2
,-7 rem 3 = -1
。
7/3=2.3,产生了两个商2和3,7 = 3 * 2 + 1 跟 7 = 3 * 3 + (-2)
由于取余时尽可能让商向0靠近,取模时商向负无穷靠近,因此取余和取模时商为2,所以7 mod 3
和7 rem 3
结果都为1。
-7/3=-2.3,产生了两个商-2和-3,-7 = 3 * (-2) + (-1) 跟 -7 = 3 * (-3) + 2
由于取余时尽可能让商向0靠近,因此取余时商为 -2,因此 -7 rem 3 = -1
;取模时商向负无穷靠近,因此取模时商为 -3,因此-7 mod 3 = 2
。
取模和取余可以转换为以下公式。当y≠0时:取余:
r e m ( x , y ) = x − y ∗