忽略 C++0x 中的缩小转换会产生什么后果

Question

自从在 g++ 中切换 C++0x 标准以来，我开始看到“缩小转换”错误，特别是在从“int”转换为“short”时，尽管我知道该错误涵盖了更广泛的 转化。

任何人都可以阐明引入这种额外安全级别的理由吗？禁用此错误可能会产生什么后果？ （除了潜在的精度损失）。

谢谢。

Answer 1

来自赋值和复合赋值运算符[expr.ass]

的
x={v} 的含义（其中 T 是表达式 x 的标量类型）是 x=T(v) 的含义，除了没有
允许缩小转换（8.5.4）。

以及来自列表初始化[dcl.ini.list]

如果需要缩小转换（见下文）来转换任何参数，则程序格式错误。

所以基本上你不能忽略它，你的程序在存在缩小转换的情况下格式不正确。

来自实施合规性：

需要实施来诊断以下程序
使用根据本国际标准格式不正确的扩展。然而，这样做之后，他们就可以编译并执行此类程序。

Bjarne Stroustroup 说这个：

防止缩小

问题：C 和 C++ 隐式截断：

   int x = 7.3;        // Ouch!
    void f(int);
    f(7.3);         // Ouch!

但是，在 C++0x 中，{} 初始化不会缩小：

int x0 {7.3};   // error: narrowing
int x1 = {7.3}; // error: narrowing
double d = 7;
int x2{d};      // error: narrowing (double to int)
char x3{7};     // ok: even though 7 is an int, this is not narrowing
vector<int> vi = { 1, 2.3, 4, 5.6 };    // error: double to int narrowing

C++0x 避免大量不兼容性的方法是，在决定什么是收缩转换时，可以（而不仅仅是类型）依赖初始值设定项的实际值（例如上例中的 7）。如果一个值可以精确地表示为目标类型，则转换不会缩小。

char c1{7};      // OK: 7 is an int, but it fits in a char
char c2{77777};  // error: narrowing 

请注意，浮点到整数的转换始终被视为缩小范围 - 甚至 7.0 到 7。

因此在某种程度上，缩小也提高了类型安全性。