C - ceil/float 舍入到 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);

这些值有什么保证吗？如果我有一个格式良好的（不是 NAN 或 INF）将始终是它四舍五入的整数，无论哪种方式。fi

我可以想象这样一种情况：（使用糟糕的规范/实现）您得到的值是略低于真实值的值，而不是略高于/等于，但实际上更接近。然后，当您截断时，它实际上会向下舍入到下一个较低的值。

在我看来，这似乎是不可能的，因为整数可以是 ieee754 浮点数中的精确值，但我不知道是否保证是该标准float