シーケンスポイントとは何ですか？

コンピュータープログラミングのシーケンスポイントは、変数の値が完全に計算されたときにプログラムの実行中に発生する瞬間であり、以前の操作からの変更はなく、将来の式の計算はまだ実行されていません。シーケンスポイントが存在する場所がいくつかあります - 主にC言語標準で定義されています - 関数内のコードの実行の前、「for」や「if」などのステートメントの制御式の最後に、およびCコードの単純な行などの完全な式の最後にあります。シーケンスポイントを定義する理由は、あいまいな状況、未定義の動作をもたらす状況を避けたり、コンパイラを混乱させたり、予測不可能なコードを生成したりすることです。多くの場合、プログラマーはシーケンスポイントを明示的に心配しませんが、コンパイラの作成では、コードが正しく実行されることを保証するために概念は非常に重要です。

シーケンスPOIの例はCプログラミング言語のNTは、ステートメントa = a + b;にあります。この式では、セミコロンはシーケンスポイントです。式が完了すると、Aの値が評価され、次の式が始まるまで残差計算は実行されません。等号はシーケンスポイントではありません。これは、Aの値が式全体で任意の順序でコンパイラによって変更される可能性があるためです。

シーケンスポイントの主なルールは、その値の変化を計算する以外の目的のために、ポイント間に変数が複数回アクセスされないことです。このルールの違反は、アレイに値を割り当てるときに最もよく表現されます。 iと呼ばれる変数aとアレイがある場合、cで文法的にi [a] = a ++を記述することができます。ここでは、変数に現在の値を評価する以外の目的のために、変数に複数回アクセスされます。すなわち、それはaとして使用されますnアレイIへのインデックス。これは、コンパイラがインデックスとして使用される前、または使用後にAを増分する可能性があることを意味し、プログラムでは依存できない予測不可能な動作を作成します。

シーケンスポイントは、基本的に、ステートメントがコンパイラによって一貫して評価および実行されることを保証する方法として見ることができます。これにより、定義された動作が予測可能であるため、コンパイラが最適化戦略を採用することもできます。 C言語標準内には、シーケンスポイントの3つの主要なインスタンスがあります。つまり、機能が実行を開始し、論理演算子とコンマのポイントで、およびほとんどのCステートメントがそうであるように、セミコロンで終わる完全な式の終わりにあります。