表达式 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， 赋值被认为是一个 运算符的评估，此外 也会产生副作用 返回由此计算的右值。 因此，如果我们用 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 语言中，两个序列点之间的任何操作的顺序不应相互依赖。我不记得标准中的确切措辞，但正是由于这个原因，

i = i++;

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

1. 语句后面的分号，
2. 逗号运算符
3. 在调用函数之前对所有函数参数的求值，
4. &&和|| operand

查阅维基百科的页面，列表更完整，描述也更详细。序列点是 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;