类模板参数推导成员变量

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. 据推测，出于同样的原因，我们不会从默认成员初始化器中推导出任何内容：它们并不总是被使用 - 构造函数可以通过显式指定不同的初始化程序来覆盖它们。