f(++i，++i)是未知的吗？

Question

我似乎记得在C++11中，他们对测序行为做了一些更改，现在i++和++i有不同的测序需求。

f(++i, ++i)是否仍未定义行为？f(i++, i++)和f(++i, ++i)有什么区别？

Answer 1

除非i是类类型，否则它是未定义的行为。来自C++11 1.9/15：

除注意到的情况外，对单个运算符的操作数和单个表达式的子表达式的评估是不按顺序进行的。

接着是一个说明，以澄清这确实适用于函数参数：

注意:与不同参数表达式相关联的值计算和副作用是不按顺序排列的。-end注记

您的代码在没有排序的情况下两次修改同一个对象，因此，通过同一个段落：

如果对标量对象的副作用相对于对同一个标量对象的另一个副作用或使用同一个标量对象的值计算而言没有排序，则行为是未定义的。

如果i是一个类类型，那么++将调用一个函数，并且函数调用总是按顺序排列。因此，对标量对象的任何修改都会被不确定地排序；没有未定义的行为，但结果没有指定。

Answer 2

它仍然是未定义的行为：

如果对标量对象的副作用相对于对同一个标量对象的另一个副作用或使用同一个标量对象的值进行的值计算没有排序，则行为是未定义的。 §1.9 intro.execution

各函数参数的求值顺序是不顺序的。

Answer 3

在C++17中，它不是未定义的。behavior

f(++i，++i)；//未定义的行为直到C++17，在C++17之后未指定

在函数调用中，每个参数的值计算和初始化的副作用相对于值计算和任何其他参数的副作用被不确定地排序。