你真的搞懂了负数取模吗?

版权声明:本文为博主原创文章,转载不需要博主同意,只需贴上原文链接即可。 https://blog.csdn.net/zhige_me/article/details/80980566

如果现在给你出下面这道面试题,你能答出来吗?

-7 % 3 = ?

那这个呢?

7 % (-3) = ?

正整数的取模大家应该玩的很溜了,(什么,正数的都不会,那自己去谷歌吧,百度也行。) 对于负数呢,上周有人在一个群里问这个问题,我以为我是会的,后来发现我的答案是错的,索性就去研究了一番。

带着问题我打开了维基百科 https://en.wikipedia.org/wiki/Modulo_operation ,看到了这段话。

在几乎所有的计算系统中,取模运算都满足下面这个公式:

a = nq + r  |r| < |a|
假设 q 是 a、b 相除得到的商(quotient),r 是相应的余数(remainder)

然而,取模操作又依赖于编程语言和底层硬件。

我们现在用这个工具地址 https://c.runoob.com/ 打开我学习的语言,比如 Java/C,会发现

-7 % 3 = -1
7 % (-3) = 1 

既然编程语言决定了结果,那换一种语言,比如 Python,发现结果竟然真的不一样,你说神奇不神奇。

-7 % 3 = 2
7 % (-3) = -2

这是为什么呢?

我们知道,当余数不为 0 的时候,取整除(符号是「/」,叫法不一样,可以纠正我一下),可能出现多种方式,下面是一些你应该知道的例子。

向上取整。向 +∞ 方向取最接近精确值的整数,也就是取比实际结果稍大的最小整数,也叫 Ceiling 取整。这种取整方式下,

17 / 10 = 2,5 / 2 = 3, -9 / 4 = -2

向下取整。向 -∞ 方向取最接近精确值的整数,也就是取比实际结果稍小的最大整数,也叫 Floor 取整。这种取整方式下,

17 / 10 = 1,5 / 2 = 2, -9 / 4 = -3

向零取整。向 0 方向取最接近精确值的整数,换言之就是舍去小数部分,因此又称截断取整(Truncate)。这种取整方式下,

17 / 10 = 1,5 / 2 = 2, -9 / 4 = -2

我们再来看刚才的公式

a = nq + r 
我们知道商 q = a/n,从而得出
r = a - (a/n) * n
而 (a/n) 这个结果取决于上面几种方式用哪个

下面我们就重点看这个 (a/n)

常用的计算机语言用的除法方式是下面这两种,truncate 除法 和 floor 除法

truncate 除法 即是上面的向零取整,也叫趋零截尾,而 floor 除法 即是上面的向下取整,也叫趋负无穷截尾。

而 Java/C 等语言用的是 truncate 除法,Python 用的是 floor 除法。

这下就明白了吧,现在我们再来看开始的面试题。

在 Java/C 中,

-7 % 3 = -1
7 % (-3) = 1 
// 下面是推倒过程
-7 % 3 = -7 - trunc(-7/3) * 3 = -7 - (-2) * 3 = -7 + 6 = -1
7 % (-3) = 7 - trunc(7 / (-3)) * (-3) = 7 - (-2) * (-3) = 7 - 6 = 1

在 Python 中,

-7 % 3 = 2
7 % (-3) = -2
## 下面是推倒过程
-7 % 3 = -7 - floor(-7/3) * 3 = -7 - (-3) * 3 = -7 + 9 = 2
7 % (-3) =  7 - floor(7 / (-3)) * (-3) = 7 - (-3) * (-3) = 7 - 9 = -2

如果是其他语言,先去搞清楚是用的那种方式。

本文参考:
Modulo operation:
https://en.wikipedia.org/wiki/Modulo_operation
负数取模怎么算:
https://www.jianshu.com/p/452c1a5acd31

如果觉得内容还不错,可以关注一下我哦
微信公众号:志哥 (ID: zhige-me)
期待与你相遇,一同成长前行!
微信公众号:志哥 (ID: zhige-me)

阅读更多

没有更多推荐了,返回首页