在以下代码中:
#include <iostream> int main() { const long l = 4294967296; int i = l; return i; //just to silence the compiler }
编译器警告隐式转换(使用-Wall和-std = c 14)如下:
warning: implicit conversion from 'const long' to 'int' changes value from 4294967296 to 0 [-Wconstant-conversion]
没关系.但是如果转换是从double到int,则没有警告,如下面的代码所示:
#include <iostream> int main() { const double d = 4294967296.0; int i = d; return i; //just to silence the compiler }
为什么编译器在这些情况下会有不同的反应?
注1:clang版本为3.6.2-svn240577-1~exp1
注2:我已经使用Compiler Explorer(gcc.godbolt.org)测试了许多其他版本的gcc,clang和icc.因此,所有测试版本的gcc(除了5.x)和icc都会发出警告.没有clang版本做到了.
解决方法
从double到整数类型的转换会更改“按设计”的值(想想转换为int的3.141592654).
从long int到int的转换可能或者可以工作或者可能是未定义的行为,具体取决于平台和值(唯一的保证是int不大于long int,但它们可能是相同的大小).
换句话说,整数类型之间的转换中的问题是实现的偶然工件,而不是设计决策.关于它们的警告更好,特别是如果在编译时可以检测到由于这些限制而无法正常工作.
另请注意,即使从double到int的转换也是合法且定义良好的(如果在边界内完成),即使在编译时可以看到精度损失,也不需要实现来警告它.编译器即使在使用可能有意义时也会发出太多警告可能是一个问题(你只是禁用警告,甚至更糟糕的是养成接受非正常构建的习惯).
这些隐含的转换规则可能与其他C皱纹相结合,变得真正奇怪且难以证明行为,例如:
std::string s; s = 3.141592654; // No warnings,no errors (last time I checked)
不要试图用C过多的逻辑.阅读规格效果更好.