`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.cn

命名空间

变体

视图

操作

`switch` 语句

目录

[编辑] 语法

[编辑] 条件

[编辑] 表达式

[编辑] 声明

[编辑] 非结构化绑定声明

结构化绑定声明

[编辑] 类型

[编辑] 标签

[编辑] 控制流转移