ACCU の過負荷に関する興味深い記事 #115: "Demons May Fly Out Of Your Nose" を読んでいると、著者が次のように言っているのを見つけました。
シーケンス ポイント間では、関連する変数の状態について仮定を行うことはできません。これは、C では、他のほとんどの言語とは異なり、次の式が未定義の動作につながることも意味します。
v[i] = i++;
代入演算子はCのシーケンスポイントを表していないため
ここでUBを意味する詳細な理由を誰か説明できますか? v[i] が i をエイリアシングする可能性を除いて、ここでは見ることができない、2 つのシーケンス ポイント間で同じ変数に複数の書き込みを行うことが問題になると思いました...