C++指定初始化场景下模板实参推导的编译器行为正确性判定

问题复现 #

如下代码通过两种指定初始化形式，尝试对模板类A<T>执行类模板实参推导（CTAD）完成初始化：

template<typename T>
struct A { T t; };

int main() {
   A a{.t=1};   // #1: GCC与MSVC均编译通过
   A b{.t={1}}; // #2: 仅MSVC编译通过
}

GCC编译#2时会抛出如下错误：

error: class template argument deduction failed:
error: no matching function for call to 'A(<brace-enclosed initializer list>)'

标准规则说明 #

1. 聚合类的隐式CTAD推导规则 #

对于无用户自定义构造函数的聚合类A<T>，编译器会自动生成隐式推导指引，形式等价于：

template<typename T> A(T) -> A<T>;

推导的核心依据是初始化列表中传入的实参类型。

2. 花括号初始化列表的推导限制 #

C++标准明确规定：如果模板推导的实参是无类型的花括号初始化列表（braced-init-list），那么该实参属于非推导上下文，无法用于模板参数推导，除非形参类型明确为std::initializer_list<U>或者数组类型。

两种写法的兼容性判定 #

• 对#1写法A a{.t=1}：初始化子句1是明确的int类型，可直接推导T=int，符合标准要求，两款编译器行为均正确。
• 对#2写法A b{.t={1}}：初始化子句{1}是无类型的花括号初始化列表，而隐式推导指引的形参为泛型T，既不是std::initializer_list也不是数组，因此无法完成模板参数推导，GCC的报错行为符合C++标准规定，MSVC属于非标准扩展实现。

如果需要让#2写法符合标准，可以显式指定模板参数：A<int> b{.t={1}}，此时不需要执行CTAD，花括号初始化列表可以正常完成int类型的聚合初始化。

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