C标准对位于目标类型范围之外的类型的转换值的结果说了什么？

Question

最近，我不得不执行一些从< code>float到16位整数的数据类型转换。本质上，我的代码简化为以下内容

float f_val = 99999.0;
short int si_val = static_cast<short int>(f_val);

// si_val is now -32768

这个输入值是一个问题，在我的代码中，我忽略了检查浮点值的限制，所以我可以看到我的错误，但它让我想知道当一个人必须进行这种笨拙的转换时，语言的确切规则。我有点惊讶地发现cast的值是-32768。此外，每当浮点值超过16位整数的限制时，我都会得到这个值。我曾在谷歌上搜索过这个，但发现令人惊讶的是缺乏关于它的详细信息。我能找到的最好的是cpluplus.com上的以下内容：

从一些较小的整数类型转换为int，或从float转换为double称为提升，并保证在目标类型中产生完全相同的值。算术类型之间的其他转换可能并不总是能够精确表示相同的值：

If the conversion is from a floating-point type to an integer type, the value 
is truncated (the decimal part is removed).
The conversions from/to bool consider false equivalent to zero (for numeric 
types) and to null pointer (for pointer types); and true equivalent to all 
other values.
Otherwise, when the destination type cannot represent the value, the conversion 
is valid between numerical types, but the value is
implementation-specific (and may not be portable).

这个结果是由实现定义的建议并没有让我感到惊讶，但是我听说cplusplus.com并不总是可靠的。

最后，当执行从32位整数到16位整数的相同转换时（同样使用16位范围的值outisde），我看到了清楚指示整数溢出的结果。尽管我对此并不感到惊讶，但由于与＜code＞float＜/code＞类型的转换不一致，这增加了我的困惑。

我无法访问C标准，但这里有很多C人这样做，我想知道标准在这个问题上说了什么？为了完整起见，我使用的是g版本4.6.3。

Answer 1

你有权质疑你读到的东西。转换没有定义的行为，这与您在问题中引用的内容相矛盾。

4.9浮点积分转换[conv.fpint]

1浮点类型的prvalue可以转换为整数类型的prvalue。转换截断；即丢弃小数部分。如果截断的值不能在目标类型中表示，则行为未定义。[注意：如果目标类型是bool，请参阅4.12。--结束说明]

您可能得到的一个潜在有用的许可结果是崩溃。