根据条件的值,将控制流转移到若干语句之一。

语法

attr(可选) switch ( 条件 ) 语句 (C++17 前)
attr(可选) switch ( 初始化语句(可选) 条件 ) 语句 (C++17 起)
attr(C++11) - 任意数量的属性
条件 - 任何整型或枚举类型,或可按语境隐式转换到整型或枚举类型的类类型的表达式,或单个这种类型的非数组变量的,带花括号或等号初始化器的声明。
初始化语句(C++17) - 下列之一

- 一条表达式语句(可为空语句;”)
- 一条简单声明,典型地为带初始化器的变量声明,但它可以声明任意多个变量或结构化绑定


- 注意任何 初始化语句 必须以分号 ; 结尾,这就是为什么它常被非正式描述为后随分号的表达式或声明。
语句 - 任何语句(典型地为复合语句)。在 语句 中允许使用 case:default: 标号,且 break; 语句具有特殊含义。
attr(可选) case 常量表达式 : 语句 (1)
attr(可选) default : 语句 (2)
常量表达式 - 与 条件 经过转换和整型提升后的类型相同的常量表达式

解释

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

若 条件 求值为等于 常量表达式 之一的值,则控制被转移到用该 常量表达式 标号化的语句。

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

当 语句 中遇到 break 语句时退出 switch 语句:

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

编译器可能在发生直落(抵达下个 case 标号而无 break)时发布警告,除非属性 [[fallthrough]] 紧接该标号之前出现以指示其直落是故意如此。

若使用 初始化语句,则 switch 语句等价于


{

- 初始化语句
- switch ( 条件 ) 语句

}

但 初始化语句 所声明的名字(若 初始化语句 是声明)和 条件 所声明的名字(若条件是声明)处于同一作用域中,该作用域亦是 语句 的作用域。

(C++17 起)

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

  1. switch(1) {
  2. case 1: int x = 0; // 初始化
  3. std::cout << x << '\n';
  4. break;
  5. default: // 编译错误:跳到 default: 会进入 'x' 的作用域而不初始化它
  6. std::cout << "default\n";
  7. break;
  8. }
  1. switch(1) {
  2. case 1: { int x = 0;
  3. std::cout << x << '\n';
  4. break;
  5. } // 'x' 的作用域在此结束
  6. default: std::cout << "default\n"; // 无错误
  7. break;
  8. }

关键词

switch,case,default

示例

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

运行此代码

  1. #include <iostream>
  2.  
  3. int main()
  4. {
  5. int i = 2;
  6. switch (i) {
  7. case 1: std::cout << "1";
  8. case 2: std::cout << "2"; //执行始于此标号
  9. case 3: std::cout << "3";
  10. case 4:
  11. case 5: std::cout << "45";
  12. break; //终止后继语句的执行
  13. case 6: std::cout << "6";
  14. }
  15.  
  16. std::cout << '\n';
  17.  
  18. switch (i) {
  19. case 4: std::cout << "a";
  20. default: std::cout << "d"; //无适用的常量表达式
  21. //故执行 default
  22. }
  23.  
  24. std::cout << '\n';
  25.  
  26. switch (i) {
  27. case 4: std::cout << "a"; //未执行任何语句
  28. }
  29.  
  30. // 当在 switch 语句中使用枚举时,若枚举项之一未处理,许多编译器都会发布警告
  31. enum color {RED, GREEN, BLUE};
  32. switch(RED) {
  33. case RED: std::cout << "red\n"; break;
  34. case GREEN: std::cout << "green\n"; break;
  35. case BLUE: std::cout << "blue\n"; break;
  36. }
  37.  
  38. // C++17 的 初始化语句 语法在不存在到整型或枚举类型的隐式转换时很有用
  39. switch (Device dev = get_device(); dev.state())
  40. {
  41. case SLEEP: /*...*/ break;
  42. case READY: /*...*/ break;
  43. case BAD: /*...*/ break;
  44. }
  45.  
  46. // 有问题的示例
  47.  
  48. // 语句不必是复合语句
  49. switch(0)
  50. std::cout << "什么也不会发生\n";
  51.  
  52. // 标号也不要求复合语句
  53. switch(int n = 1)
  54. case 0:
  55. case 1: std::cout << n << '\n';
  56.  
  57. // 达夫设备: http://en.wikipedia.org/wiki/Duff's_device
  58. }

输出:

  1. 2345
  2. d
  3. red
  4. 1