Python中str(float(val)) == val不成立的条件及理论边界探究

结论：断言并非总能成立 #

Python里的float类型基于IEEE 754双精度标准，其存储和字符串转换的特性决定了str(float(val)) == val不会始终成立，核心原因是浮点数的精度限制和字符串优化输出逻辑。

不成立的条件与理论边界推导 #

1. 有效数字位数超过双精度浮点数的精度上限

IEEE 754双精度浮点数的尾数部分有53位有效二进制位，换算成十进制约为15-17位有效数字：

• 当字符串val的有效十进制数字超过17位时，float(val)无法精确存储原数值，会被舍入到最接近的可表示浮点数。此时str(float(val))输出的是舍入后数值的字符串，必然与原val不等。
• 示例：val = '0.1231412314124124124124124124'，其有效数字远超17位，转float后被舍入为0.12314123141241241，str输出的就是这个舍入后的值，与原字符串不等。

2. 原字符串并非对应浮点数的最短十进制表示

Python的str(float(x))会输出能还原回该浮点数的最短十进制字符串，而非严格保留输入的格式：

• 如果val是某个浮点数的冗余表示（比如末尾带多余的零，或数值上等价于更短的十进制数），str(float(val))会输出更短的标准形式，导致与原val不等。
• 示例：若val = '0.100000000000000'，float(val)实际等于0.1，str输出为'0.1'，与原字符串不等；再比如val = '0.10000000000000001'，该值对应的浮点数与0.1完全相同，str输出同样是'0.1'。

总结 #

当满足以下任一条件时，str(float(val)) == val不成立：

• val的有效十进制数字位数超过17位；
• val不是其对应浮点数的最短十进制表示形式。

内容的提问来源于stack exchange，提问作者zyxue