为什么编译器允许缩小转换

Question

任何人都可以向我解释一下，如果初始化器可能导致信息丢失，为什么编译器允许初始化内置类型的变量？

例如C ++ Primer，第5版说，如果初始化器可能导致信息丢失，编译器将不会让我们列出内置类型的初始化变量。

但是我的编译器gcc v 4.7.1在以下代码中成功初始化了变量a ：

long double ld = 3.1415926536; 
int a{ld};

只有警告：缩小'ld'从'long double'到'int'的转换{} [-Wararrowing]。

Answer 1

初始化列表的一个功能是不允许缩小转换。 但语言定义不区分警告和错误; 当代码格式错误时，它需要“诊断”，它被定义为来自一组实现定义的消息的任何消息。 警告满足此要求。 这是非标准扩展的机制：发出警告后，编译器可以自由地做任何想做的事情，包括根据特定于实现的规则编译。

Answer 2

您可以设置编译器标志以将所有警告标记为错误。 在这种情况下，只会阻止你这样做。 否则它只会是一个警告。

Answer 3

这个问题最近出现了。 使用gcc-4.7，命令行开关将打开所需的行为：

g++ -Werror=narrowing ...