`class function<_Res(_ArgTypes...)>` 是什么意思？

Question

gcc中std::function的代码有这两行：

template<typename _Res, typename... _ArgTypes>
  class function<_Res(_ArgTypes...)> // <-- unclear to me

第一部分template... _ArgTypes表示“参数包”，即模板参数的可变数量；这很清楚。但第二行很神奇。 好的，写class function<SmthHere> 表示模板特化，所以我们将function 类特化为_Res(_ArgTypes...)。后者看起来像一个带有可变数量参数的函数调用。但是，如果_Res 是void 并且_ArgTypes 是int，我们会得到void(int)：这对我来说没有意义，因为我们不能有一个名为void 的函数并传递一个参数@987654334 @给它（？？）。这是特别支持的语法吗？你能澄清一下吗？

Answer 1

我认为您对声明语法（继承自 C 语言）感到困惑：这里，语法 void(int) 确实 不是 表示名为 void 的函数并采用名为int 正在被调用。相反，它表示一个type，它是一个函数，接受int 类型的参数并返回void。

您可以在C++ Reference 阅读更多关于函数声明语法的信息，也有一些示例。