`switch` 敘述

根據條件的值，將控制權轉移到多個敘述之一。

如果其中一個關聯的 case 標籤常數具有相同的值，則控制權會傳遞到由該匹配的 case 標籤標記的敘述。
否則，如果存在關聯的 default 標籤，則控制權會傳遞到由 default 標籤標記的敘述。
否則，switch 敘述中的任何敘述都不會被執行。

case 和 default 標籤本身不會改變控制流。要從 switch 敘述的中間退出，請參閱 break 敘述。

編譯器可能會對貫穿（fallthrough，即到達下一個 case 或 default 標籤而沒有 break）發出警告，除非在 case 標籤之前緊接出現屬性 [[fallthrough]]，以表示貫穿是故意的(自 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.	使用 Duff's Device 的迴圈展開
2.	Duff's device 可用於在 C/C++ 中實現協程 (coroutine)

編譯器支援
獨立式與託管式
語言
標準函式庫
標準函式庫標頭檔
具名要求
特性測試巨集 (C++20)
語言支援函式庫
概念函式庫 (C++20)
診斷函式庫
記憶體管理函式庫
元編程函式庫 (C++11)
通用公用程式函式庫
容器函式庫
疊代器函式庫
Ranges 函式庫 (C++20)
演算法函式庫
字串函式庫
文本處理函式庫
數值函式庫
日期與時間函式庫
輸入/輸出函式庫
檔案系統函式庫 (C++17)
並行支援函式庫 (C++11)
執行控制函式庫 (C++26)
技術規範
符號索引
外部函式庫

標籤 (Labels)
label : statement
運算式陳述式 (Expression statements)
expression ;
複合陳述式 (Compound statements)
`{` statement... `}`
選擇陳述式 (Selection statements)
`if`
`switch`
迭代陳述式 (Iteration statements)
`while`
`do while`
`for`
範圍 for (C++11)
跳躍陳述式
`break`
`continue`
`return`
`goto`
斷言 (Assertions)
`contract_assert` (C++26)
宣告陳述式
宣告 (declaration) ;
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)

屬性	-	(C++11 起) 任意數量的屬性 (attributes)
constant-expression	-	switch 條件調整後類型的轉換後常數表達式

cppreference.com

命名空間

變體

檢視

動作

`switch` 敘述

目錄

[編輯] 語法

[編輯] 條件

[編輯] 表達式

[編輯] 宣告

[編輯] 非結構化綁定宣告

結構化綁定宣告

[編輯] 類型

[編輯] 標籤

[編輯] 控制流轉移