我们对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.
   这就是二者的区别。这个区别，对于正数，二者计算出的结果是相等的，但是负数就不相等了。这就意味着，如果以后在使用数学中余数相关定理的时候，要注意计算机中余数的计算和数学定义不是完全一致的，所以在计算机上，对于负数，数学定理并不完全适用。当然，对于正数，二者是没有区别的。至于为什么计算机上要这么实现，我想恐怕还是历史原因，最早的计算机如果这样计算除法（取余是靠除法来完成的），那么就涉及到浮点数的计算以及取下界，这样，将比较大的降低效率，所以实现成了这样的方式，一直沿用至今。