C++中同类型窄化转换为何一行编译正常一行报错？

两段代码看似操作相同，但本质是初始化方式不同，C++对不同初始化场景的窄化转换规则严格程度有明确区别：

1. 第一段代码：赋值初始化 #

int works_fine = nums.end() - nums.begin();

这里是标准的赋值初始化逻辑，C++允许这种隐式窄化转换——只要编译器能完成类型转换（哪怕可能丢失精度），只会在开启对应编译选项时发出警告，但不会阻断编译。nums.end() - nums.begin()的返回值是difference_type（通常是long long类型），赋值给int属于窄化转换，但这种场景下编译器默认放行。

2. 第二段代码：列表初始化 #

return std::vector<int>({ nums.end() - nums.begin() });

这里使用了花括号列表初始化，C++标准明确规定：列表初始化中禁止隐式窄化转换。哪怕转换在数值上是安全的，编译器也会触发错误级别的警告（或直接编译失败），这是因为列表初始化的设计目标之一就是避免意外的精度丢失。

你收到的警告翻译为：

警告：将 '__gnu_cxx::operator-<int*, std::vector >((& nums)->std::vector::end(), (& nums)->std::vector::begin())' 的结果从 '__gnu_cxx::__normal_iterator<int*, std::vector >::difference_type'（即 'long long int'）窄化转换为 'int' [-Wnarrowing]

如果开启了-Werror编译选项，这个警告会直接转为编译错误。

核心总结 #

• 赋值初始化允许隐式窄化转换（仅警告，不阻止编译）
• 列表初始化严格禁止隐式窄化转换（触发错误级警告或编译失败）

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