Параметры шаблона вариального шаблона в контексте не подведенного шаблона функции [дубликат] ⇐ C++

[Anonymous]

Вопрос для C ++ (начиная с C ++ 11) Адвокаты языка. < /p>
Учитывая следующую тривиальную функцию шаблона с пакетом параметров шаблона с целочисленными значениями < /p>

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

template 
void foo (T)
{ std::cout 
Вопрос возникает из того факта, что в стандарте C ++ 11 я обнаружил (14.8.2.1, выводя аргументы из функционального вызова, точка 5) Следующая нота < /p>

[Примечание: если параметры, используемый только в каких-либо функциях
parameters, не используется в функциях
paraters parameters. Контекст, не связанный с ними, его соответствующий шаблон-аргумент не может быть выведен из вызова
, и должен быть явно указан шаблон-аргумент. />foo(0);

Это явно указывают как 0, 1, 2 должны быть правильными.
Но

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

foo(0);

можно рассматривать как вызов, который явно указывает как пустой пакет?
А как насчет

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

 foo(0);
< /code>
? Это включает в себя пакет параметров   и ответ, связанный с тем фактом, что пакет является  Training . С редактированием IS ... 

больше не может рассматриваться как след.

Подробнее здесь: https://stackoverflow.com/questions/797 ... n-template