2008-05-26 17:03
我们对C的%运算知多少呢?
当是正整数时,可能大家都知道。例如:5%3等于2, 3%5等于3。
当存在负数时呢?先看看例子:
例一:
int main()
{
int x;
x = -6%5; printf("%2d/n",x);
x = 6%-5; printf("%2d/n",x);
x = 1%-5; printf("%2d/n",x);
x = -1%-5; printf("%2d/n",x);
x = -6%-5; printf("%2d/n",x);
}
运行结果为:
-1
1
1
-1
-1
例二:
#include
int main()
{
int x;
x = 5%-6; printf("%2d/n",x);
x = -5%6; printf("%2d/n",x);
x = 4%5; printf("%2d/n",x);
x = -4%-5; printf("%2d/n",x);
x = -5%-6; printf("%2d/n",x);
}
运行结果为:
5
-5
4
-4
-5
你看出规律了吗?我帮你总结一下:
余数的定义:当被除数不够整除时余下的数。
当都是正整数时:
除法实际可转化为减数,不够减时剩下的就是余数。
例如:12%5
12-5-5
2
当存在负数时: x%y
i. 当异号时:
if |x|>|y|
result: x+y
else
result: x
例:
-6% 5等于-1
6%-5等于 1
5%-6等于 5
-5% 6等于 -5
ii. 当同号时:
if |x|>|y|
result: x-y
else
result: x
例:
-1%-5等于-1
-6%-5等于-1
-4%-5等于-4
-5%-6等于-5
相信当你记住这个规律后,再遇到这种问题,你不用思考就可以回答出来。
但你一定不会满意,因为这不是你想要的结果,你一定觉得还有更深层的
原因。如果你感兴趣,请接着看:
例三:
#include
int main()
{
int x;
x = -6/5; printf("%2d/n",x);
x = 6/-5; printf("%2d/n",x);
x = 1/-5; printf("%2d/n",x);
x = -1/-5; printf("%2d/n",x);
x = -6/-5; printf("%2d/n",x);
}
运行结果:
-1
-1
0
0
1
例四:
#include
int main()
{
int x;
x = 5/-6; printf("%2d/n",x);
x = -5/6; printf("%2d/n",x);
x = 4/5; printf("%2d/n",x);
x = -4/-5; printf("%2d/n",x);
x = -5/-6; printf("%2d/n",x);
}
运行结果:
0
0
0
0
0
这两个例子我想大家都觉得很简单,但简单并不代表它没价值,
特别是它和其它事物联系其来时你才会注意到。
“/”在我们这些程序中代表整除,它符合除法法则,异号抵消。
再看看我们余数的定义:
整除“余”下的“数”。
则有:余数=被除数-商*除数
商就是我们整除的结果。
看例子:
eg1:
(-6%5) = -6 - (-6/5)*5
(-6%5) = -6 - (-1)*5
(-6%5) = -6 - (-5)
(-6%5) = -6+5
(-6%5) = -1
eg2:
(5%-6) = 5 - (5/-6)*(-6)
(5%-6) = 5 - (0)*(-6)
(5%-6) = 5 - 0
(5%-6) = 5
eg3:
(-5%-6)= -5 - (-5/-6)*(-6)
(-5%-6)= -5 - (0)*(-6)
(-5%-6)= -5 - 0
(-5%-6)= -5
eg4:
(6%-5) = 6 - (6/-5)*(-5)
(6%-5) = 6 - (-1)*(-5)
(6%-5) = 6 - 5
(6%-5) = 1
到现在为止,你还有什么疑惑?
但我还是有点不明白,这是数学中的定义吗?
我查了一下《Concrete Mathematics》,请看原文:
摘之 P82
------------------
3.4 ‘MOD': THE BINARY OPERATION
The quotient of n divided by m is [n/m],when m and n are positive
integers. It's handy to have a simple notation also for the remainder
of this division, and we call it 'n mod m', The basic formula
n = m[n/m]+ n mod m
//NOTE:"m[n/m]" is quotient, "n mod m" is remainder
tells us that we can express n mod m as n-m[n/m] .We can generalize this
to megative integers, and in fact to arbitrary real numbers:
x mod y = x - y[x/y], for y!=0.
--------------------
从文中可能看出,数学中的 余数(remainder) 其实就是 取模(mod),即:
x mod y = x%y
x%y = x - y[x/y], for y!=0.
数学中的余数概念和我们的计算机中的余数概念一致,但实现却不一致。
其中 [x/y] 代表的是 x/y 的最小下界。
例:
-3 mod 2 = -3 - 2*[-3/2]
= -3 - 2*[-1.5]
= -3 - 2*(-2)
= -3 + 4
= 1
而我们的计算机是怎么做的呢:
-3%2 = -3 - 2*(-3/2)
= -3 - 2*(-1)
= -3 - (-2)
= -1
所以计算机中的取余实际上是:
x%y = x - y(x/y), for y!=0.
这就是二者的区别。这个区别,对于正数,二者计算出的结果是相等的,但是负数就不相等了。这就意味着,如果以后在使用数学中余数相关定理的时候,要注意计算机中余数的计算和数学定义不是完全一致的,所以在计算机上,对于负数,数学定理并不完全适用。当然,对于正数,二者是没有区别的。至于为什么计算机上要这么实现,我想恐怕还是历史原因,最早的计算机如果这样计算除法(取余是靠除法来完成的),那么就涉及到浮点数的计算以及取下界,这样,将比较大的降低效率,所以实现成了这样的方式,一直沿用至今。