pre-typedef'ing аргумент переменной-функции-указателя

Question

У меня есть функция foo, которая принимает указатель на переменную функцию как свой аргумент.

Я хотел бы использовать «using» для определения типа аргумента до объявления функции.

template <typename ... vARGS> 
using TFuncType = void(*)(vARGS ... V_args); 

template <typename ... vARGS> 
void foo(TFuncType<vARGS ...> funcptr) {} 

void bar(int i) {} 

int main() { 
    foo(&bar); // This line fails to compile. 
} 

Это не скомпилировано. Ошибка (через clang с использованием C++ 1z):

/make/proj/test/variadic-funcparam-deduce2.cpp:39:5: error: no matching function for call to 'foo' 
foo(&bar); 
^~~ 
/make/proj/test/variadic-funcparam-deduce2.cpp:33:36: note: candidate template ignored: substitution failure [with vARGS = int] 
template <typename ... vARGS> void foo(TFuncType<vARGS ...> funcptr) {} 

Почему ошибка «int» не работает?

Я могу успешно компилируется, если я явно писать тип внутри Foo():

template <typename ... vARGS> 
void foo(void(*funcptr)(vARGS ... V_args)) {} 

Но я не могу получить начальное («использование») версия для работы даже при явном указании параметров шаблона, а также с использованием предварительно отливают TFuncType<int> для аргумента, то есть:

int main() { 
    TF_call<int> fptr = &bar; // This line is OK. 
    foo<int>(fptr); 
} 

кто-нибудь знает, что это здесь?

Есть ли что-то странное в использовании переменных и/или указателей функций typedef'd ("using"), которые мне не хватает?

Answer 1

Я считаю, что это может быть связано со следующим текстом, который я скопировал из this answer, что сам принимает от стандарта C++ в 14.5.7 [temp.alias] пункт 2:

Когда шаблон-идентификатор относится к специализации шаблона псевдонима, эквивалентно ассоциированному типу, полученному путем подстановки его шаблонных аргументов для параметров шаблона в идентификаторе типа шаблона псевдонимов. [Примечание: имя шаблона псевдонима никогда не выводится. - конца примечание]

Если я интерпретация этого права, то это означает, что GCC принимая код фактически несоответствующий.