整形除法在程序中的表示

以Java中的数字表示为例

Demo

假设有byte型的数值-5，其二进制表示为1111 1011。现在我们对该数做除法，除法表达式为：-5/2。
按照我起初的想法，只需要对-5右移1位，高位补1。我们用这种方法计算，得到的结果为：1111 1101，但该数实际的值为-3。如果我们用程序计算，得到的结果为-2。

说明

我们希望得到的值为-2。
-2.5======>-2，实际上是一个向上取整的过程。
而我说阐述的对-5右移1位，高位补1，实际上是一个向下取整的过程，-2.5=======>-3。
因此必须建立起向上取整与向下取整的联系。

公式

设有整数i，则UP[x]表示向上取整，DW[x]表示向下取整。则有：UP[x/y]=DW[(x+y-1)/y]；

设：x=qy+r，0=< r< y;
则DW[x/y]=q+DW[(r+y-1)/y]；
则当r=0，DW[x/y]=q；否则DW[x/y]=q+1。刚好与UP[x/y]的值相等。
通过这种方式完成了整数除法向上取整与向下取整的关联。