降级双浮动

Question

当我与OSX 10.8，并且不产生警告克++ 4.2.1编译的Mac 64位机器上下面的代码时不警告。

#include "stdio.h" 

int main() 
{ 
    double d= 3.14159; 
    float res= d; 
    printf("%f\n", res); 
    return 0; 
} 

显然，自动将双精度降为浮点值可能非常危险，但编译器不会生成任何警告。我能找到的唯一解决办法是使用标志-Wshorten 64至32。

在我看来，这样一个明显的错误，我很惊讶，编译器默认情况下不抓住这个错误。有什么理由为什么g ++默认不会捕获这个错误？有没有更好的方式来产生，而无需使用-Wshorten 64至32的警告？

如果你想知道，-Wall不会产生任何警告...

感谢您对您的帮助提前。

Answer 1

的行为根据标准：

4.8浮点转换[conv.double]

浮点类型的prvalue可以被转换成另一种浮点类型的prvalue 。如果 源值可以在目标类型来精确表示，所述转换的结果是，确切 表示。如果源值是两个相邻的目的地值之间，转换 的结果是实现定义的选择的任一那些值的。否则，行为是不确定的。

此外，值浮点类型可以转换为整数类型的值：

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

浮点类型的prvalue可以转换为整数类型的prvalue。转换截断; 即小数部分被丢弃。如果截断的值不能是目标类型中表示的 ，则行为未定义。