Java 和 Python 中的整数除法

Java 和 Python 中的整数除法，取余，舍入

1、整数除法

对两个不能整除的整数做除法，就要面对舍入的问题。
Java 的基本策略是 向零取整 (round to zero)，也就是 向绝对值变小的方向取整。

jshell> -1 / 10
$1 ==> 0

Python 的取整方式是 向下取整，也就是 向着数轴上负无穷的方向取整。

>>> -1 // 10
-1

如果要在 Python 下采用向零取整，一种比较直接的方式是：

>>> int(float(-1) / 10)
0

2、取余

Java 和 Python 整数除法都遵循下面这个公式：

>(a / b) * b + c = a

也就是说：

>a mod b = c = a - (a / b) * b

这里的 / 表示的是整数除法。既然它们的取整方式不一样，那么取余也会受到影响：

>For Java: -2 % 3 == -2
>For Python: -2 % 3 == 1

在某些实际应用中，可能会被要求得到一个整数的各位数字。如果输入的整数的正的，Java 和 Python 都可以用相同的方法来解决：

def func(a):
    pos, res = 1, []
    while a / pos:
        res += (a / pos) % 10
        pos *= 10
    return res

Java 代码也差不多就是这样了。但如果输入的整数是一个负数，Java 版本的代码还是可以得到正确的结果，而 Python 不能（曾经在这里被坑的，举手）。那怎样用 Python 正确地搞定这个问题嘞？可以先去绝对值和符号，当正数来处理，最后再在结果里搭上符号。

3. Follow-ups

3.1 Python 中的另一个除法操作

在Python中，基本的除号“/”是被重载了的。当两个操作数都是整数时，进行整数除法，得到整数结果，否则进行浮点数除法（真除法），得到浮点数结果。从Python 2.2开始，另一个除号被引入：//，它只执行整数除法。注意，//的结果类型依操作数而定。

>>>1.0/2
0.0
>>>1.0//2.0
0.0
>>>1//2
>0

另外，如果想同时得到商和余数，可以使用内建的函数divmod，结果是一个tuple。

>>>divmod(7, 2)
(3, 1)
>>>divmod(7.0, 2)
(3.0, 1.0)

3.2 Python 中的舍入

除了缺省的舍入方式，Python还有多种舍入可供选择。
Floor rounding:

>>>import math
>>>math.floor(1.2)
1.0
>>>math.floor(-1.2)
-2.0

Ceiling rounding:

>>>math.ceil(1.2)
2.0
>>>math.ceil(-1.2)
-1.0

Round-off:

>>>round(0.5)
1.0
>>>round(-0.4)
-0.0
>>>round(-0.5)
-1.0

内嵌的 round 函数也可以一个指定保留小数位数的参数：

>>>round(0.21, 1)
0.2
>>>round(0.21, 2)
0.21

Caution !

>>>round(2.675, 2)
2.67

计算机只认识 0,1。输入的十进制数，在计算机内部都是用二进制来表示的。有的十进制数可以用二进制准确地表示出来,比如十进制的0.125 可以表示为 0b0.001；然而很多的小数是没法用二进制数精确表示的，计算机里存储的是它们的近似值，例如十进制的 0.1，用二进制表示，可以近似为: 0b0.00011001100110011001100110011001100110011001100110011010，所以当把它换回十进制数以输出或者使用，得到的值就是0.1000000000000000055511151231257827021181583404541015625。也就是说，0.1 在计算机里并不是刚好等于 1/10 的。

>>>0.1+0.2
0.30000000000000004

同样，当运行 round() 函数，也是对计算机中实际存储的值近似取舍。2.67 实际上近似为2.67499999999999982236431605997495353221893310546875，你看第三位小数是 4，那么 round(2.675, 2) 就相当于round(2.674, 2)，结果当然是2.67。值得注意的是，这种现象是广泛存在于各种计算机和各种编程语言的，不是bug，只是有的语言选择了不让你看到。

3.3 Java 中的舍入

Java 提供了 floor 和 ceil 方法来实现向下和向上取整。

Math.floor(2.9)
Math.ceil(2.1)

这俩函数简单方便，居家旅行必备。另外Java中也有个round函数，可以实现各种复杂的取整。

System.out.println(Math.round(0.5));
//输出 1
System.out.println(Math.round(-0.5));
//输出 0
System.out.println(Math.round(-0.51));
//输出 -1

数学上有多种不同的策略来进行取整，比如体育老师教的四舍五入。各种取整策略的共同点就是要做真值作近似，那就会引入偏差。四舍五入显然并不是一种公平的策略（想想0_4的舍和59的得）。

有一个叫做银行家舍入(Banker’s Rounding) 的东西。事实上.NET和VB6都是默认采用这种方式，而且IEEE 754默认采用这种Rounding。Banker’s Rounding 也就是** round to even **策略。

假设当前考虑那位的数字是d（其实d就是将不被保留的第一位），如果d<5，则舍(round to zero)；如果d>5，则入(round away from zero)；而当d==5时，就要根据d前后的数位来确定往哪边取了。

1. 如果d之后存在非零的数位，则入；

2)如果d之后不存在非零的数位，则看d之前的一个数位，用c表示：

a.如果c是奇数，则入；

b.如果c是偶数，则舍。

再来一把栗子，对下列数保留0位小数，

第一位小数就是d，整数位就是c：

>BankRound(0.4)==0,　　BankRound(0.6)==1,　　BankRound(-0.4)==0,　　BankRound(-0.6)==-1
BankRound(1.5)==2.0,　　BankRound(-1.5)==-2.0,　　BankRound(2.5)==2.0,　　BankRound(-2.5)==-2.0
BankRound(1.51)==2.0,　　BankRound(-1.51)==-2.0,　　BankRound(2.51)==3.0,　　BankRound(-2.51)==-3.0

可以看出，Banker’s Rounding 对正数和负数的处理是对称的，因此不会引入符号带来的偏差。另外它以均等的几率来舍入数位（考虑c, c有各一半的几率为奇数和偶数），所以多次舍入后与真值的差别会较小。

扯了这么多，跟Java的**Math.round( )**有什么关系呢？我也是写到这才发现，好像没什么软(luan)关系。因为它并没有遵循Banker’s rounding。而是按照以下策略进行取整：

当考虑的数位d不是5，d<5就舍，d>5则入。

当d==5：

>a.如果d的右边有非零数位，则入；
>b.如果d的右边没有非零数位，则** round to ceiling**，即对负数舍，对正数入。

Java文档里是这么表述的

还有还有, 在Java里可以使用** BigDecimal 和 RoundingMode **实现更通用的取整方式。

double d=-2.5;
BigDecimal bd=new BigDecimal(d);
double nd=bd.setScale(0,
RoundingMode.HALF_EVEN).doubleValue();
System.out.println(nd);
//输出 -2.0

** setScale 的第一个参数是保留的小数位数，第二个参数是舍入模式。可选的舍入模式有：
HALF_EVEN, 也就是银行家方式；
HALF_UP, 四舍五入；
HALF_DOWN, 五舍六入；
CEILING、FLOOR, 向正无穷、负无穷方向；
UP、DOWN, 向零和远离零；
UNNECESSARY, 断言舍入后的值和原值相等，也就是不需要舍入。如果断言错了，抛出ArithmeticException*异常。