c - `a++ & f(a)` は未定義または未指定ですか?

Question

これはDeep Cの例です(スライド 194) 。

int a = 41;
a++ & printf("%d\n", a);

プレゼンテーションは、結果が未定義であると主張しています。なんで？aシーケンス ポイント間で 1 回だけ割り当てられます。a++との間の実行順序はprintf指定されていないため、すべての準拠コンパイラで 41 または 42 が出力され、未定義の動作は発生しないと思います。

Answer 1

この行a++ & printf("%d\n", a);には、シーケンス ポイントが 1 つしかありません (関数の引数で発生することは数えませんa++1。この行自体で発生するためです)。単一のシーケンス ポイント内で変数の変更と読み取りを同時に行うのは UB です。前の値がオブジェクトから読み取られた場合の動作は未定義ですが、次のように変更もあります。i * i++

&&はシーケンス ポイント&ですが、混乱した場合はシーケンス ポイントではありません。

シーケンス ポイントは、ほこりが落ち着いた時点で、これまでに見られたすべての副作用が完全であることが保証されています。C 標準にリストされているシーケンス ポイントは次のとおりです。

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

規格は次のように述べています

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

Answer 2

ビットごとの演算子&はシーケンス ポイントを導入しないため、実際には未定義の動作です。