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 標準にリストされているシーケンスポイントは次のとおりです。

完全な式の評価の終了時 (完全な式は、式ステートメント、またはより大きな式内の部分式ではないその他の式です)。||、&&、?:、およびコンマ演算子で。関数呼び出し時 (すべての引数の評価後、実際の呼び出しの直前)。

規格には次のように記載されています。

前のシーケンスポイントと次のシーケンスポイントの間で、オブジェクトの格納値は、式の評価によって最大 1 回変更されます。さらに、保存する値を決定するためにのみ、前の値にアクセスする必要があります。

score 2 · Accepted Answer

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

配列の 1 つの要素のみを変更する場合は、直接参照して行います。

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によると

前のシーケンスポイントと次のシーケンスポイントの間で、オブジェクトは格納された値を式の評価によって最大 1 回変更する必要があります。

=はシーケンスポイントではありません。附属書 C を確認してください。

i値を1回変更していますが、 「保存する値を決定するために以前の値を読み取る必要がある」という違反があります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

a[++i] = a[i]未定義の動作です。このプレゼンテーションを参照してください。

4 に答える 4