Вызов шаблона функции: вывод типа и пустой список инициализаторов, заключенный в фигурные скобки ⇐ C++

[Anonymous]

Рассмотрим следующие вызовы шаблонов функций:

Код: Выделить всё

#include 

template 
void f(std::optional);

int main() {
f(1);  // (1)
f({}); // (2)
}

Первый вызов (1) не компилируется: выведение типа должно произойти до того, как может произойти какое-либо преобразование типов аргументов, но T не может быть выведено в этом случае контекст.
Однако (2) компилируется, и используется аргумент шаблона по умолчанию. Почему?

Подробнее здесь: https://stackoverflow.com/questions/793 ... lizer-list