为何类成员无法进行模板类型推导？

先看这段能正常编译的代码：

template<typename T>
struct Test {
    Test(T t) : m_t(t) {}
    T m_t;
};

int main() {
    Test t = 1;
}

这里编译器会通过**类模板实参推导（CTAD）**自动推断T=int，所以代码能正常运行。

但如果把Test变量放到结构体里作为成员并使用默认初始化，代码就会编译失败：

template<typename T>
struct Test {
    Test(T t) : m_t(t) {}
    T m_t;
};

struct S {
    Test t = 1;
};

int main() {
    S s;
}

对应的报错信息是：

invalid use of template-name 'Test' without an argument list

必须写成Test<int> t = 1;才能正常编译，原因很直接：

• 类模板实参推导（CTAD）的适用范围不包含结构体非静态成员的默认初始化场景。
• 在main里直接定义Test t = 1;属于「变量定义初始化」，这是CTAD明确支持的场景，编译器会根据右边的初始化值反推模板参数。
• 但在结构体S中声明成员变量时，编译器需要先确定成员的具体类型，此时Test作为未指定参数的模板，编译器不会主动用后面的默认初始化值去推导模板参数——这是C++标准的规则限制，必须显式指定模板参数才能确定成员的类型。

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