Python 对浮点数取模[重复]
- 2025-02-11 09:50:00
- admin 原创
- 58
问题描述:
有人能解释一下 Python 中模数运算符的工作原理吗?我不明白为什么3.5 % 0.1 = 0.1
。
解决方案 1:
事实上,事实并非如此3.5 % 0.1
。0.1
你可以很容易地测试这一点:
>>> print(3.5 % 0.1)
0.1
>>> print(3.5 % 0.1 == 0.1)
False
实际上,在大多数系统上,3.5 % 0.1
是0.099999999999999811
。但是,在某些版本的 Python 上,str(0.099999999999999811)
是0.1
:
>>> 3.5 % 0.1
0.099999999999999811
>>> repr(3.5 % 0.1)
'0.099999999999999811'
>>> str(3.5 % 0.1)
'0.1'
现在,您可能想知道为什么3.5 % 0.1
是0.099999999999999811
而不是0.0
。这是因为常见的浮点舍入问题。如果您还没有阅读《每个计算机科学家都应该知道的浮点运算》,您应该阅读一下——或者至少阅读一下关于这个特定问题的简短维基百科摘要。
还要注意的3.5/0.1
是 不是34
,而是35
。所以3.5/0.1 * 0.1 + 3.5%0.1
是,与3.5999999999999996
相差甚远。这几乎是模数定义的基础,但在 Python 以及几乎所有其他编程语言中,这都是错误的。3.5
但是 Python 3 可以解决这个问题。大多数知道 的人都//
知道它是如何在整数之间进行“整数除法”,但没有意识到它是如何在任意类型之间进行模数兼容除法。3.5//0.1
是34.0
,所以3.5//0.1 * 0.1 + 3.5%0.1
也是(至少在 的小舍入误差内)3.5
。这已被反向移植到 2.x,因此(取决于您的确切版本和平台)您可能能够依赖它。并且,如果不是,您可以使用divmod(3.5, 0.1)
,它会返回(在舍入误差内)(34.0, 0.09999999999999981)
一直回到时间的迷雾中。当然,您仍然希望这是(35.0, 0.0)
,而不是(34.0, almost-0.1)
,但由于舍入误差,您无法得到它。
如果您正在寻找快速修复,请考虑使用以下Decimal
类型:
>>> from decimal import Decimal
>>> Decimal('3.5') % Decimal('0.1')
Decimal('0.0')
>>> print(Decimal('3.5') % Decimal('0.1'))
0.0
>>> (Decimal(7)/2) % (Decimal(1)/10)
Decimal('0.0')
这不是万能的灵丹妙药——例如,当操作的精确值不能以十进制有限表示时,您仍然必须处理舍入误差——但舍入误差与人类直觉认为有问题的情况更吻合。(还有优势,您可以指定明确的精度、跟踪有效数字等,并且它实际上在从 2.4 到 3.3 的所有 Python 版本中都是相同的,而有关的细节在同一时间更改了两次。只是它并不Decimal
完美,因为那是不可能的。)但是,当您事先知道您的数字都可以以十进制精确表示,并且它们不需要比您配置的精度更多的数字时,它就会起作用。float
`float`
解决方案 2:
取模运算rest
后,除以,结果为。3.5
除以 ,0.1
结果为。但由于浮点数基于 2 的幂,因此数字并不精确,并且会产生舍入误差。35
`0`
如果您需要精确地对十进制数进行除法,请使用十进制模块:
>>> from decimal import Decimal
>>> Decimal('3.5') / Decimal('0.1')
Decimal('35')
>>> Decimal('3.5') % Decimal('0.1')
Decimal('0.0')
当我被批评我的回答具有误导性时,下面是整个故事:
Python 浮点数0.1
略大于十分之一:
>>> '%.50f' % 0.1
'0.10000000000000000555111512312578270211815834045410'
如果将浮点数3.5
除以该数字,则会得到剩余的几乎0.1
。
让我们从数字开始0.11
,并继续在两个数字之间添加零,1
以使其更小但同时保持大于0.1
。
>>> '%.10f' % (3.5 % 0.101)
'0.0660000000'
>>> '%.10f' % (3.5 % 0.1001)
'0.0966000000'
>>> '%.10f' % (3.5 % 0.10001)
'0.0996600000'
>>> '%.10f' % (3.5 % 0.100001)
'0.0999660000'
>>> '%.10f' % (3.5 % 0.1000001)
'0.0999966000'
>>> '%.10f' % (3.5 % 0.10000001)
'0.0999996600'
>>> '%.10f' % (3.5 % 0.100000001)
'0.0999999660'
>>> '%.10f' % (3.5 % 0.1000000001)
'0.0999999966'
>>> '%.10f' % (3.5 % 0.10000000001)
'0.0999999997'
>>> '%.10f' % (3.5 % 0.100000000001)
'0.1000000000'
最后一行给人的印象是我们终于达到了目的,0.1
但改变格式字符串却揭示了真正的本质:
>>> '%.20f' % (3.5 % 0.100000000001)
'0.09999999996600009156'
python 默认的浮点格式根本无法显示足够的精度,因此和3.5 % 0.1 = 0.1
。3.5 % 0.1 = 35.0
它确实是3.5 % 0.100000... = 0.999999...
和3.5 / 0.100000... = 34.999999....
。在除法的情况下,您甚至会得到精确的结果,因为34.9999...
它最终四舍五入为35.0
。
有趣的事实:如果你使用一个略小于的数字0.1
并执行相同的操作,你最终会得到一个略大于的数字0
:
>>> 1.0 - 0.9
0.09999999999999998
>>> 35.0 % (1.0 - 0.9)
7.771561172376096e-15
>>> '%.20f' % (35.0 % (1.0 - 0.9))
'0.00000000000000777156'
使用 C++ 你甚至可以证明3.5
除以浮点数0.1
并不是35
一个很小的数字。
#include <iostream>
#include <iomanip>
int main(int argc, char *argv[]) {
// double/float, rounding errors do not cancel out
std::cout << "double/float: " << std::setprecision(20) << 3.5 / 0.1f << std::endl;
// double/double, rounding errors cancel out
std::cout << "double/double: " << std::setprecision(20) << 3.5 / 0.1 << std::endl;
return 0;
}
在 Python 中,3.5 / 0.1
会给出 的精确结果,35
因为舍入误差相互抵消。它确实是3.5 / 0.100000... = 34.9999999...
。并且34.9999...
最终非常长,因此您最终得到的正好是35
。C++ 程序很好地展示了这一点,因为您可以混合使用 double 和 float 并使用浮点数的精度。
解决方案 3:
这与浮点运算的不精确性有关。3.5 % 0.1
我明白了0.099999999999999811
,所以 Python 认为 0.1 最多能被 3.5 整除 34 次,剩下 0.0999999999999999811。我不确定到底用什么算法来实现这个结果,但这就是要点。