c++ - 折叠逗号如何工作？

Question

下面这行是怎么展开的？

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

应用规则，

Unary right fold (E op ...) becomes E₁ op (... op (E_N-1 op E_N))

由 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

您必须解压缩包含参数包的整个 表达式。不仅仅是参数包。只需遵守规则:

Unary right fold (E op ...) becomes E₁ op (... op (E_N-1 op E_N))

你是对的 op是,和 E是void(os << args) , 其中args是包，但 E_i 不仅仅是 args_i，它是整个表达式 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]);