将可变参数函数模板的每个参数传递给返回void的函数

Question

根据这里找到的配方，我写了以下内容：

void printInt(int a) {std::cout << a << std::endl;}

template <typename... Args>
void f(const Args &... args) {
    auto temp = {(printInt(args), void(), 0)...};
    auto a = temp; temp = a;
}

两个问题：

1. 这个语法是什么意思： {(printInt(args), void(), 0)...} ？

2. 我添加了行auto a = temp; temp = a; auto a = temp; temp = a; 为了不获得有关未使用的变量temp的警告。 有没有更好的办法？

---

在回复和评论中的解释之后，剩下的唯一问题是：为什么C ++不允许这样做：

template <typename... Args>
void f(const Args &... args) {
    printInt(args)...;
} 

引用的帖子中提到了这个问题，但未收到任何答复。

Answer 1

1. 这个语法的意思是， temp将被std::initializer_list<int>填充零，由于逗号运算符规则（将评估所有表达式，但只使用last，因此，将为每个参数调用函数printInt ，0将被推到每个参数的初始化列表中）。

N4296 5.19 / 1

用逗号分隔的一对表达式从左到右进行评估; 左表达式是丢弃值表达式（第5条）。 87在与右表达式关联的每个值计算和副作用之前，对与左表达式相关联的每个值计算和副作用进行排序。 结果的类型和值是右操作数的类型和值; 结果与右操作数具有相同的值类别，如果右操作数是glvalue和位域，则是一个位域。 如果右操作数的值是临时值（12.2），则结果是临时值。

{(printInt(args), void(), 0)...};

()是用于包扩展，所以， ...将应用于完整表达式， void()在这里屏蔽构造对类重载操作符，（感谢Quentin），你也可以使用以下

{((void)printInt(args), 0)...};

此外，它会更好用

{0, ((void)printInt(args), 0)...};

对于initializer_list中的至少一个元素（所以你可以不带参数调用f ）。

2. 你可以使用(void)temp; 标记变量未使用，这里有更多信息： （void）'变量名'在C函数的开头做了什么？