Решение о том, что означает строчка 2, принимается еще на этапе синтаксического анализа, еще при парсинге определения шаблона, еще до того, как будут рассматриваться какие-то специализации шаблона и переданные вами шаблонные аргументы.
Парсер языка видит в строчке 2
ReturnType bar(args...);
А args...
- это pack expansion, примененный к function parameter pack. Этот вариант ни в коем случае не является объявлением функции уже на синтаксическом уровне: в грамматике языка С++ нет правил вывода, который бы приводили к тому, чтобы список параметров функции состоял из function parameter pack expansion. Template parameter pack expansion - разрешается, function parameter pack expansion - не разрешается.
Вот и все. Решение о том, что второе объявление НЕ является объявлением функции было принято сразу и зафиксировано еще до того, как шаблон начал специализироваться. Поэтому не имеет никакого значения, сколько аргументов и какие аргументы вы передаете в шаблон declare_and_call
.
Обратите внимание, кстати, что именно за счет этого parameter packs дают нам возможность сделать то, что раньше было невозможным - использовать инициализатор ()
в объявлении объекта, не боясь при этом получить объявление функции
template <typename... T>
void foo(T... t)
{
int i(t...);
// Если расширение пусто, то переменная `i` получает значение `0`
}