类模板实参推导(CTAD)中标量初始化器带大括号的语法正确性探讨

我定义了一个包含双元素数组的聚合类模板：

template<typename T>
struct A { T t[2]; };

希望通过第二个元素的类型，利用类模板实参推导（CTAD）初始化对象，第一个参数用无类型的大括号初始化列表：

constexpr A a{ { {1}, 2.5 } };
static_assert( a.t[0] == 1. && a.t[1] == 2.5 );

这段代码的编译器表现如下：

• GCC、Clang、EDG可编译通过，但Clang和EDG会输出警告：

  warning: braces around scalar initializer [-Wbraced-scalar-init]
  warning: extra braces are nonstandard
  

• 若移除1周围的大括号，所有编译器都会编译失败。
• 仅MSVC拒绝编译并报错：

  <source>(5): error C2641: cannot deduce template arguments for 'A'
  <source>(5): note: 'A<double> A<double>(const double (&)[2])': cannot convert argument 1 from 'initializer list' to 'const double (&)[2]'
  ...
  

如果改用圆括号初始化：

constexpr A b( { {1}, 2.5 } );

仅GCC会输出错误：

<source>:9:29: error: class template argument deduction failed:
<source>:9:29: error: no matching function for call to 'A(<brace-enclosed initializer list>)'
<source>:9:29: note: there are 3 candidates
...
<source>:2:8: note: candidate 3: 'A(T [2]) -> A<T> [with T = double]'
<source>:2:8: note: no known conversion for argument 1 from '<brace-enclosed initializer list>' to 'double*

请问哪个编译器的实现符合C++标准？

结合C++标准的核心规则，对各编译器行为的合规性判断如下：

关键标准规则 #

1. 聚合类的CTAD推导：聚合类模板会自动生成匹配聚合初始化方式的推导指引，编译器可通过初始化列表中的元素类型推导模板参数T。
2. 冗余括号的合法性：C++标准允许聚合初始化中使用冗余嵌套括号，用于匹配嵌套的聚合结构（比如数组作为聚合成员的场景），{{{1}, 2.5}}的写法完全合法——最外层初始化A对象，第二层初始化数组t，第三层初始化数组第一个标量元素。
3. 类型转换与推导逻辑：初始化列表中的2.5是double类型，编译器应推导T为double，再将{1}隐式转换为double（1转为1.0）完成初始化。

各编译器行为判定 #

• GCC、Clang、EDG：编译通过的行为符合标准。Clang和EDG的警告属于风格类提示，标准并未禁止冗余括号写法，仅提示编码风格问题，不代表代码非法。
• MSVC：拒绝编译的行为不符合标准。它错误地认为初始化列表无法转换为数组引用，忽略了CTAD中聚合初始化的推导规则，以及冗余括号的合法性。
• GCC对圆括号初始化的报错：属于实现缺陷。C++20允许聚合类使用圆括号初始化，GCC此处的错误提示不符合标准规则。

总结：GCC、Clang、EDG的编译通过行为符合C++标准，MSVC的拒绝编译和GCC对圆括号初始化的报错属于实现问题。

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