C.表达评估。“评估”是什么意思？

Question

我理解经典例子的问题

int i=0;
foo(i++, i++);

但我无法说服自己以下是有效的还是无效的

int foo(int& i)
{
   i=42;
   return 99;
}

bar(foo(i), i);

我知道'foo（i）'和'i'的求值顺序是不确定的，但是'评估'到底是什么意思？也就是说bar的第二个参数总是42，或者'i'的当前值可以在foo改变它之前被传入吗？

Answer 1

此示例（gcc 4.6）

#include <iostream>
using namespace std;

int foo(int& i)
{
    i=42;
    return 99;
}

void bar(int i, int j)
{
    cout << "i = " << i << "; j = " << j << endl;
}

int main()
{
    int i =10;
    bar(foo(i), i);
    return 0;
}

给出i=99，j=10。

所以这真的不能保证。

Answer 2

函数参数的求值顺序是未指定的^{[参考文献1]}。
有可能：

• foo（i）首先得到评估或

在此上下文中未指定意味着允许实现以任何他们想要的方式实现所述功能，并且不需要记录。

^{[参考文献1]}
C 03 5.2.2函数调用Para 8

参数的计算顺序未指定。参数表达式求值的所有副作用在函数输入之前生效。后缀表达式和参数表达式列表的求值顺序未指定。