switch 语句

来自cppreference.com
< cpp‎ | language

转移控制流到数个语句之一,依赖于条件的值。

目录

[编辑] 语法

attr(可选) switch ( condition ) statement
(C++17 前)
attr(可选) switch ( init-statement(可选) condition ) statement
(C++17 起)
attr(C++11) - 任何数量的属性
condition - 任何整数或枚举类型,或按语境隐式转换到整数或枚举类型的类类型表达式,或单个这种非数组类型变量的带花括号或等号初始化器的声明。
init-statement(C++17) - 下例之一
  • 一条表达式语句(可为空语句 ";" )
  • 一条简单声明,典型地为带初始化器的变量声明,但它可以声明任意多个变量或结构化绑定
注意任何 init-statement 必须以分号 ; 结尾,此乃其之所以常被非正式描述为后随分号的表达式或声明。
statement - 任何语句(典型地为复合语句)。在 statement 中容许 case:default: 标号,且 break; 语句拥有特殊含义。
attr(可选) case constant_expression : statement (1)
attr(可选) default : statement (2)
constant_expression - condition 在转换及整数提升后相同类型的常量表达式

[编辑] 解释

switch 语句的体可拥有任意数量的 case: 标号,只要所有 constant_expressions 的值(转换/提升后)均为唯一。至多可以存在一个 default: 标号(尽管嵌套的 switch 语句可使用其自身的 default: 标号,或拥有常量等同于外围 switch 所用者的 case: 标号)

condition 求值为等于 constant_expression 之一的值,则控制被转译到标号为拥有该 constant_expression 的值的语句。

condition 求值为不匹配任何 case: 标号的值,且存在 default: 标号,则控制被转移到标号为 default: 的语句。

statement 遇到 break 语句时退出 switch 语句:

switch(1) {
    case 1 : cout << '1'; // 打印 "1",
    case 2 : cout << '2'; // 然后打印 "2"
}
switch(1) {
    case 1 : cout << '1'; // 打印 "1"
             break;       // 然后退出 switch
    case 2 : cout << '2';
             break;
}

编译器可以在穿过(抵达下个 case 标号而无 break )时发布警告,除非属性 [[fallthrough]] 立即出现在指示穿过是有意的标号前。

若使用 init-statement ,则 switch 语句等价于

{
init_statement
switch ( condition ) statement

}

除了 init-statement 所声明的名称(若 init-statement 是声明)和 condition 所声明的名称(若条件是声明)在同一作用域中,作用域亦是 statement 的作用域。

(C++17 起)

因为控制的转移不允许进入变量的作用域,若在 statement 中遇到声明语句,则它必须拥有在其自身的复合语句内的作用域:

switch(1) {
    case 1: int x = 0; // 初始化
            std::cout << x << '\n';
            break;
    default: // 编译错误:跳到 default :会进入 'x' 的作用域而不初始化它
             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"; // 无错误
             break;
}

[编辑] 关键词

switch, case, default

[编辑] 示例

下列代码展示 switch 语句的几种用法

#include <iostream>
 
int main()
{
    int i = 2;
    switch (i) {
        case 1: std::cout << "1";
        case 2: std::cout << "2";   //执行始于此标号
        case 3: std::cout << "3";
        case 4:
        case 5: std::cout << "45";
                break;              //后继语句的执行被终止
        case 6: std::cout << "6";
    }
 
    std::cout << '\n';
 
    switch (i) {
        case 4: std::cout << "a";
        default: std::cout << "d"; //无可应用的 constant_expression
                                   //故执行 default
    }
 
    std::cout << '\n';
 
    switch (i) {
        case 4: std::cout << "a";  // 无任何事件执行
    }
 
    // 在 switch 语句中使用枚举时,若枚举项之一未处理,则许多编译器发布警告
    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;
    }
 
    // 有病的示例
 
    // 语句不必是复合语句
    switch(0)
        std::cout << "this does nothing\n";
 
    // 标号也不要求复合语句
    switch(int n = 1)
        case 0:
        case 1: std::cout << n << '\n';
 
    // Duff 之设备: http://en.wikipedia.org/wiki/Duff's_device
}

输出:

2345
d
red
1

[编辑] 参阅

switchC 文档