Python中最大的非整数float值是什么？如何跨实现计算？

原理 #

浮点数的精度由尾数的二进制位数决定。当数值增大到某个临界点时，相邻两个可表示的浮点数间隔变为1，此时所有能表示的浮点数都是整数。这个临界点是2^(尾数位数)（这里的尾数位数包含浮点数格式中隐含的最高位1，对应Python的sys.float_info.mant_dig）。

在临界点之前的区间[2^(尾数位数-1), 2^(尾数位数))内，相邻浮点数的间隔是1，因此该区间内所有可表示的浮点数都是整数。而在[2^(尾数位数-2), 2^(尾数位数-1))区间，相邻浮点数间隔为0.5，能表示x.5形式的非整数，这个区间的最大值就是我们要找的目标值。

跨Python实现的计算方法 #

利用sys.float_info获取浮点数的尾数位数，即可计算出目标值：

import sys

def get_max_non_integer_float():
    # 计算临界点的一半，即2^(mant_dig -1)
    half_critical = 2 ** (sys.float_info.mant_dig - 1)
    # 减去0.5得到最大的非整数浮点数
    return half_critical - 0.5

# 验证结果
max_non_int = get_max_non_integer_float()
print(f"最大非整数浮点数：{max_non_int}")
print(f"是否为非整数：{not max_non_int.is_integer()}")  # 输出True
print(f"下一个浮点数是否为整数：{(max_non_int + sys.float_info.ulp(max_non_int)).is_integer()}")  # 输出True

说明 #

• sys.float_info.mant_dig：返回浮点数尾数的二进制位数（包含隐含的最高位1），无论Python采用单精度还是双精度浮点数格式，该方法都能适配。
• 计算得到的数值是能被精确表示的最大非整数浮点数，比它大的下一个可表示浮点数就是整数，且所有更大的浮点数也都是整数。

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