C++，通过引用变量传递，未在调用函数的同一行更新

Question

在我的 C++ 程序中，我有这个函数，

char MostFrequentCharacter(ifstream &ifs, int &numOccurances);

在 main() 中，是这段代码，

ifstream in("file.htm");
int maxOccurances = 0;
cout <<"Most freq char is "<<MostFrequentCharacter(in, maxOccurances)<<" : "<<maxOccurances;

但这不起作用，尽管我获得正确的字符， maxOccurance 保持为零。 但是如果我用这个替换上面的 main 代码，

ifstream in("file.htm");
int maxOccurances = 0;
char maxFreq = MostFrequentCharacter(in, maxOccurances);
cout <<"Most freq char is "<<maxFreq<<" : "<<maxOccurances;

那么它就可以正常工作。我的问题是为什么它在第一种情况下不起作用。

Answer 1

因为在第一种情况下，表达式中 maxOccurances 的值是在调用 MostFrequentCharacter 之前解析的。但它不一定是这样，它是未指定的行为。

使用不同的编译器或编译器选项，您可能会遇到不同的结果。例如，如果您在 VC++ 上尝试同样的事情，我相信您会看到不同的结果。

Answer 2

您只需注意，在您看到 << 的地方，您实际上是在调用 operator<< 方法 - 因此编译器正在计算参数的值在修改变量之前传递到该函数。

换句话说，您所拥有的类似于

operator<<(operator<<(cout, f(x)), x);

...并且由于函数参数的求值顺序未定义，因此它取决于编译器。

Answer 3

Cout 在编译器中从右到左工作，因此首先评估最右边的，然后评估左边的。 :)
所以引用变量的值没有改变。

Answer 4

在 C++ 中，

cout << a << b 

按关联性计算结果为：

(cout << a) << b 

但编译器可以自由地以任何顺序计算它们。

即，编译器可以首先计算 b，然后计算 a，然后是第一个 << 操作和第二个 < 操作。 < 操作。这是因为没有与 << 关联的序列点

---

为了简单起见，让我们考虑以下代码，它是等效的：

 #include<iostream>
    int main()
    {
       int i = 0;
       std::cout<<i<<i++;
       return 0;
    }

在上面的源代码中：

std::cout<<i<<i++;

求值为函数调用：

operator<<(operator<<(std::cout,i),i++);

在这个中函数调用是否首先评估运算符 <<(std::cout,i) 还是 i++ 是未指定。 即：

operator<<(std::cout,i) 可能首先评估或者
i++ 可能首先评估或者
编译器实现的一些魔法排序

鉴于上述情况，无法定义此排序，因此也无法进行解释。

---

C++03 标准的相关引用：
第 1.9 节

抽象机的某些其他方面和操作在本国际标准中被描述为未指定（例如，函数参数的求值顺序） 。在可能的情况下，本国际标准定义了一组允许的行为。这些定义了抽象机的不确定性方面。