类模板参数推导成员变量

Question

在C++ 17 Foo中,由于类模板参数推导,我可以在以下示例中使用而不使用空模板参数括号:

template<typename T = int>
struct Foo{};

int main(){
    Foo f;    // before C++17 you had to write "Foo<> f;"
}

为什么我不允许对类成员使用相同的语法？

template<typename T = int>
struct Foo{};

struct Foo2{
    Foo f{};  ///< error: invalid use of template-name 'Foo' without an argument list
};

int main(){
    Foo2 f2;
}

Answer 1

1. 没有人,IIRC,提出它.
2. 据推测,出于同样的原因,我们不会从默认成员初始化器中推导出任何内容:它们并不总是被使用 - 构造函数可以通过显式指定不同的初始化程序来覆盖它们.