为何仅用列表初始化时需执行int到unsigned int的窄化转换？

测试代码 #

typedef struct VkExtent2D {
    uint32_t    width;
    uint32_t    height;
} VkExtent2D;

int main()
{
    int a = 3;
    VkExtent2D{ a, a }; // 报错：invalid narrowing conversion from int to unsigned int 
    VkExtent2D( a, a ); // 正常编译 
}

核心原因 #

• 列表初始化（花括号）的严格校验：C++标准明确规定，列表初始化会禁止所有可能引发窄化的隐式转换。即便int类型的3在uint32_t的取值范围内，只要是有符号类型转无符号类型，就属于标准定义的窄化转换范畴（存在负数转无符号溢出的潜在风险），因此编译器会直接报错。
• 圆括号初始化的宽松兼容：对于VkExtent2D这种无用户自定义构造函数的聚合类型，圆括号初始化本质是C语言风格的隐式转换赋值。这种场景下，编译器仅检查数值是否在目标类型的有效范围内，只要符合就允许转换，因此a=3的正整数可以正常转成uint32_t，编译通过。

简言之，花括号初始化是C++为规避意外类型转换风险设计的严格模式，圆括号初始化则保留了传统C风格的隐式转换兼容性。

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