14

不知何故，我不明白可变参数模板参数包是如何扩展的。下面的代码有什么问题？

#include <iostream>

template <typename T>
struct print_one
{
    static void run(const T& t)
    {
        std::cout << t << ' ';
    }
};

template<typename... Args>
void print_all(Args&&... args)
{
    // the next line doesn't compile:
    print_one<Args>::run(std::forward<Args>(args))...;
}

int main()
{
    print_all(1.23, "foo");
}

铿锵说，Expression contains unexpanded parameter packs 'Args' and 'args'。为什么？

4

2 回答 2

26

...必须放在函数调用括号内：

print_one<Args>::run(std::forward<Args>(args)...);

显然，这不适用于仅采用单个参数的函数，因此您需要找到一种方法将调用扩展为函数调用或其他允许的构造：

// constructing a dummy array via uniform initialization
// the extra 0 at the start is to make it work when the pack is empty
int dummy[]{0, (print_one<Args>::run(std::forward<Args>(args)), 0)...};

// or, if your compiler doesn't support uniform initialization
int dummy[] = {0, (print_one<Args>::run(std::forward<Args>(args)), 0)...};

// or, calling a dummy function
template<typename... Args> void dummy(Args...) {}
dummy((print_one<Args>::run(std::forward<Args>(args)), 0)...);

// or, constructing a temporary dummy object
struct dummy { dummy(std::initializer_list<int>) {} };
dummy{(print_one<Args>::run(std::forward<Args>(args)), 0)...};

// or, constructing a temporary initializer list
std::initializer_list<int>{(print_one<Args>::run(std::forward<Args>(args)), 0)...};

请注意使用逗号运算符将void返回print_one值转换为适合放置在参数列表或初始化表达式中的值。

初始化列表形式优于函数调用形式，因为它们（应该是）有序的 LTR，而函数调用参数不是。

14.5.3 [temp.variadic] 涵盖了可能发生参数包扩展的形式：

4 - [...] 包扩展可能发生在以下情况下：

  • [...]

您的原始代码是非法的，因为尽管从文本上看，它可能会生成一个由多个逗号运算符表达式组成的语句，但这不是 14.5.3:4 所允许的上下文。

于 2012-09-20T15:14:00.180 回答
5

该标准规定了允许扩展包的位置：

§14.5.3 [temp.variadic] p4

[...] 包扩展可能发生在以下情况下：

  • 在函数参数包中（8.3.5）；模式是没有省略号的参数声明。
  • 在作为包扩展 (14.1) 的模板参数包中：
    • 如果模板参数包是参数声明；模式是没有省略号的参数声明；
    • 如果模板参数包是带有模板参数列表的类型参数；模式是没有省略号的相应类型参数。
  • 在初始化列表（8.5）中；该模式是一个初始化子句。
  • 在基本说明符列表中（第 10 条）；模式是一个基本说明符。
  • 在mem-initializer-list (12.6.2) 中；该模式是一个mem-initializer。
  • 在模板参数列表（14.3）中；模式是一个模板参数。
  • 在动态异常规范（15.4）中；模式是type-id。
  • 在属性列表中（7.6.1）；模式是一个属性。
  • 在对齐说明符（7.6.2）中；模式是没有省略号的对齐说明符。
  • 在捕获列表中（5.1.2）；该模式是一个捕获。
  • 在sizeof...表达式（5.3.3）中；模式是一个标识符。

所以基本上，作为顶级声明，扩展是不允许的。这背后的原因是什么？不知道。他们很可能只选择了分隔逗号 ( ,) 是语法一部分的上下文；operator,如果涉及用户定义的类型并遇到麻烦，您可能会在其他任何地方选择重载。

于 2012-09-20T15:31:32.510 回答