折叠表达式的评估顺序
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
}
但是这里是否保证了 lambda 的求值顺序,或者我最终会在输出中翻转值吗?如果我使用不同的运算符将命令链接在一起,答案会改变吗?
运算符的右折叠展开如下:... (arg0 op (arg1 op arg2))
。因此,虽然括号有帮助,但它们不保证各个元素的顺序。
因此,这一切都留给了op
。 comma operator(与分隔函数参数的逗号不同),即使是 C++17 之前的版本,也是一个硬序列点。它确保了从左到右的评估,没有串扰。
如果您改用 +
,则不会有顺序保证。所以这取决于你使用的运营商。 C++17 添加了更多具有严格顺序保证的运算符(例如 <<
)。
折叠表达式似乎是将函数应用于元组的每个元素的好方法。但是,如果应用的函数有副作用,函数调用的顺序可能是一个重要的问题。
考虑:
#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
}
但是这里是否保证了 lambda 的求值顺序,或者我最终会在输出中翻转值吗?如果我使用不同的运算符将命令链接在一起,答案会改变吗?
运算符的右折叠展开如下:... (arg0 op (arg1 op arg2))
。因此,虽然括号有帮助,但它们不保证各个元素的顺序。
因此,这一切都留给了op
。 comma operator(与分隔函数参数的逗号不同),即使是 C++17 之前的版本,也是一个硬序列点。它确保了从左到右的评估,没有串扰。
如果您改用 +
,则不会有顺序保证。所以这取决于你使用的运营商。 C++17 添加了更多具有严格顺序保证的运算符(例如 <<
)。