c - 从 double 到 float 的转换是否总是潜在地调用未定义的行为？

Question

这是 C99 标准的相关部分(6.3.1.5.2 真正的 float 类型):

When a double is demoted to float, a long double is demoted to double orfloat, or a value being represented in greater precision and range than required by itssemantic type (see 6.3.1.8) is explicitly converted (including to its own type), if the valuebeing converted can be represented exactly in the new type, it is unchanged. If the valuebeing converted is in the range of values that can be represented but cannot berepresented exactly, the result is either the nearest higher or nearest lower representablevalue, chosen in an implementation-defined manner. If the value being converted isoutside the range of values that can be represented, the behavior is undefined.

为了避免未定义的行为，每次我想将 double 转换为 float 时，我都必须手动检查 double 的值是否可以在 float 范围内表示，正确吗？

Answer 1

简短回答:是的。

如果您正在将 double 转换为 float，并且您不知道这些值可能是什么，那么对于明确定义的行为，您需要检查范围首先处理每个值，如果值太大而不适合 float 类型，则采取适当的措施。

即使溢出情况下的结果不是未定义的，你也想这样做，因为无论溢出结果是什么，它都不一定是你想要的。 (根据应用程序，您可能希望向用户/调用者报告错误。)