`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 ( 條件 ) 語句

}

除了由 init-statement 宣告的名稱（如果 init-statement 是宣告）和由條件宣告的名稱（如果條件是宣告）位於同一作用域，該作用域也是語句的作用域。

(C++17 起)

[編輯] 注意

由於不允許控制權進入變數的作用域，如果在語句內部遇到宣告語句，則必須將其置於其自己的複合語句中。

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++ 標準。

缺陷報告	應用於	釋出時的行為	正確的行為
CWG 1767	C++98	條件的型別不受整型提升	不提升條件的這些型別
CWG 2629	C++98	條件可以是浮點變數的宣告	已禁止

[編輯] 另請參閱

C 文件關於 switch

[編輯] 外部連結

1.	使用 Duff's Device 的迴圈展開
2.	Duff's device 可用於在 C/C++ 中實現協程

編譯器支援
自由（freestanding）與宿主（hosted）
語言
標準庫
標準庫標頭檔案
具名要求
特性測試宏 (C++20)
語言支援庫
概念庫 (C++20)
診斷庫
記憶體管理庫
超程式設計庫 (C++11)
通用工具庫
容器庫
迭代器庫
範圍庫 (C++20)
演算法庫
字串庫
文字處理庫
數值庫
日期和時間庫
輸入/輸出庫
檔案系統庫 (C++17)
併發支援庫 (C++11)
執行控制庫 (C++26)
技術規範
符號索引
外部庫

標籤
標號 : 語句
表示式語句
表示式 ;
複合語句
`{` 語句... `}`
選擇語句
`if`
`switch`
迭代語句
`while`
`do while`
`for`
range 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 起)


屬性 (可選) `case` 常量表達式 `:`	(1)

屬性 (可選) `default:`	(2)

屬性	-	(自 C++11 起) 任意數量的屬性
常量表達式	-	一個轉換後的常量表達式，其型別為 switch 條件的調整型別。

cppreference.com

名稱空間

變體

檢視

操作

`switch` 語句

目錄

[編輯] 語法

[編輯] 條件

[編輯] 表示式

[編輯] 宣告

[編輯] 非結構化繫結宣告

結構化繫結宣告

[編輯] 型別

[編輯] 標籤

[編輯] 控制流轉移