floating-point - 浮点 NaN 负载有什么用途？

Question

我知道 IEEE 754 将 NaN 定义为具有以下按位表示:

符号位可以是 0或 1

指数字段包含所有 1位

尾数的一些位用于指定它是安静的 NaN 还是信号 NaN

尾数不能全部0位，因为该位模式保留用于表示无穷大

尾数的其余位形成有效载荷

当计算的输入是 NaN 时，有效载荷被传播(就像整个 NaN 一样)到浮点计算的结果，尽管我不知道这种传播的细节或标准是否指定了这是如何完成的.谁设置原始有效载荷？如果我添加两个具有不同负载的 NaN 会发生什么？

但最重要的是:我以前从未见过使用 NaN 有效载荷。这个有效载荷字段有什么用途？

Answer 1

在开发 IEEE754 和 NaN 时，人们认为这是一个好主意。我实际上已经看到它用于存储创建 NaN 的原因。
今天，出于多种原因，我不会在可移植代码中使用它。你有多确定这个有效载荷会在任务中存活下来？如果您指定 x = y，您如何确定 x 与 y 具有相同的 NaN 有效负载？你有多确定它会在算术中幸存下来？如果 a 或 b 是 NaN，则 a op b 应该是一个 NaN，或者如果它们都是 NaN，则应该是两个 NaN 之一。确定是这样吗？我不会愿意赌它。