使用带列表初始化的指定初始化器时类模板实参推导失败原因排查

当初始化结构体模板实例时，GCC和Clang编译器在结合指定初始化器（designated initializers）与列表初始化语法时会报错，具体代码及报错信息如下：

代码示例 #

template <class T>
struct Foo
{
    const T value;
};

int main( )
{
    Foo foo { .value = 5 };        // 编译通过
    // Foo foo { .value = { 5 } }; // 编译失败
    // Foo foo { .value { 5 } };   // 编译失败
}

报错信息 #

<source>: In function 'int main()':
<source>:11:30: error: class template argument deduction failed:
   11 |     Foo foo { .value = { 5 } };
      |    

问题成因 #

这个问题的核心在于**类模板参数推导（CTAD）**的规则限制：

• 当使用Foo foo { .value = 5 };时，编译器能直接从标量值5推导出模板参数T为int，这种直接的标量初始化符合CTAD对聚合类型的推导逻辑。
• 但写成.value = {5}或.value {5}的列表初始化形式时，{5}是一个无明确类型的初始化列表，CTAD无法将其与结构体成员const T value的类型建立关联，进而无法完成模板参数推导，最终触发编译错误。

列表初始化的可用性 #

在明确指定模板参数的前提下，指定初始化器结合列表初始化是完全合法的，比如：

Foo<int> foo { .value = {5} }; // 编译通过
Foo<int> foo { .value {5} };   // 编译通过

本质上不是列表初始化被禁止，而是CTAD机制无法处理带指定初始化器的列表初始化场景下的自动类型推导。

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