为什么非严格浮点模型下__STDC_IEC_559__的值仍为1？

问题解答 #

为什么开启非严格浮点模型后，__STDC_IEC_559__仍为1？ #

C标准中对__STDC_IEC_559__的定义要求存在实现层面的模糊空间，主流x86平台编译器的通用定义逻辑为：只要底层硬件支持IEEE 754（即IEC 60559）浮点存储格式，就会默认将该宏定义为1，不会因为放宽浮点优化的编译选项而修改该宏的取值：

• GCC官方明确说明，该宏仅表征浮点类型的存储格式符合IEC 60559规范，并不保证所有浮点运算、异常处理、动态舍入模式的行为完全符合C标准Annex F的全部要求。你使用的-fno-rounding-math属于快速浮点优化的子集，开启后编译器只会假设代码不依赖动态舍入模式、浮点异常等Annex F特有的特性，不会修改该宏的定义。
• Clang、ICC的实现逻辑与GCC完全一致，该宏仅表征硬件层面的浮点格式兼容性，不表征优化选项下的全标准合规性。

为什么测试代码在相同__STDC_IEC_559__取值下输出不一致？ #

-fno-rounding-math选项的作用是告诉编译器，可以假设程序全程使用默认的向最近偶数舍入模式，不需要考虑代码动态修改舍入模式的操作。因此你调用fesetround(FE_UPWARD)后的除法运算，编译器已经在编译期按默认舍入模式完成了优化，最终输出结果和开启-frounding-math（允许动态修改舍入模式）的结果不同。再加上GCC本身未实现STDC FENV_ACCESSpragma，无法正确感知代码要修改浮点环境的需求，进一步扩大了行为差异。

为什么不符合Annex F规范仍要将__STDC_IEC_559__定义为1？ #

核心原因是工程兼容性优先的设计选择：

• 大量现存工程代码判断__STDC_IEC_559__的唯一目的是确认浮点存储格式是否符合IEEE 754，用于实现浮点数序列化、位操作等逻辑，根本不依赖Annex F规定的动态舍入、浮点异常等特性。如果编译器因开启快速浮点选项就取消该宏的定义，反而会导致大量正常可用的代码编译失败。
• 目前C标准委员会并未对“__STDC_IEC_559__是否需要表征编译选项下的全Annex F合规”给出明确的强制规定，主流编译器厂商统一选择了“仅表征格式兼容”的实现逻辑，牺牲部分标准严谨性来换取实际工程的可用性。

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