为什么这个说法不是长阵

Why is this statement not changin the array?

本文关键字：为什么      更新时间：2023-10-16
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]。如果我错了，请纠正我。

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

序列点是

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

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

该标准指出

在上一个序列点和下一个序列点之间，对象应具有其 通过表达式的计算最多修改一次存储值。 此外，访问先验值只能用于确定 要存储的值。

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

年

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 编程中使用。

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

相关文章：