c++ - 为什么这个语句没有改变数组？

Question

int a[]={1,2,3,5};
    int i=1;
    a[++i]=a[i];
    int j;
    for(j=0;j<4;j++)
    {
        printf("%d",a[j]);
    }



output:1235;

为什么输出是1225而不是1335。

我在代码块上执行了这个程序。在a[++i]=a[i]，从右到左的赋值将是他们的，导致a[2]=a[1]。如果我错了，请纠正我。

score 8 · Accepted Answer

因为a[++i]=a[i];是未定义的行为。

序列点是尘埃落定的时间点，到目前为止已经看到的所有副作用都保证是完整的。C标准中列出的序列点是：

在完整表达式的评估结束时（完整表达式是表达式语句，或任何其他不是任何更大表达式中的子表达式的表达式）；在 ||、&&、?: 和逗号运算符处；并在函数调用中（在评估所有参数之后，就在实际调用之前）。

该标准指出

在前一个和下一个序列点之间，对象的存储值最多只能通过表达式的评估修改一次。此外，只能访问先验值以确定要存储的值。

score 2 · Accepted Answer

a[++i]=a[i]; // this is undefined

如果您只想更改数组的单个元素...通过直接引用它来完成：

int a[]={1,2,3,5};
int i=1;

a[i]++; // this will increment the ith element of the array by 1

int j;
for(j=0;j<4;j++)
{
    printf("%d",a[j]);
}

输出：

1335

score 1 · Accepted Answer

a[++i]=a[i];是未定义的行为。因为根据 C99 第 6.5 节第 2 段

在前一个和下一个序列点之间，对象的存储值最多只能通过表达式的评估修改一次。72）此外，先前的值应只读以确定要存储的值。73）

=不是序列点。检查附件 C。

您正在修改i一次值，但是“应只读先前的值以确定要存储的值”与您一样被违反a[++i]。

检查脚注73)以获取段落内容的示例。

73)This paragraph renders undefined statement expressions such as
i = ++i + 1;
a[i++] = i;

while allowing
i = i + 1;
a[i] = i;

因此无法确定结果如何。对于不同的运行和/或跨不同的计算机，您可以获得不同的结果。此类表达式不应该在 C 编程中使用。

score 0 · Accepted Answer

0

a[++i] = a[i]是未定义的行为。查找此演示文稿。

于 2013-11-08T09:20:46.573 回答

4 回答 4