如何判断数值是否在单精度或双精度浮点数的存储范围内？

我正在实现自定义数据库格式，当前在辅助函数num2bin(n)中使用如下代码：

import struct, warnings

def num2bin(n:int|float) -> bytes:
    match type(n).__name__:
        case 'int':
            ... # Excluded because unimportant to this question 
        case 'float':
            try:
                return struct.pack('>f', n)
            except struct.error:
                try:
                    return struct.pack('>d', n)
                except struct.error:
                    warnings.warn(f"num2bin(n): Failed to store {n} as float or double")
                    return b''
        case other:
            warnings.warn(f"num2bin(n): 'n' is of type '{other}' (must be 'int' or 'float')")
            return b''

当前我通过try-except捕获错误的方式，尝试将float类型数值先按单精度浮点数（>f）打包，失败则尝试双精度浮点数（>d）。请问是否存在更优、更优雅的方法来判断一个数值能否被存储为单精度浮点数（float）或双精度浮点数（double），而非仅依赖尝试捕获错误？

当然有更直接的判断方式，核心是利用浮点数的固定精度范围与值的可表示性来提前验证：

1. 单精度浮点数的可存储性判断 #

单精度浮点数的取值范围和精确表示能力是固定的，可通过两个维度验证：

• 数值是否在单精度的合法取值区间内：sys.float_info.min（约-3.4e38）到sys.float_info.max（约3.4e38）
• 数值转成单精度后再转回原类型，是否与原数值完全相等（避免精度损失导致的存储偏差，若业务允许精度损失可跳过此步）

示例判断函数：

import sys
import struct

def can_pack_as_single(n: float) -> bool:
    # 先判断取值范围是否符合单精度要求
    if not (sys.float_info.min <= n <= sys.float_info.max):
        return False
    # 验证精度是否可无损存储
    try:
        packed = struct.pack('>f', n)
        unpacked = struct.unpack('>f', packed)[0]
        return unpacked == n
    except struct.error:
        return False

2. 重构原函数逻辑 #

结合上述判断函数，可重构num2bin，避免嵌套try-except的冗余结构：

import struct, warnings, sys

def can_pack_as_single(n: float) -> bool:
    if not (sys.float_info.min <= n <= sys.float_info.max):
        return False
    try:
        return struct.unpack('>f', struct.pack('>f', n))[0] == n
    except struct.error:
        return False

def num2bin(n:int|float) -> bytes:
    match type(n).__name__:
        case 'int':
            ... # 保留原逻辑
        case 'float':
            if can_pack_as_single(n):
                return struct.pack('>f', n)
            else:
                try:
                    return struct.pack('>d', n)
                except struct.error:
                    warnings.warn(f"num2bin(n): Failed to store {n} as float or double")
                    return b''
        case other:
            warnings.warn(f"num2bin(n): 'n' is of type '{other}' (must be 'int' or 'float')")
            return b''

补充说明 #

• 双精度的判断：Python原生float本身就是双精度类型，只要是合法的Python float（非非法特殊值如未定义的NaN变体），几乎都能被struct.pack('>d', n)成功打包。若需排除inf或nan，可额外用math.isfinite(n)验证。
• 精度验证的取舍：如果业务场景允许一定精度损失，可仅保留取值范围判断，进一步简化逻辑。

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