预先定义可变参数函数指针参数

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.
}

这不会编译。错误（使用c++1z通过clang）是：

/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 复制的以下文本有关，该文本本身取自 14.5.7 [temp.alias] 第 2 段中的 C++ 标准：

当模板ID 指代一个别名模板的特化时， 它等效于通过替换获得的关联类型 它的模板参数在 type-id 中的模板参数 别名模板。 [ 注意：永远不会推断出别名模板名称。 — 尾注]

如果我的解释是正确的，这意味着接受代码的 GCC 实际上是不合格的。