折叠逗号如何工作？

Question

以下行如何展开？

template <class... Ts> 
void print_all(std::ostream& os, Ts const&... args) { 
    (void(os << args), ...); 
} 

应用所述规则，

一元右倍（E OP ...）为E _1个运算（OP ...（E _N-1运算Ë_Ñ ））

由cppreference提供，

E = void(os << args) 
op = , 

则扩展成为

void(os << args[0], ..., (args[N-3], (args[N-2], args[N-1]))) 

？

如何

v.push_back(args), ... 

是否成为

v.push_back(args[0], (args[1], ..., (args[N-2], args[N-1]))) 

两膨胀和括号是混乱。有人会解释吗？

Answer 1

您必须解压包含参数包的整个表达式。不只是参数包。只是以下的规则：

一元右倍（E OP ...）为E _1个运算（OP ...（E _N-1运算Ë_Ñ））

你说得对，op是,和E是void(os << args)，其中args是包，但是电动_我不仅仅是ARG游戏_我，这是整个表达式void(os << args#i)。所以：

(void(os << args), ...); 

变为（使用[]为方便起见）：

void(os << args[0]), void(os << args[1]), void(os << args[2]), ..., void(os << args[N-1]); 

这相当于：

os << args[0]; 
os << args[1]; 
... 
os << args[N-1]; 

同样，(v.push_back(args), ...)（括号需要）将作为扩大：

v.push_back(args[0]), v.push_back(args[1]), ..., v.push_back(args[N-1]); 

---

注意，你也可以这样写这个例子作为二进制左折叠：

(os << ... << args); 

这将作为扩大：

((((os << args[0]) << args[1]) ...) << args[N-1]);