C语言floorf/ceilf浮点转int的精度正确性是否有标准保证

问题场景 #

以下代码是否会因浮点精度误差返回不符合取整规则的错误结果：

#include <math.h>

// other code ...

float f = /* random but not NAN or INF */;

int i = (int)floorf(f);

// OR

int i = (int)ceilf(f);

核心疑问包括：

• 相关取值逻辑是否有明确标准保证
• 当f为合法值（非NAN、非INF）时，是否一定能得到对应取整规则下的正确整数结果
• 若存在实现返回的取整结果比真实值略小，转int截断时是否会得到错误的更小整数
• C标准是否强制float类型遵循IEEE754规范

标准规则与实际行为 #

标准层面的强制约束 #

• C语言标准本身不强制要求浮点实现必须遵循IEEE 754（IEC 60559）规范，但如果实现预定义了__STDC_IEC_559__宏，则必须严格遵守IEEE 754的运算精度要求：
  • floorf(f)必须返回不大于f的最大整数值对应的精确浮点表示
  • ceilf(f)必须返回不小于f的最小整数值对应的精确浮点表示
    符合该规范的实现不会出现「计算结果比真实值略小/略大」的精度偏差，且IEEE 754单精度浮点数可以精确表示所有落在自身表示范围内的整数值。
• 若实现未定义__STDC_IEC_559__宏，C标准仅要求数学函数的返回值在实现定义的精度范围内，不强制要求结果完全精确，确实存在设想的劣质实现返回偏差、导致int截断错误的可能。

确定会出问题的场景 #

不管实现是否符合IEEE 754，以下场景的结果都不可靠：

• 取值溢出：如果f的取整结果超出了int类型的可表示范围（即小于INT_MIN或大于INT_MAX），浮点值转int的行为属于未定义行为，结果完全不可预测。
• 非标准优化：如果编译时开启了快速浮点优化选项（如GCC/Clang的-ffast-math），编译器会主动放宽浮点运算的严格语义保证，可能出现不符合标准取整规则的结果。

通用场景下的可靠性 #

当前所有主流通用平台（桌面、服务器、移动端）的C编译器（GCC、Clang、MSVC、ARM标准编译器等）在默认编译配置下，均会定义__STDC_IEC_559__宏，floorf、ceilf要么直接映射为硬件原生的IEEE 754取整指令，要么通过精确的软件实现保证结果无误差。只要输入f的取整结果落在int可表示范围内，就一定能得到正确结果，不需要额外担心截断错误。

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