Python选择将整数除法舍入到负无穷大背后的数学原因是什么？

What#39;s the mathematical reason behind Python choosing to round integer division toward negative infinity?(Python选择将整数除法舍入到负无穷大背后的数学原因是什么？)

问题描述

我知道Python//舍入到负无穷大，而在C++中/正在截断，舍入到0。

到目前为止我知道的是：

               |remainder|
-12 / 10  = -1,   - 2      // C++
-12 // 10 = -2,   + 8      # Python

12 / -10  = -1,     2      // C++
12 // -10 = -2,   - 8      # Python

12 / 10  = 1,      2       // Both
12 // 10 = 1,      2

-12 / -10 = 1,    - 2      // Both
          = 2,    + 8

C++:
1. m%(-n) == m%n
2. -m%n == -(m%n)
3. (m/n)*n + m%n == m

Python:
1. m%(-n) == -8 == -(-m%n)
2. (m//n)*n + m%n == m

例如Why is -1/2 evaluated to 0 in C++, but -1 in Python?：

抽象地处理这些事情的人往往会觉得 舍入到负无穷大更有意义(这意味着 与数学中定义的模函数兼容，而不是 意思有点滑稽)。

但我认为C++的/与模函数不兼容。在C++中，(m/n)*n + m%n == m也适用。

那么，是什么(数学)原因让Python选择舍入到负无穷大呢？

另请参阅Guido van Rossum's old blog post on the topic。

推荐答案

但为什么Python//选择舍入为负无穷大？

我不确定最初做出这个选择的原因是否有任何记录(尽管，就我所知，它可以在某个PEP中得到很长的解释)，但我们肯定可以想出各种理由来解释它的意义。

一个原因很简单，就是舍入为负(或正！)无穷大意味着所有数字都以相同的方式进行舍入，而向零进行舍入则使零变得特别。这样说的数学方式是，向下舍入到−∞是平移不变量，即它满足等式：

round_down(x + k) == round_down(x) + k

对于所有实数x和所有整数k。向零四舍五入不会，因为，例如：

round_to_zero(0.5 - 1) != round_to_zero(0.5) - 1

当然，也存在其他参数，例如您引用的基于与%运算符(行为的方式)的兼容性的参数-下面将详细介绍。

事实上，我想说真正的问题是，为什么要定义的int()函数而不是，将浮点参数舍入到负无穷大，以便m // n等于int(m / n)。(我怀疑是因为历史原因。)话又说回来，这不是什么大不了的事，因为至少有math.floor()满足m // n == math.floor(m / n)。

heading = (heading + angle) % 360

heading = (heading + angle) % 360;
if (heading < 0) heading += 360;

heading = ((heading + angle) % 360) + 360) % 360;