`switch` 文

条件の値に応じて、複数の文のいずれかに制御を移します。

関連付けられた case ラベル定数のいずれかが同じ値を持つ場合、制御は一致する case ラベルでラベル付けされた文に渡されます。
そうでない場合、関連付けられた default ラベルがある場合、制御は default ラベルでラベル付けされた文に渡されます。
そうでない場合、switch 文内のどの文も実行されません。

case および default ラベル自体は制御フローを変更しません。switch 文の途中から抜けるには、break 文を参照してください。

コンパイラは、フォールスルー ( break なしで次の case または default ラベルに到達すること) について警告を発することがあります。ただし、フォールスルーが意図的であることを示すために、属性 [[fallthrough]] が case ラベルの直前に現れる場合は除きます(C++17 以降)。

switch (1)
{
    case 1:
        std::cout << '1'; // prints "1",
    case 2:
        std::cout << '2'; // then prints "2"
}

switch (1)
{
    case 1:
        std::cout << '1'; // prints "1"
        break;            // and exits the switch
    case 2:
        std::cout << '2';
        break;
}

初期化子付き switch 文

init-statement が使用される場合、switch 文は以下と同等です。

{

init-statement

switch ( condition ) statement

}

ただし、init-statement によって宣言された名前 (init-statement が宣言の場合) および condition によって宣言された名前 (condition が宣言の場合) は、statement のスコープでもある同じスコープ内にあります。

(C++17以降)

[編集] 注釈

変数のスコープに入る制御の転送は許可されていないため、宣言文が statement 内で検出された場合、それは自身の複合文内でスコープ化される必要があります。

switch (1)
{
    case 1:
        int x = 0; // initialization
        std::cout << x << '\n';
        break;
    default:
        // compilation error: jump to default:
        // would enter the scope of 'x' without initializing it
        std::cout << "default\n";
        break;
}

switch (1)
{
    case 1:
        {
            int x = 0;
            std::cout << x << '\n';
            break;
        } // scope of 'x' ends here
    default:
        std::cout << "default\n"; // no error
        break;
}

[編集] キーワード

switch, case, default

[編集] 例

以下のコードは、switch 文のいくつかの使用例を示しています。

このコードを実行

#include <iostream>
 
int main()
{
    const int i = 2;
    switch (i)
    {
        case 1:
            std::cout << '1';
        case 2:              // execution starts at this case label
            std::cout << '2';
        case 3:
            std::cout << '3';
            [[fallthrough]]; // C++17 attribute to silent the warning on fallthrough
        case 5:
            std::cout << "45";
            break;           // execution of subsequent statements is terminated
        case 6:
            std::cout << '6';
    }
 
    std::cout << '\n';
 
    switch (i)
    {
        case 4:
            std::cout << 'a';
        default:
            std::cout << 'd'; // there are no applicable constant expressions 
                              // therefore default is executed
    }
 
    std::cout << '\n';
 
    switch (i)
    {
        case 4:
            std::cout << 'a'; // nothing is executed
    }
 
    // when enumerations are used in a switch statement, many compilers
    // issue warnings if one of the enumerators is not handled
    enum color { RED, GREEN, BLUE };
    switch (RED)
    {
        case RED:
            std::cout << "red\n";
            break;
        case GREEN:
            std::cout << "green\n";
            break;
        case BLUE:
            std::cout << "blue\n";
            break;
    }
 
    // the C++17 init-statement syntax can be helpful when there is
    // no implicit conversion to integral or enumeration type
    struct Device
    {
        enum State { SLEEP, READY, BAD };
        auto state() const { return m_state; }
 
        /* ... */
 
    private:
        State m_state{};
    };
 
    switch (auto dev = Device{}; dev.state())
    {
        case Device::SLEEP:
            /* ... */
            break;
        case Device::READY:
            /* ... */
            break;
        case Device::BAD:
            /* ... */
            break;
    }
 
    // pathological examples
 
    // the statement does not have to be a compound statement
    switch (0)
        std::cout << "this does nothing\n";
 
    // labels do not require a compound statement either
    switch (int n = 1)
        case 0:
        case 1:
            std::cout << n << '\n';
}

出力

2345
d
red
1

[編集] 欠陥報告

以下の動作変更を伴う欠陥報告が、以前に公開されたC++標準に遡って適用されました。

DR	適用対象	公開された動作	正しい動作
CWG 1767	C++98	整数昇格の対象ではない型の condition は昇格できません整数昇格できませんでした	昇格しませんこれらの型の condition
CWG 2629	C++98	condition は浮動小数点変数の宣言である可能性があります。	禁止された

[編集] 関連項目

switch のC ドキュメント

[編集] 外部リンク

1.	ダフのデバイスを使用したループアンローリング
2.	ダフのデバイスは C/C++ でコルーチンを実装するために使用できます

コンパイラサポート
フリースタンディングとホスト
言語
標準ライブラリ
標準ライブラリヘッダー
名前付き要件
機能テストマクロ (C++20)
言語サポートライブラリ
コンセプトライブラリ (C++20)
診断ライブラリ
メモリ管理ライブラリ
メタプログラミングライブラリ (C++11)
汎用ユーティリティライブラリ
コンテナライブラリ
イテレータライブラリ
Rangesライブラリ (C++20)
アルゴリズムライブラリ
文字列ライブラリ
テキスト処理ライブラリ
数値ライブラリ
日付と時刻ライブラリ
入出力ライブラリ
ファイルシステムライブラリ (C++17)
並行サポートライブラリ (C++11)
実行制御ライブラリ (C++26)
Technical specifications (技術仕様)
シンボルインデックス
外部ライブラリ

ラベル
ラベル : 文
式文
式 ;
複文
`{` 文... `}`
選択文
`if`
`switch`
繰り返し文
`while`
`do-while`
`for`
範囲for文 (C++11)
ジャンプ文
`break`
`continue`
`return`
`goto`
アサーション
`contract_assert` (C++26)
宣言文
宣言 ;
Tryブロック
tryブロック
トランザクショナルメモリ
`synchronized`、`atomic_commit`など (TM TS)

type-specifier-seq declarator `=` assignment-expression	(C++11まで)
attribute-specifier-seq(任意) decl-specifier-seq declarator brace-or-equal-initializer	(C++11以降)


attr (オプション) `case` constant-expression `:`	(1)

attr (オプション) `default:`	(2)

attr	-	(C++11以降) 任意の数の属性
定数式	-	switch 条件の調整された型の変換された定数式

cppreference.com

名前空間

変種

表示

操作

`switch` 文

目次

[編集] 構文

[編集] 条件

[編集] 式

[編集] 宣言

[編集] 非構造化束縛宣言

構造化束縛宣言

[編集] 型

[編集] ラベル

[編集] 制御フローの転送