C++标准对于在目标类型范围之外的类型的转换结果的结果有何评价？

Question

最近我不得不执行一些数据类型转换,从float16位整数.基本上我的代码简化为以下内容

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

// si_val is now -32768

这个输入值是一个问题,在我的代码中,我忽略了检查浮点值的限制,所以我可以看到我的错,但它让我想知道语言的确切规则,当一个人必须做这种笨拙的演员.我有点惊讶地发现演员的价值是-32768.此外,只要float的值超过16位整数的限制,这就是我得到的值.我用谷歌搜索了这个,但发现了一个令人惊讶的缺乏关于它的详细信息.我能找到的最好的是来自cplusplus.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位范围的值)时,我看到结果清楚地表明整数溢出.虽然我对此并不感到惊讶,但由于与float类型的演员表不一致而增加了我的困惑.

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

Answer 1

你对自己读到的内容提出质疑是正确的.转换没有明确的行为,这与您在问题中引用的内容相矛盾.

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

1浮点类型的prvalue可以转换为整数类型的prvalue.转换截断; 也就是说,丢弃小数部分.如果截断的值无法在目标类型中表示,则行为未定义.[ 注意:如果目的地类型是bool,请参见4.12.- 结束说明 ]

您可能获得的一个可能有用的允许结果是崩溃.