c++ - 在 IEEE 浮点实现中，当溢出导致 INF 时，是否将其视为未定义的行为？

Question

这一切都在标题中。例如，如果两个浮点数相加导致 INF，它会产生未定义的行为吗？还是在 IEEE 浮点实现中避免了这种情况？

Answer 1

不，IEEE-754 算法中没有未定义的行为。对于所讨论的示例，结果被定义为无穷大，并且它被定义为设置一个指示发生溢出的标志。

未定义行为的唯一空间是所讨论的平台不遵守 IEEE-754。（C 和 C++不要求浮点运算遵循 IEEE-754）