C++ 中括号和逗号表达式中的求值顺序，类型为 (x0 = y0, x1 = y1, x2 = x0, ...)

Question

在C++ 中，可以执行以下操作：

int f(int& a, int& b, int& c, int& d) { 
    return (a, b, c, d); // here
}

首先，这个“括号”表达式的语言名称（以及 cppreference 上的链接）是什么，其中仅返回最后一项；

其次，假设代码变成：

int f(int& a, int& b, int& c, int& d) { 
    return (a += 2, d += 5, b -= 3, c = a + b + d, d); // here
}

这些“括号”表达式的求值顺序是固定的吗？如果是这样，我保证f 会从左到右更改a、b、c 和d 的值，并返回d 的正确更新值，就好像它是：

int f(int& a, int& b, int& c, int& d) { 
    a += 2;
    d += 5;
    b -= 3;
    c = a + b + d;
    return d;
}

最后，纯粹在C++11中（由于C++14中不再存在问题，因为constexpr没有那么强的要求），这个括号表达式是否可以用于在单个@中编写多个计算987654336@函数？

Answer 1

首先，该“括号”表达式的语言名称（以及 cppreference 上的链接）是什么，其中仅返回最后一项；

"comma operator".

我的意思是：逗号运算符求值但丢弃左边的元素并返回右边的元素（如果左边的元素不是重新定义了逗号运算符的对象）。

而且不需要括号；你也可以写。

return a, b, c, d;

其次，假设代码变为 [...] 这些“括号”表达式的求值顺序是否固定？

是的；从左到右。

查找“序列点”以获取更多信息。

从

return a += 2, d += 5, b -= 3, c = a + b + d, d;

你得到的结果与你得到的结果完全相同

a += 2; d += 5; b -= 3; c = a + b + d; return d;

还要考虑到 a、d、b 和 c 是 ints 并且 int 不是重新定义逗号运算符的类。

但不要将“逗号运算符”中的逗号与函数调用中分隔参数的逗号混淆。第一个是“序列点”，第二个不是。

我的意思是：与

int i = 0;

return  i++, i++, i++;

返回值已定义（2）；如果foo() 是一个接收三个整数的函数，用

int i = 0;

foo(i++, i++, i++);

您知道foo() 接收一个零、一个和一个二，但顺序未指定（第一个参数可以是0，第三个参数可以是2，或相反）。

最后，纯粹在 C++11 [...] 这个括号表达式可以用于在单个 constexpr 函数中编写多个计算吗？

是的。

而且（恕我直言）这是一个非常有用的功能。