is_iec559为真时对C++浮点运算的影响及实现情况问询

1. is_iec559的保证范围 #

• 它不止保证数据存储格式符合IEC 559（即IEEE 754），在C++11及后续标准中，当该值为真时，标准要求基本浮点运算（+-*/、平方根等）的行为需遵循IEC 559的规定，包括：
  • 非零数除以零返回带符号无穷大
  • 0/0返回NaN
  • 运算的舍入模式、异常状态等也需符合标准定义
• 注意：C++03及更早版本对这一点约束较弱，那时is_iec559更多仅保证存储格式，运算行为的未定义情况较多。

2. 主流实现的实际情况 #

• 目前主流实现（GCC、Clang、MSVC）中，默认情况下，当is_iec559为真时，浮点运算都会遵循IEC 559标准。
• 但存在特殊场景：开启某些激进优化标志时，运算行为可能偏离IEC 559，比如：
  • GCC/Clang的-ffast-math：该标志放宽浮点运算严格性，允许编译器忽略IEC 559的部分规则（如跳过NaN/无穷大的特殊处理、修改舍入模式），但此时is_iec559仍会返回true——因为存储格式仍符合标准，只是运算行为被优化策略改变。
  • MSVC的/fp:fast：类似地，该选项以牺牲浮点严格性换取性能，可能导致运算不符合IEC 559，但is_iec559依然为真。

3. 和C语言的差异 #

C语言的附录F明确规定了符合IEC 60559的浮点行为，而C在C11之后才逐步对齐这一约束，早期版本的C++标准在这方面的定义远不如C语言清晰，这也是早期相关讨论中共识不统一的核心原因。

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