背景
最近在一道 Java 习题中,看到这样的一道题:
What is the output when this statement executed:
System.out.printf(-7 % 3);
正整数的取余运算大家都很熟悉,但是对于负数、实数的取余运算,确实给人很新鲜的感觉。于是我对此进行了一些探索。我发现,这里面还是颇有一点可以探索的东西的。
探究
首先,看看自然数的取模运算(定义1):
如果a和d是两个自然数,d非零,可以证明存在两个唯一的整数 q 和 r,满足 a = qd + r 且0 ≤ r < d。其中,q 被称为商,r 被称为余数。
那么对于负数,是否可以沿用这样的定义呢?我们发现,假如我们按照正数求余的规则求 (-7) mod 3 的结果,就可以表示 -7 为 (-3)* 3 +2。其中,2是余数,-3是商。
那么,各种编程语言和计算器是否是按照这样理解的呢?下面是几种软件中对此的理解。
语言 | 语句 | 输出 |
---|---|---|
C++(G++ 编译) | cout << (-7) % 3; | -1 |
Java(1.6) | System.out.println((-7) % 3); | -1 |
Python 2.6 | (-7) % 3 | 2 |
百度计算器 | (-7) mod 3 | 2 |
Google 计算器 | (-7) mod 3 | 2 |
可以看到,结果特别有意思。这个问题是百家争鸣的。看来我们不能直接把正数的法则加在负数上。实际上,在整数范围内,自然数的求余法则并不被很多人所接受,大家大多认可的是下面的这个定义2。
如果a 与d 是整数,d 非零,那么余数 r 满足这样的关系:
a = qd + r , q 为整数,且0 ≤ |r| < |d|。
可以看到,这个定义导致了有负数的求余并不是我们想象的那么简单,比如,-1 和 2 都是 (-7) mod 3 正确的结果,因为这两个数都符合定义。这种情况下,对于取模运算,可能有两个数都可以符合要求。我们把 -1 和 2 分别叫做正余数和负余数。通常,当除以d 时,如果正余数为r1,负余数为r2,那么有
r1 = r2 + d
对负数余数不明确的定义可能导致严重的计算问题,对于处理关键任务的系统,错误的选择会导致严重的后果。
看完了 (-7) mod 3,下面我们来看一看 7 mod (-3) 的情况(看清楚,前面是 7 带负号,现在是 3 带负号)。根据定义2,7 = (-3) * (-2) + 1 或7 = (-3) * (-3) -2,所以余数为 1 或 -2。
语言 | 语句 | 输出 |
---|---|---|
C++(G++ 编译) | cout << 7 % (-3); | 1 |
Java(1.6) | System.out.println(7 % (-3)); | 1 |
Python 2.6 | 7 % (-3) | -2 |
百度计算器 | 7 mod (-3) | -2 |
Google 计算器 | 7 mod (-3) | -2 |
从中我们看到几个很有意思的现象:
- Java 紧随 C++ 的步伐,而 Python、Google、百度步调一致。难道真是物以类聚?联想一下,Google 一直支持 Python,Python 也颇有 Web 特色的感觉,而且 Google Application Engine 也用的 Python,国内的搜索引擎也不约而同地按照 Google 的定义进行运算。
- 可以推断,C++ 和 Java 通常会尽量让商更大一些。比如在 (-7) mod 3中,他们以 -2 为商,余数为 -1。在 Python 和 Google 计算器中,尽量让商更小,所以以 -3 为商。在 7 mod (-3) 中效果相同:C++ 选择了 3 作为商,Python 选择了 2 作为商。但是在正整数运算中,所有语言和计算器都遵循了尽量让商小的原则,因此 7 mod 3 结果为 1 不存在争议,不会有人说它的余数是-2。
- 如果按照第二点的推断,我们测试一下 (-7) mod (-3),结果应该是前一组语言(C++,Java)返回 2,后一组返回 -1。(请注意这只是假设)
于是我做了实际测试:
语言 | 语句 | 输出 |
---|---|---|
C++(G++ 编译) | cout << -7 % (-3); | -1 |
Java(1.6) | System.out.println(-7 % (-3)); | -1 |
Python 2.6 | -7 % (-3) | -1 |
百度计算器 | -7 mod (-3) | -1 |
Google 计算器 | -7 mod (-3) | -1 |
结果让人大跌眼镜,所有语言和计算机返回结果完全一致。
总结
我们由此可以总结出下面两个结论:
- 对于任何同号的两个整数,其取余结果没有争议,所有语言的运算原则都是使商尽可能小。
- 对于异号的两个整数,C++/Java语言的原则是使商尽可能大,很多新型语言和网页计算器的原则是使商尽可能小。
拓展
最后是拓展时间。对于实数,我们也可以定义取模运算(定义3)。
当 a 和 d 是实数,且d 非零, a 除以 d 会得到另一个实数(商),没有所谓的剩余的数。但如果要求商为一个整数,则余数的概念还是有必要的。可以证明:存在唯一的整数商 q 和唯一的实数 r 使得: a = qd + r, 0 ≤ r < |d|. (转自维基百科)
如上在实数范围内扩展余数的定义在数学理论中并不重要,尽管如此,很多程序语言都实现了这个定义。至于哪些程序语言实现了这个定义,就留给大家自己探究吧!
<div class="post-copyright">
<p>
<i class="icon-info-sign"></i>
转载请注明转自: <a href="https://ceeji.net/blog">宁心勉学,慎思笃行</a>
, 本文固定链接:
<a rel="shortlink" href="https://ceeji.net/blog/?p=1598">实数范围内的求模(求余)运算:负数求余究竟怎么求</a>
</p>
</div>
<ol class="commentlist">
<li class="comment even thread-even depth-1" id="li-comment-32187">
<div id="comment-32187" class="comment-body ">
<div class="comment-avatar">
<img alt="'s avatar" src="http://2.gravatar.com/avatar/?s=48&d=monsterid&r=g" srcset="http://0.gravatar.com/avatar/?s=96&d=monsterid&r=g 2x" class="avatar avatar-48 photo avatar-default" width="48" height="48"> </div>
<div class="comment-meta">
<span class="comment-author">匿名</span>
<span class="comment-date">发表于 2014-12-02 9:45:46</span>
<span><i class="icon-retweet"></i>
<a rel="nofollow" class="comment-reply-link" href="https://ceeji.net/blog/mod-in-real/?replytocom=32187#respond" onclick="return addComment.moveForm( "comment-32187", "32187", "respond", "1598" )" aria-label="回复给">回复</a> 11 楼
</span>
</div>
<div class="comment-text"><p>以0为起点,往数轴两边走,java是不会走过再倒回来,如-7%3,先走到-6再走到-7,其他的是走过了再倒回来,先到-9再倒回-7</p>
<li class="comment odd alt thread-odd thread-alt depth-1" id="li-comment-45910">
<div id="comment-45910" class="comment-body ">
<div class="comment-avatar">
<img alt="'s avatar" src="http://0.gravatar.com/avatar/?s=48&d=monsterid&r=g" srcset="http://2.gravatar.com/avatar/?s=96&d=monsterid&r=g 2x" class="avatar avatar-48 photo avatar-default" width="48" height="48"> </div>
<div class="comment-meta">
<span class="comment-author">匿名</span>
<span class="comment-date">发表于 2015-09-11 14:33:19</span>
<span><i class="icon-retweet"></i>
<a rel="nofollow" class="comment-reply-link" href="https://ceeji.net/blog/mod-in-real/?replytocom=45910#respond" onclick="return addComment.moveForm( "comment-45910", "45910", "respond", "1598" )" aria-label="回复给">回复</a> 12 楼
</span>
</div>
<div class="comment-text"><p>帮了大忙,真是太感谢啦~\(≧▽≦)/~</p>
<li class="comment even thread-even depth-1" id="li-comment-211068">
<div id="comment-211068" class="comment-body ">
<div class="comment-avatar">
<img alt="han's avatar" src="http://2.gravatar.com/avatar/500956f60d14bea1f1a3ce2cda7ac70e?s=48&d=monsterid&r=g" srcset="http://2.gravatar.com/avatar/500956f60d14bea1f1a3ce2cda7ac70e?s=96&d=monsterid&r=g 2x" class="avatar avatar-48 photo" width="48" height="48"> </div>
<div class="comment-meta">
<span class="comment-author">han</span>
<span class="comment-date">发表于 2016-07-11 10:02:01</span>
<span><i class="icon-retweet"></i>
<a rel="nofollow" class="comment-reply-link" href="https://ceeji.net/blog/mod-in-real/?replytocom=211068#respond" onclick="return addComment.moveForm( "comment-211068", "211068", "respond", "1598" )" aria-label="回复给han">回复</a> 13 楼
</span>
</div>
<div class="comment-text"><p>可以推断,C++ 和 Java 通常会尽量让商更大一些。比如在 (-7) mod 3中,他们以 -2 为商,余数为 -1。在 Python 和 Google 计算器中,尽量让商更小,所以以 -3 为商。在 7 mod (-3) 中效果相同:C++ 选择了 3 作为商,Python 选择了 2 作为商。但是在正整数运算中,所有语言和计算器都遵循了尽量让商小的原则,因此 7 mod 3 结果为 1 不存在争议,不会有人说它的余数是-2。</p>
第二段不是应该商是-2和-3吗,
<div class="comment-pagenavi clearfix">
<div class="alignright">
<a rel="nofollow" href="https://ceeji.net/blog/mod-in-real/comment-page-1/#comments"><i class="icon-circle-arrow-left"></i> 旧评论</a> </div>
</div>
</div>
<div id="trackbacks">
<ol class="trackback-list">
</ol>
</div>
</div> <!-- end primary -->