c++ - 为什么类成员的类型推导失败？

Question

假设我们有这个小代码:

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

int main() {
    Test t = 1;
}

这段代码很容易用 [T=int] 编译对于 Test类(class)。现在，如果我编写这样的代码:

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;作为类(class)成员去工作。知道为什么会这样吗？

Answer 1

原因

struct S {
    Test t = 1;
};

不起作用是因为您实际上并未执行 Test t = 1;。类内初始化器只是一种方便的方式，可以告诉编译器在未提供值时用什么值初始化 t。 “实际”生成的是

struct S {
    S() : t(1) {} // created by the compiler
    Test t;
};

在这里你可以更容易地看到 t 在你调用构造函数之前没有用初始化器指定。