令人困惑的 C 代码，有人为我解释一下吗？

Question

评估顺序确实很重要，所以，这就是所谓的非引用透明吗？

int i = 1;
int counter(){
     i = i + 1;
     return i;
}
int foo(int i, int j){
    return i*2 + 3*j;
}
int main(){
   printf("%d", foo(counter(), counter()));
}

Answer 1

我猜你可能想到的是函数参数的求值顺序在 C 中没有标准化。因为 counter() 会在每个函数上返回不同的结果调用，foo(2, 3) 的结果与 foo(3, 2) 的结果不同，编译和执行这段代码可能会得到不同的结果在不同的平台上。

然而，在同一个平台上，它是确定性的，正如其他人已经很好地解释的那样。 [更新](准确地说:一旦在具有特定编译器选项的特定平台上编译成可执行文件，所有执行将产生相同的输出。但是，正如评论者指出的那样，它可能 甚至在使用不同的编译选项构建时在同一平台上产生不同的输出。)[/Update]