C++0x 可变参数包：语法

Question

以下代码sn-p在gcc4.6.1下无法编译：

template <typename... TS>
void do_stuff(TS... ts)
{
  auto f = [](TS... things) { };
}

它会抛出一个错误，指出包的东西没有展开。但是，以下代码确实可以编译：

template <typename... TS>
void do_stuff(TS... ts)
{
  auto f = [](TS... things...) { };
}

注意参数列表中的东西后面的额外解包运算符。我从未见过在声明期间必须扩展可变参数包的情况。所以我对你们这些好心人的问题是：

这是合法的 C++0x 语法（编译的 sn-p）还是只是 GCC 在处理可变参数类型时的一个怪癖？

Answer 1

两件事：

• 是的，GCC 拒绝[](TS... things) { } 是错误的。它可能尚未实施。
• [](TS ... things...) { } 声明的内容等同于[](TS... things, ...)。在 C++（不是 C）中，您可以在 C 风格的可变参数省略号之前去掉逗号。所以你可以声明void printf(char const *fmt...)，而不是void printf(char const *fmt, ...)。这就是您的 lambda 中发生的情况。第一个省略号是参数包解包，第二个省略号是 C 风格的可变参数省略号。