類模板參數推導成員變量

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. 據推測，出於同樣的原因，我們不會從默認成員初始化器中推導出任何內容：它們並不總是被使用 - 構造函數可以通過顯式指定不同的初始化程序來覆蓋它們。