表达式 x[--i] = y[++i] = z[i++]，先计算哪个？

Question

当左值的评估先于右值的评估并且赋值也返回一个值，以下哪个是首先评估的？

int i = 2;
int x[] = {1, 2, 3};
int y[] = {4, 5, 6};
int z[] = {7, 8, 9};

x[--i] = y[++i] = z[i++]; // Out of bound exception or not?

注意：具有左值评估的通用类 C 语言。 来自我的教科书：

在某些语言中，例如 C， 分配被认为是 运算符，其评估，此外 产生副作用，也 返回由此计算的 r 值。 因此，如果我们用 C 编写：

x = 2;

对这样一个命令的评估，在 除了将值 2 分配给 x， 返回值 2。因此，在 C 中， 我们也可以这样写：

y = x = 2;

应该解释为：

(y = (x = 2));

Answer 1

我很确定这种情况下的行为是未定义的，因为您在连续序列点之间多次修改和读取变量 i 的值。

另外，在 C 中，数组是通过将 [] 放在变量名后面而不是类型后面来声明的：

int x[] = {1, 2, 3};

编辑：

从您的示例中删除数组，因为它们 [在大多数情况下] 无关紧要。现在考虑以下代码：

int main(void)
{
    int i = 2;
    int x = --i + ++i + i++;
    return x;
}

此代码演示了在原始代码中对变量 i 执行的操作，但没有数组。您可以更清楚地看到，变量i 在此语句中被多次修改。当您依赖在连续序列点之间修改的变量的状态时，行为是未定义的。不同的编译器会（并且确实，GCC 返回 6，Clang 返回 5）给出不同的结果，并且同一个编译器可以通过不同的优化选项给出不同的结果，或者根本没有明显的原因。

如果该语句没有定义行为，因为i 在连续序列点之间被修改了多次，那么对于您的原始代码也可以这样说。赋值运算符不会引入新的序列点。

Answer 2

一般

在 C 中，两个sequence points 之间的任何操作的顺序不应该依赖。我不记得标准中的确切措辞，但正是出于这个原因

i = i++;

是未定义的行为。该标准定义了组成sequence points的事物列表，从内存中这是

1. 语句后的分号
2. 逗号运算符
3. 在调用函数之前评估所有函数参数
4. && 和 ||操作数

在维基百科上查找页面，列表更完整，描述更详细。序列点是 C 中一个极其重要的概念，如果您还不知道它的含义，请立即学习。

具体

无论x、y和z变量的求值和赋值顺序如何定义，对于

x[--i] = y[++i] = z[i++];

由于i--、i++ 和i++，此语句只能是未定义的行为。 另一方面

x[i] = y[i] = z[i];

定义明确，但我不确定评估顺序的状态如何。如果这很重要，但是我宁愿将其拆分为两个语句以及注释“重要的是......在......之前被分配/初始化，因为......”。

Answer 3

我觉得和

一样

x[3] = y[4] = z[2];
i = 3;