Statements

文 は、C++プログラムの断片であり、順番に実行されます。任意の関数の本体は文のシーケンスです。例えば：

int main()
{
    int n = 1;                        // 宣言文
    n = n + 1;                        // 式文
    std::cout << "n = " << n << '\n'; // 式文
    return 0;                         // return文
}

C++には以下の種類の文が含まれます：

• ラベル付き文
• 式文
• 複合文
• 選択文
• 反復文
• ジャンプ文

• 宣言文
• try ブロック

ラベル付きステートメント

ラベル付きステートメントは、制御フローの目的でステートメントにラベルを付けます。

ラベル

label は次のように定義されます

関数内で宣言された識別子を持つラベルは、その関数内のすべての入れ子ブロックにおいて、自身の宣言前後を問わず、同じ識別子を持つすべてのgoto文と一致します。

関数内の2つのラベルが同じ識別子を持つことは許可されません。

ラベルは unqualified lookup では見つかりません：ラベルはプログラム内の他の任意のエンティティと同じ名前を持つことができます。

void f()
{
    {
        goto label; // 宣言が後であってもラベルはスコープ内
        label:      // C++23以降、ラベルはブロックの末尾に単独で記述可能
    }
    goto label; // ラベルはブロックスコープを無視
}
void g()
{
    goto label; // エラー: g()内でラベルがスコープにない
}

制御フロー限定ステートメント

以下のステートメントは 制御フロー制限ステートメント です:

• try ブロック の compound-statement 。
• ハンドラ の compound-statement 。

各制御フロー制限文 S について：

• S 内で宣言されたすべての goto ターゲットラベルは、 S 内のステートメントによってのみ参照できます。
• S 内に現れる各 case または default ラベルは、 S 内の switch 文 とのみ関連付けられます。

式文

式文はセミコロンが続く式です。

典型的なC++プログラムにおけるほとんどの文は、代入や関数呼び出しなどの式文です。

式を持たない式文は null statement と呼ばれます。これは for ループや while ループに空のボディを提供するためによく使用されます。 また、複合文の末尾でラベルを付けるためにも使用できます。 (C++23まで)

複合文

複合ステートメントまたは block は、一連のステートメントを単一のステートメントにグループ化します。

単一の文が期待される場所で、複数の文を順次実行する必要がある場合（例えば、 if 文やループ内など）、複合文を使用できます：

if (x > 5)          // if文の開始
{                   // ブロックの開始
    int n = 1;      // 宣言文
    std::cout << n; // 式文
}                   // ブロックの終了、if文の終了

各複合ステートメントは独自のブロック scope を導入します。ブロック内で宣言された変数は、閉じ括弧で逆順に破棄されます：

int main()
{ // 外側ブロックの開始
    {                                // 内側ブロックの開始
        std::ofstream f("test.txt"); // 宣言文
        f << "abc\n";                // 式文
    }                                // 内側ブロックの終了、fはフラッシュされ閉じられる
    std::ifstream f("test.txt"); // 宣言文
    std::string str;             // 宣言文
    f >> str;                    // 式文
} // 外側ブロックの終了、strは破棄され、fは閉じられる

選択ステートメント

選択ステートメントは、複数の制御フローのうち1つを選択します。

反復文

反復文は、一部のコードを繰り返し実行します。

ジャンプ文

jump文は無条件に制御フローを転送します。

注: すべてのジャンプ文において、ループ外、ブロック外、または自動記憶域期間を持つ初期化済み変数を越えた後方へのジャンプは、ジャンプ元のスコープにあるがジャンプ先のスコープにはない自動記憶域期間を持つオブジェクトの破棄を伴います。複数のオブジェクトが初期化されている場合、破棄の順序は初期化の順序と逆になります。

宣言文

宣言文は1つ以上の識別子をブロックに導入します。

try ブロック

A try ブロックは、他のステートメントの実行中にスローされた例外をキャッチします。

サブステートメント

substatement は、以下のいずれかを指します：

• ラベル付き文 に対しては、その statement 。
• 複合文 に対しては、その statement... の任意の文。
• 選択文 に対しては、その statement  または compound-statement  (C++23以降) のいずれか。
• 反復文 に対しては、その statement 。

文 S1 は、以下の条件のいずれかを満たす場合に文 S2 を 囲む とされます：

• S2 は S1 の副文である
• S1 が選択文または反復文であり、 S2 が init-statement である場合
• S1 が try ブロック であり、 S2 がその compound-statement または handler-seq 内の任意の ハンドラ の compound-statement である場合
• S1 が文 S3 を包含し、 S3 が S2 を包含する場合

文 S1 は、文 S2 によって 囲まれている とされます。これは S2 が S1 を囲んでいる場合です。

関連項目