“……”标记的含义是什么？即参数包上的双省略号运算符

浏览gcc当前对新C ++ 11标头的实现时，我偶然发现了“ ......”标记。您可以[通过ideone.com] 检查以下代码是否可以正常编译。

template <typename T>
struct X
{ /* ... */ };

template <typename T, typename ... U>
struct X<T(U......)> // this line is the important one
{ /* ... */ };

那么，该令牌的含义是什么？

编辑：看起来像这样将标题中的“ ......”修饰为“ ...”，我的意思是“ ......”。:)

该奇数的每个实例都与一个规则的单个省略号配对。

  template<typename _Res, typename... _ArgTypes>
    struct _Weak_result_type_impl<_Res(_ArgTypes...)>
    { typedef _Res result_type; };

  template<typename _Res, typename... _ArgTypes>
    struct _Weak_result_type_impl<_Res(_ArgTypes......)>
    { typedef _Res result_type; };

  template<typename _Res, typename... _ArgTypes>
    struct _Weak_result_type_impl<_Res(_ArgTypes...) const>
    { typedef _Res result_type; };

  template<typename _Res, typename... _ArgTypes>
    struct _Weak_result_type_impl<_Res(_ArgTypes......) const>
    { typedef _Res result_type; };

我的猜测是，双省略号的含义类似于，即可_ArgTypes..., ...变参数模板扩展，后跟C样式的变量列表。

这是支持该理论的测试 ……我认为我们是有史以来最糟糕的伪运算符的新赢家。

编辑：这似乎是一致的。§8.3.5/ 3描述了一种形成参数列表的方式：

参数声明列表_opt ... _opt

因此，双省略号由一个以参数包结尾的参数声明列表组成，后跟另一个省略号。

逗号是完全可选的；§8.3.5/ 4确实说

在语法上正确，并且“ ...”不是抽象声明符的一部分时，“，...”与“ ...”同义。

这是在抽象声明器中，[edit]但是Johannes提出了一个很好的观点，即他们在参数声明中引用了抽象声明器。我想知道为什么他们不说“参数声明的一部分”，为什么那句话不只是内容丰富的注释……

此外，va_begin()in <cstdarg>在varargs列表之前需要一个参数，因此f(...)C ++专门允许的原型是无用的。与C99交叉引用在普通C语言中是非法的。因此，这是最奇怪的。

使用说明

根据要求，以下是双省略号的演示：

#include <cstdio>
#include <string>

template< typename T >
T const &printf_helper( T const &x )
    { return x; }

char const *printf_helper( std::string const &x )
    { return x.c_str(); }

template< typename ... Req, typename ... Given >
int wrap_printf( int (*fn)( Req... ... ), Given ... args ) {
    return fn( printf_helper( args ) ... );
}

int main() {
    wrap_printf( &std::printf, "Hello %s\n", std::string( "world!" ) );
    wrap_printf( &std::fprintf, stderr, std::string( "Error %d" ), 5 );
}

vs2015上的逗号分隔在模板版本中至关重要：

    template <typename T, typename ... U>
    struct X<T(U...,...)> {};// this line is the important one

示例实例是：

    X<int(int...)> my_va_func;

问候，FM。