C- ceil/float founding to int保证

Question

我想知道由于浮点不准确而导致这样的代码是否会不正确：

#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），则i始终是圆形的整数，无论​​是哪种方式。

我可以想象一个情况（对于规格/实现不好的情况），您获得的值是低于真实值的值，而不是高于/相等的值，但实际上更接近。然后，当您将其截断时，它实际上将圆形为下一个较低的值。

在我看来，鉴于整数可以是IEEEE754浮点的确切值，但我不知道float是否可以保证是该标准

Answer 1

C标准在指定浮点行为方面是草率的，因此从技术上讲，floff（f）可以产生f或该ceilf的正确地板（f）产生f的正确上限。

尽管如此，我知道没有C的实施方法是错误的。

如果是floorf（一些变量），您有floorf（ somenders ）），有C实现这可能会以不同的方式评估表达，而不会获得相同的结果，就像贯穿了IEEE-754算术一样。

如果C实现定义__ stdc_iec_559 __，则应使用IEEE-754算术评估表达式。

尽管如此，int i =（int）floorf（f）;当然不能保证将i设置为f的地板f的范围不超出int的范围。