声明（コンピュータサイエンス）

コンピュータプログラミングにおいて、ステートメントは、実行される何らかの動作を表す命令型プログラミング言語の構文単位です。 ^{[ 1 ]}このような言語で書かれたプログラムは、1つ以上のステートメントのシーケンスで構成されます。ステートメントには、内部コンポーネント（式など）が含まれる場合があります。

多くのプログラミング言語（Ada、Algol 60、C、Java、Pascalなど）^{[ 2 ] : 15}では、ステートメントと定義/宣言を区別しています。定義または宣言は、プログラムが操作するデータを指定するのに対し、ステートメントはそのデータに対して実行されるアクションを指定します。

他の文を包含できない文は単純文であり、他の文を包含できる文は複合文である。^{[ 3 ]}

文（そしてプログラム全体）の見た目は、その構文または文法によって決まります。文の意味は、その意味論によって決まります。

単純なステートメントはそれ自体で完結しています。これには、代入、サブルーチン呼び出し、およびプログラムの制御フローに大きな影響を与える可能性のあるいくつかのステートメント（goto、return、stop/haltなど）が含まれます。一部の言語では、入出力、アサーション、および終了は特別なステートメントによって処理されますが、他の言語では、定義済みのサブルーチン呼び出しが使用されます。

• 割り当て
  • Fortran:variable = expression
  • パスカル、アルゴル60、アダ：variable := expression;
  • C、C#、C++、PHP、Java:variable = expression;
• 電話
  • Fortran:CALL subroutine name(parameters)
  • C、C++、Java、PHP、Pascal、Ada:subroutine name(parameters);
• 主張
  • C、C++、PHP:assert(relational expression);
  • Java:assert relational expression;
• 行く
  • Fortran:GOTO numbered-label
  • アルゴル60：gotolabel;
  • C、C++、PHP、Pascal：goto label;
• 戻る
  • Fortran:RETURN value
  • C、C++、Java、PHP:return value;
• 停止／停止／退出
  • Fortran:STOP number
  • C、C++:exit(expression)
  • PHP:exit number;

複合ステートメントは、任意の妥当な深さまで入れ子にできるステートメント（またはステートメントのシーケンス）を含むことができ、一般的に、これらの含まれるステートメントに従うか、または繰り返すかを決定するためのテストを伴います。

以下の例における表記法：

• <文>は任意の単一の文（単純な文でも複合文でも可）です。
• <シーケンス>は、0個以上の<ステートメント>の任意のシーケンスです。

一部のプログラミング言語では、文をグループ化する一般的な方法が提供されており、単一の文をグループに置き換えることができます。

• アルゴル60：begin <sequence> end
• パスカル：begin <sequence> end
• C、PHP、Java:{ <sequence> }

他のプログラミング言語では、複合文の種類ごとに異なる特別な終端記号が用意されており、1つまたは複数の文が自動的にグループとして扱われます。

• エイダ：iftestthen<sequence>endif;

多くの複合文は、ループ命令または選択命令です。理論上は、これらの種類の命令はそれぞれ1つずつあれば十分です。しかし実際には、頻繁に発生するさまざまな特殊なケースがあり、これらによってプログラムの理解が容易になり、プログラミングが簡単になり、多くの場合、より効率的に実装できます。ここでは触れていない多くの微妙な点がありますので、詳細はリンク先の記事を参照してください。

• カウント制御ループ：
  • アルゴル60：for index := 1 step 1 until limit do <statement> ;
  • パスカル：forindex:=1tolimitdo<statement>;
  • C、Java:for(index=1;index<=limit;index+=1)<statement>;
  • エイダ：forindexin1..limitloop<sequence>endloop
  • Fortran 90:

    DO index = 1 、limit <シーケンス> END DO

• ループの開始時にテストを行う 条件制御ループ：
  • アルゴル60：for index := expression while test do <statement> ;
  • パスカル：whiletestdo<statement>;
  • C、Java:while(test)<statement>;
  • エイダ：whiletestloop<sequence>endloop
  • Fortran 90:

    DO WHILE ( test ) <シーケンス> END DO

• 条件制御ループ（ループの最後にテストあり）：
  • パスカル：repeat<sequence>untiltest;{ note reversed test }
  • C、Java:do{<sequence>}while(test);
  • エイダ：loop<sequence>exitwhentest;endloop;
• 条件制御ループ（ループの中間にテストあり）：
  • C:do{<sequence>if(test)break;<sequence>}while(true);
  • エイダ：loop<sequence>exitwhentest;<sequence>endloop;
• if文の簡単な状況：
  • アルゴル60：if test then <unconditional statement> ;
  • パスカル：iftestthen<statement>;
  • C、Java:if(test)<statement>;
  • エイダ：iftestthen<sequence>endif;
  • Fortran 77+:

    IF (テスト) THEN <シーケンス> END IF

• if文の2方向選択：
  • アルゴル60：if test then <unconditional statement> else <statement> ;
  • パスカル：iftestthen<statement>else<statement>;
  • C、Java:if(test)<statement>else<statement>;
  • エイダ：iftestthen<sequence>else<sequence>endif;
  • Fortran 77+:

    IF (テスト) THEN <シーケンス> ELSE <シーケンス> END IF

• case/switch文の複数選択：
  • パスカル：casecof'a':alert();'q':quit();end;
  • エイダ：caseciswhen'a'=>alert();when'q'=>quit();endcase;
  • C、Java:switch(c){case'a':alert();break;case'q':quit();break;}
• 例外処理：
  • エイダ：begin protected code except when exception specification => exception handler
  • Java:try { protected code } catch (exception specification) { exception handler } finally { cleanup }
  • Python: try: protected code except exception specification: exception handler else: no exceptions finally: cleanup

代入とサブルーチン呼び出しを除き、ほとんどの言語では、上記の例に示すように、各ステートメントを特別な単語（goto、if、whileなど）で始めます。さまざまな言語でステートメントの形式を記述するために、さまざまな方法が用いられてきました。より形式的な方法ほど、より正確になる傾向があります。

• Algol 60 は、言語文法仕様の新たなレベルを確立したバッカス・ナウア記法(BNF) を採用した。 ^{[ 4 ]}
• Fortran 77までは、この言語は例文付きの英語の散文で記述されていました。^{[ 5 ]} Fortran 90以降は、この言語はBNFの変種を使用して記述されています。^{[ 6 ]}
• COBOLは2次元メタ言語を使用していた。^{[ 7 ]}
• Pascalは構文図とそれに相当するBNFの両方を使用した。^{[ 8 ]}

BNFは反復を表現するために再帰を使用するため、反復を直接示すことを可能にするための様々な拡張機能が提案されている。

意味論はプログラムの意味に関係します。多くのプログラミング言語の標準文書では、構文/文法をかなり形式的かつ正確に表現するために BNF またはそれに相当するものを使用していますが、プログラムの意味論/意味は一般的に例と英語の散文を使用して説明されます。これにより曖昧さが生じる可能性があります。^{[ 9 ]}一部の言語の説明では、複合文の意味は「より単純な」構造の使用によって定義されます。たとえば、while ループは、テスト、ジャンプ、ラベル の組み合わせを使用して定義できます。ifgoto

意味論に関する記事では、意味論を正確に記述するために用いられてきたいくつかの数学的／論理的形式体系について説明しています。これらは一般的にBNFよりも複雑であり、単一のアプローチが標準的な方法として広く受け入れられているわけではありません。いくつかのアプローチでは、言語のインタプリタを効果的に定義し、いくつかのアプローチでは形式論理を用いてプログラムについて推論し、いくつかのアプローチでは構文要素に接辞を付けて一貫性を確保するなど、様々な方法が用いられています。

実行される文と、評価される式は、しばしば区別されます。式は常に値に評価されますが、文はそうではありません。ただし、式はより大きな文の一部として使用されることがよくあります。

ほとんどのプログラミング言語では、文は式だけで構成でき、通常は式の後に文の終端記号（セミコロン）が続きます。このような場合、式は値に評価されますが、文全体は評価されません（式の値は破棄されます）。たとえば、C、C++、C#、および多くの類似言語では、x = y + 1は、x を y + 1 の値に設定する式であり、式全体は x に設定される値と同じ値に評価されます。しかし、x = y + 1;（末尾のセミコロンに注意）は、文内の式は評価されますが、式の結果は破棄され、文自体は値に評価されないため、x を y + 1 の値に設定する文です。^{[ 10 ]}

式は他の式の中に含めることができます。たとえば、式 にはx = y + 1式 が含まれておりy + 1、式 には値yと が含まれています1。これらも厳密には式です。

前述の例では代入式を示しましたが、一部の言語では代入を式ではなく文として実装しています。その顕著な例がPythonで、=は演算子ではなく、代入文の区切り文字です。Pythonでは各代入が式であるため、複数の代入が可能ですが、これは真の式ではなく、言語文法に組み込まれた代入文の特殊なケースにすぎません。^{[ 11 ]}

ほとんどのプログラミング言語には、言語によって定義された固定のステートメントセットがありますが、プログラマが新しいステートメントを定義できる拡張可能な言語の実験も行われています。

• プログラミング言語の比較（構文）§ ステートメント
• 制御フロー
• コマンド（コンピューティング）

• PC百科事典：定義：プログラムステートメント