c++ - g++ std::is_function 实现:_ArgTypes 后跟 6 个句点是什么意思？

Question

我正在查看我的 header (g++-4.5.2) 中一些模板的实现，我发现了以下内容:

/// is_function
template<typename>
  struct is_function
  : public false_type { };
template<typename _Res, typename... _ArgTypes>
  struct is_function<_Res(_ArgTypes...)>
  : public true_type { };
template<typename _Res, typename... _ArgTypes>
  struct is_function<_Res(_ArgTypes......)>
  : public true_type { };

前两个声明似乎是合理的，但我不知道第三个是如何工作的。什么是......？我在标准中寻找它，但找不到任何东西。

Answer 1

这等同于:

_Res(_ArgTypes..., ...)

省略号参数前的逗号是可选的。