C++中int转float为何被判定为窄化转换？

问题代码 #

int a=3;
float r{a};
float b=4.0f;
int p{b};

编译器警告 #

warning: narrowing conversion of 'a' from 'int' to 'float' [-Wnarrowing]
     float r{a};
             ^ 
warning: narrowing conversion of 'b' from 'float' to 'int' [-Wnarrowing]
         int p{b};

问题核心 #

为何int转换为float会被判定为窄化转换？这难道不应该是拓宽转换吗？

解答 #

C++标准对列表初始化中的窄化转换判定，不是单纯看类型的内存宽度，而是看转换是否存在丢失信息的可能性：

• 对于int转float：虽然两者内存字节数可能相同（比如都是4字节），但float的有效精度仅约7位十进制数字，而32位int能精确表示的十进制数字可达10位左右。当int的数值超过float的精确表示范围时（比如2^24 + 1这类值），转换后会丢失精度。标准明确规定，这种存在精度丢失风险的转换，在列表初始化中属于窄化转换，哪怕从类型“宽度”看像是拓宽。

• float转int的窄化逻辑很直观：float的小数部分会被截断，若数值超出int的取值范围还会溢出，必然丢失信息，因此属于窄化转换。

列表初始化（{}）的设计目标是严格规避潜在的信息丢失，因此比传统赋值初始化（=）的检查更严格。如果需要绕过该警告，可选择传统赋值方式（float r = a;），或显式强制转换（float r{static_cast<float>(a)};）——但显式转换需自行确认不会出现精度问题。

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