Вывод аргумента шаблона класса из переменных-членов

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. Предположительно по той же причине, по которой мы ничего не выводим из инициализаторов элементов по умолчанию: они не всегда используются - конструктор может переопределить их, явно указавдругой инициализатор.