折叠表达式的评估顺序

Order of Evaluation for Fold Expressions

折叠表达式似乎是将函数应用于元组的每个元素的好方法。但是,如果应用的函数有副作用,函数调用的顺序可能是一个重要的问题。

考虑:

#include <iostream>

template<typename... Ts>
void printStuff(Ts... args)
{
    ( ([](auto&& v) { std::cout << v << " "; })(args), ... );
    std::cout << '\n';
}

int main()
{
    printStuff("hello", 42, 1.5f);
    // expected output: hello 42 1.5
}

这个seems to work.

但是这里是否保证了 lambda 的求值顺序,或者我最终会在输出中翻转值吗?如果我使用不同的运算符将命令链接在一起,答案会改变吗?

运算符的右折叠展开如下:... (arg0 op (arg1 op arg2))。因此,虽然括号有帮助,但它们不保证各个元素的顺序。

因此,这一切都留给了opcomma operator(与分隔函数参数的逗号不同),即使是 C++17 之前的版本,也是一个硬序列点。它确保了从左到右的评估,没有串扰。

如果您改用 +,则不会有顺序保证。所以这取决于你使用的运营商。 C++17 添加了更多具有严格顺序保证的运算符(例如 <<)。