当将变量分配给自身的引用时，在修改变量和函数调用返回变量之间，结果应该是什么？

Question

#include <iostream>

int& addOne(int& x)
{
    x += 1;
    return x;
}

int main()
{
    int x {5};
    addOne(x) = x;
    std::cout << x << ' ' << addOne(x);
}

我目前正在学习左值和右值，并做了一些实验，结果似乎是矛盾的。https://godbolt.org/z/KqsGz3Toe产生了“5 6”的输出，Clion和Visual Studio也是如此，但是https://www.onlinegdb.com/49mUC7x8U产生"6 7"的结果

我认为，因为addOne调用x作为引用，它会显式地将x的值更改为6，尽管它被称为左值。正确的结果应该是什么？

Answer 1

因为C 17指定了计算的顺序，所以赋值的右侧首先计算，并且

所以在

addOne(x) = x;

首先计算右侧的值，生成5。然后调用函数addOne，它对x做什么并不重要，因为它返回对它的引用，右边的值5被分配给它。

然后排队

std::cout << x << ' ' << addOne(x);

我们首先计算并输出x，得到5，然后调用addOne，得到6。

输出56是自C17以来唯一正确的输出。

在C17之前，赋值运算符两边的求值顺序是不排序的。

在同一个标量上（在赋值的右侧）进行未排序的标量修改通常会导致未定义的行为。

但是，由于您将x的增量放入函数中，另外一条规则说函数体的执行只是与调用上下文中的其他计算不确定地排序，这就节省了这一点。这意味着该行将不再具有未定义的行为，但是赋值双方的计算发生的顺序可以是左优先或右优先。

这意味着我们不知道是先计算x，然后再计算addOne（x），还是反过来计算。

因此，在该行之后，x可能是5或6。

然后排队

std::cout << x << ' ' << addOne(x);

17世纪之前，同样的问题也适用。

因此，可能的程序输出可以是以下任一种：

5 6
6 6
6 7
7 7

如果您使用的是GCC或Clang，则可以向编译器指定使用带有-std=c17标志的c17（或c20等更新版本），如果您使用的是MSVC，则可以指定使用/std:c17。默认情况下选择哪个标准版本取决于编译器和编译器版本。