C++标准int数组初始化列表规则问询及编译器差异问题

问题1：为何可以用初始化列表初始化v1，却无法将初始化列表作为临时对象传递给Test2？ #

• 数组变量的初始化属于聚合初始化，根据C++标准[dcl.init.aggr]条款，聚合类型（包括数组）允许直接用初始化列表完成初始化，比如int v1[] = {1,2,3};会由编译器推导数组大小为3并完成初始化，完全符合标准规则。
• 调用Test2({1,2,3})失败的核心原因是：函数参数声明中的int a[]会被隐式调整为指针类型int*，而初始化列表本身并非指针或数组对象。C++17及以前的标准不允许将初始化列表直接转换为临时数组再退化为指针传递给函数。如果要传递这类初始化列表，要么显式创建临时数组（如Test2((int[]){1,2,3})），要么将函数参数改为std::initializer_list<int>类型。

问题2：当函数参数为int数组的引用时，Clang与GCC为何表现出不同行为？ #

• C17标准的[dcl.init.list]条款规定，初始化列表只能绑定到已知固定大小的数组引用（如int(&)[3]），无法绑定到未知边界的数组引用int(&)[]。GCC严格遵循C17的这一规则，因此会拒绝Test1({1,2,3})的调用。
• Clang在C17模式下做了非标准扩展，允许初始化列表绑定到未知边界的数组引用；而C20中，P0960提案被纳入标准，明确允许初始化列表绑定到未知边界的数组引用，因此Clang在C++20模式下可以正常编译该调用，这是符合新标准的行为。

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