为何C++花括号初始化时double转float未触发缩窄转换错误？

结论 #

这是C++标准规则允许的实现自由度 + GCC默认诊断策略共同导致的结果，不是GCC独有的异常行为。

核心原理说明 #

1. C++标准对缩窄转换的分类要求 #

C++标准在列表初始化（花括号初始化）的规则中，只对部分缩窄转换强制要求编译器抛出编译错误：

• 浮点数类型转整数类型时，只要源值不是整数、或者超出整数类型可表示范围，属于强制要求诊断的缩窄转换，这就是你测试int narrow{1.7}会直接报错的原因。
• 高精度浮点数转低精度浮点数（比如double转float）时，只有源常量表达式的值超出了目标类型的可表示范围时，才属于强制要求诊断的缩窄转换。如果值在目标类型范围内，只是存在精度损失，标准没有强制要求编译器报错，允许实现自行决定诊断等级。

你测试的1.7（以及等价的1.699999999999999956）都在float的可表示范围内（float的数值范围约为±1.17549e-38 ~ ±3.40282e+38），因此标准不强制要求编译器报错。

2. GCC的默认诊断策略 #

GCC默认没有开启这类精度损失类转换的告警，你需要手动添加编译参数触发诊断：

• 添加-Wnarrowing参数，会明确列出列表初始化中的缩窄转换警告
• 添加-Wconversion参数，会覆盖所有隐式类型转换的精度损失警告
• 额外添加-Werror参数会把所有警告升级为编译错误，就能符合你预期的"缩窄就报错"的效果。

验证示例 #

你可以用以下编译指令测试你的代码：

g++ test.cpp -Wnarrowing

编译后会收到类似提示：

warning: narrowing conversion of '1.7e+0' from 'double' to 'float' [-Wnarrowing]
    2 |     float narrow{1.7};
      |                     ^

内容的提问来源于stack exchange，提问作者JMA