問題タブ [sequence-points]

次のようなステートメント (セミコロンの代わりにカンマ) が奇妙に見えることはわかっています。

しかし、それは完全に正常に動作し、それはcommahereがシーケンスポイントとして機能するためだと読んでいました.私はこれを理解できますelse.

エラーが発生しますexpected expression before 'else'。

2 番目のステートメントでエラーが発生するのはなぜですか?最初のステートメントでは、commaそれがシーケンス ポイントとして機能することを確認しました。では、なぜそれが前に機能しないelseのでしょうか?エラーを引き起こす 2 番目のケースの特別な点は何ですか?これが私の完全なプログラムです:

そして、最初f(x)+(g(y))に電話することを確認できますか？g(y)多くの場合、式の順序は定義されていませんが、この場合、括弧は機能しますか?

ここ数日から、未定義の動作について学ぼうとしていました。数日前、c-faqリンクを見つけました。これは多くの混乱を解消するのに大いに役立ちますが、質問#3.8を読んだときに別の大きな混乱を引き起こします。声明（特に2番目の文）を理解するために多くの努力をした後;

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

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

SOでこの質問をしたほうがいいと感じましたが、この声明の2番目の文を説明する答えはありませんでした。最後に、この点について説明を受けました。それとFAQを何度も読んだ後、私は次のように結論付けました。

1.最後の一文

さらに、保存する値を決定するためにのみ、前の値にアクセスする必要があります。

このようになります。

さらに、オブジェクトの以前の値は、格納される(同じオブジェクトの)変更された/新しい値 を決定するためにのみアクセスされます。

例によって明らかなように

式の場合、 (ここにある) of (RHS)のi = i + 1前の値にアクセスして、格納する値を決定します。 との場合、アクセスされた i の値は 、これらのステートメントでどこも変更されていないため、以前の値ではなく単なる値です。1iij = i + 1a[i] = i i

2.a[i] = i++またはの場合はa[i++] = i、上記文の最初の文

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

i getは、連続する 2 つのシーケンス ポイント間で 1 回だけ変更される ため、失敗しました。そのため、2 番目の文が必要です。
これらの例はどちらも C では許可されていません。これは、 の以前の値が i 2 回アクセスされるためです。つまり、i++ それ自体 が式内の の以前の値にアクセスしてそれを変更するためです。したがって、以前の値 / の値への他のアクセスは、変更さ れた値を 決定するためにアクセスされないため不要です。格納する値。 ii

i = i++問題は、c-faq に記載されて いる式を思いついたときに始まります

実は、これまで議論してきた他の表現も 2 番目の文に違反しています。

iこの式では (RHS で) にアクセスして、 の変更された値を決定すると思いますi。
この式は 2 番目のステートメントにどのように違反していますか?

あるコードベースで一種の「詩的な」コードを見たことがあります。まっすぐに見えますが、正しい方向にあるかどうかを確認したいだけです。
非常に単純な形式で：

強調表示された行のコードは、以下のスニペットと同じくらい良いですか?

,すべてのステートメントが呼び出される演算子は知っていますが、 or(と同等の||) 演算子については不明です。
g ++でテストすると、期待される出力が得られます。