-inf的真实本质是什么？是否等同于32位可存储的最小数值？

首先直接给出结论：-inf是IEEE 754浮点数标准定义的特殊符号值，代表数学概念上的负无穷，绝非32位环境下可存储的最小数值。

• 它和常规有限数值的核心差异：
  不管是32位单精度浮点数、64位双精度浮点数，能存储的最小有限负数都有明确边界：32位单精度浮点数的最小有限负数约为-3.4e38，64位双精度浮点数的最小有限负数约为-1.8e308。而-inf在浮点数比较规则中，小于任意有限浮点数，不存在“比-inf更小的可存储浮点数”的说法。
• Python中math.inf的实现本质：
  你代码里从math模块导入的inf，是对底层遵循IEEE 754标准的浮点数特殊值的封装，和运行环境是32位还是64位没有绑定关系，只要运行环境的浮点数实现遵循IEEE 754标准，就存在-inf这个特殊值。它有独立的二进制编码，不属于常规数值的编码区间。
• 常见触发-inf的场景：
  • 负数除以浮点正零，比如执行-1 / 0.0会直接得到-inf，不会抛出除零错误
  • 浮点数运算结果超出当前浮点数类型可表示的有限值下界，比如双精度浮点数运算得到比-1.8e308更小的结果时，就会被标记为-inf
  • 主动构造，比如执行float('-inf')、-math.inf都可以得到这个值
• 验证参考代码：

from math import inf

# 验证-inf比所有位宽的最小有限浮点数更小
print(-inf < -3.4028235e38)  # 输出: True
print(-inf < -1.7976931348623157e308) # 输出: True
# 验证-inf符合负无穷的基础运算性质
print(-inf * -1 == inf) # 输出: True

注意：Python的整数是任意精度实现，不存在溢出问题，因此整数运算永远不会得到-inf，只有浮点数运算会出现这个特殊值。

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