使用 std::cout 计算参数的顺序

Question

大家好，我今天偶然发现了这段代码，我对到底发生了什么以及更具体的顺序感到困惑：

代码：

#include <iostream>

bool foo(double & m)
{
    m = 1.0;
    return true;
}

int main()
{
    double test = 0.0;
    std::cout << "Value of test is : \t" << test << "\tReturn value of function is : " << foo(test) <<  "\tValue of test : " << test << std::endl;
    return 0;
}

输出是：

Value of test is :      1       Return value of function is : 1 Value of test : 0

看到这个我会假设在调用之前打印了最正确的参数功能。所以这是从右到左的评估？在调试过程中，该函数似乎在输出之前被调用，这正是我所期望的。我正在使用 Win7 和 MSVS 2010。感谢任何帮助！

Answer 1

表达式中元素的计算顺序是未指定的（除了一些非常特殊的情况，例如 && 和 || 运算符以及三元运算符，它们引入 < em>序列点);因此，不能保证 test 将在 foo(test) （修改它）之前或之后进行评估。

如果您的代码依赖于特定的求值顺序，则获得它的最简单方法是将表达式拆分为多个单独的语句。

Answer 2

这个问题的答案在 C++17 中发生了变化。

现在，重载运算符的计算顺序与内置运算符 (C++17 [over.match.oper]/2) 相同。

此外，<<、>> 和下标运算符现在的左操作数在右操作数之前排序，并且后缀-函数调用的表达式在参数计算之前进行排序。

（其他二元运算符保留其先前的排序，例如 + 仍然未排序）。

因此，问题中的代码现在必须输出 Value of test is : 0 Return value of function is : 1 Value of test : 1。但考虑到每个人都需要一些时间来更新到 C++17，“不要这样做”的建议仍然是合理的。

Answer 3

评估顺序未指定。它不是从左到右、从右到左或其他任何顺序。

不要这样做。

Answer 4

评估顺序未指定，请参阅 http://en.wikipedia.org/wiki/Sequence_point

这与带有运算符+示例的示例的情况相同：

考虑两个函数f()和g()。在 C 和 C++ 中，+ 运算符不与序列点关联，因此在表达式 f()+g() 中，f() 或 g() 将首先执行。

Answer 5

C++ 参考很好地解释了为什么永远不应该这样做（导致 UB 或未定义的行为）
https://en.cppreference.com/w/cpp/language/operator_incdec

#include <iostream>

int main()
{
    int n1 = 1;
    int n2 = ++n1;
    int n3 = ++ ++n1;
    int n4 = n1++;
//  int n5 = n1++ ++;   // error
//  int n6 = n1 + ++n1; // undefined behavior
    std::cout << "n1 = " << n1 << '\n'
              << "n2 = " << n2 << '\n'
              << "n3 = " << n3 << '\n'
              << "n4 = " << n4 << '\n';
}

注释

由于涉及副作用，内置增量和减量
操作符必须小心使用，以避免由于以下原因导致未定义的行为
违反排序规则。

---

在与排序规则相关的部分中，您可以阅读以下内容：

未定义行为：

1) 如果标量对象上的副作用相对于标量对象上的另一个副作用未排序相同的标量对象，行为未定义。

i = ++i + 2;       // undefined behavior until C++11
i = i++ + 2;       // undefined behavior until C++17
f(i = -2, i = -2); // undefined behavior until C++17
f(++i, ++i);       // undefined behavior until C++17, unspecified after C++17
i = ++i + i++;     // undefined behavior

2) 如果标量对象上的副作用相对于使用同一标量对象的值的值计算是无序的，则该行为是未定义的。

cout << i << i++; // undefined behavior until C++17
a[i] = i++;       // undefined behavior until C++17
n = ++i + i;      // undefined behavior