将负浮点值转换为无符号整数的行为是什么？ [复制]

Question

如果将负浮点值转换为无符号整数类型的值会怎样？标准报价将不胜感激。我面临的问题是从包含浮点类型对象的变体类转换为无符号整数类型的值。

示例：

unsigned i = -.1;

Answer 1

如果负值是 -1.0 或更低，它会调用未定义的行为，因为整数部分不能用无符号数表示。否则，（如 -0.1 的情况），如果它可以用整数类型表示，则它是明确定义的行为。请参阅 C11 标准、ISO 9899:2011：

6.3.1.4

当实浮点类型的有限值转换为整数时 _Bool 以外的类型，小数部分被丢弃（即， 值被截断为零）。如果积分部分的值 不能用整数类型表示，行为未定义。 61）

然后有一个非规范的脚注解释了上面的文字：

61) 整数类型的值时执行的求余运算 值转换为无符号类型时不需要执行 真正的浮点类型转换为无符号类型。因此，范围 可移植的实浮点值是 (−1, Utype_MAX+1)。

ISO/IEC 9899:1999 (C99) 包含完全相同的文本。

Answer 2

如果浮点数小于或等于 -1.0，则在 C99 中这是未定义的行为。如果在 (-1.0, 0.0) 范围内，则结果值为 0。

来自 C99，§6.3.1.4，第 1 段

当将实数浮点类型的有限值转换为 _Bool 以外的整数类型时，小数部分被丢弃（即，该值被截断为 0）。如果整数部分的值不能用整数类型表示，则行为未定义

脚注 50 阐明了 (-1.0, 0.0) 范围的行为。

Answer 3

您的示例 unsigned i = -.1; 是由 C11 和 C99良好定义，结果是 i == 0。

引自N1570，6.3.1.4 实浮点数和整数：

1. 当实浮点类型的有限值转换为 _Bool 以外的整数类型时，小数部分将被丢弃（即， 该值被截断为零）。如果积分部分的值 不能用整数类型表示，行为是 undefined.61)

_{61) 当一个整数值时执行的求余运算 类型转换为无符号类型时不需要执行值 真正的浮点类型转换为无符号类型。因此，范围 可移植实浮点数为 (-1, Utype_MAX+1)。}

引自N869，6.3.1.4 实浮点数和整数：

#1

当实浮点类型的有限值转换为整数时 _Bool 以外的类型，小数部分被丢弃（即， 值被截断为零）。如果积分部分的值 不能用整数类型表示，行为是 未定义.43)

_{43)当一个整数值时执行的求余运算 类型转换为无符号类型时不需要执行值 真正的浮点类型转换为无符号类型。因此，范围 可移植实浮点数为 (-1, Utype_MAX+1)。}

但是，正如您从引用中看到的那样，尝试转换范围之外的浮点常量 (-1, Utype_MAX+1) 会调用未定义的行为。