聚合初始化与列表初始化有何区别？为何我的代码触发窄化转换错误？

首先明确两个概念的关系：

• 列表初始化是C++中用花括号{}进行初始化的统称，它包含两种核心场景：对聚合类型的初始化（即聚合初始化），以及调用类构造函数完成的非聚合类型列表初始化。
• 聚合初始化是列表初始化的子集，当被初始化对象是聚合类型时（比如你的结构体A，满足无用户定义构造函数、无继承、无虚函数等条件），用花括号列表完成的初始化就属于聚合初始化。

你之前看到的“聚合初始化允许窄化转换”的说法是错误的。C标准从C11开始就明确规定：所有列表初始化（包括聚合初始化）都禁止窄化转换。

看你的代码示例：

#include <type_traits>

struct A {
    int y;
};

static_assert(std::is_aggregate_v<A>);

int main() {
    A a{10.0};
}

这里A a{10.0}属于聚合初始化，但它本质仍是列表初始化，必须遵守窄化转换禁令。10.0是double类型，转换到int属于标准定义的窄化转换——哪怕数值刚好能被int精确表示，浮点到整数的转换也属于窄化范畴，因此编译器报错是完全符合标准的行为。

补充C++标准中窄化转换的核心定义，包含但不限于：

• 从浮点类型转换到整数类型
• 从范围更大的整数类型转换到更小的整数类型，且值超出目标类型的表示范围
• 从无符号整数类型转换到有符号整数类型，且值超出目标类型的表示范围

仅极少数特殊场景（比如常量表达式转换后值完全匹配且在目标类型范围内，部分编译器放宽检查）可能不报错，但这不属于标准允许的行为，不同编译器处理存在差异。

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