【C语言入门】`switch-case` 语句（常量表达式、`break`、`default`）

1. switch-case 的语法结构与核心规则

1.1 完整语法格式

switch (表达式) {
    case 常量表达式1:
        语句1;
        break;  // 可选
    case 常量表达式2:
        语句2;
        break;  // 可选
    // ... 多个case
    default:  // 可选
        语句n;
        break;  // 可选（一般建议加）
}

1.2 核心规则

• 表达式类型限制：switch 后的 “表达式” 必须是 整型或枚举类型（C 语言标准规定）。
  例如：int、char、enum 类型可以，但 float、double 不行（因为浮点数精度问题，无法严格匹配）。
• 常量表达式要求：每个 case 后的 “常量表达式” 必须是 编译期可确定的常量（如字面量、#define 宏、枚举值）。
  例如：case 3+2: 可以（3+2=5 是常量），但 case a: 不行（a 是变量，编译期不确定）。
• case 标签唯一：同一 switch 中不能有重复的 case 常量（比如两个 case 5:），否则编译报错。

1.3 执行流程

1. 计算 switch 表达式的值（记为 val）。
2. 从第一个 case 开始匹配：如果 val == 常量表达式1，执行 语句1；否则继续匹配下一个 case。
3. 如果所有 case 都不匹配，执行 default 中的语句（如果存在）。
4. 遇到 break 则跳出整个 switch 语句；没有 break 会继续执行下一个 case 的语句（穿透现象）。

---

2. 常量表达式的定义与限制

2.1 什么是 “常量表达式”？

在 C 语言中，“常量表达式” 是指 在编译阶段就能计算出结果的表达式，其值在运行时不可修改。常见形式包括：

• 整型 / 字符型字面量（如 5、'A'）。
• #define 定义的宏（如 #define MAX 10，则 case MAX: 合法）。
• 枚举常量（如 enum Color { RED, GREEN }; case RED:）。
• 算术运算后的常量（如 case 2+3: 等价于 case 5:）。

2.2 为什么 case 必须用常量表达式？

switch-case 的底层实现依赖 “跳转表”（Jump Table）。编译器会根据所有 case 的常量值，生成一个快速跳转的地址表。如果 case 是变量，编译器无法提前生成跳转表，只能退化为逐次比较（类似 if-else），这会失去 switch-case 的性能优势。

2.3 常见错误示例

int a = 5;
switch(a) {
    case a:  // 错误！a是变量，不是常量表达式
        printf("a");
        break;
    case 3+2:  // 正确！3+2=5是常量
        printf("5");
        break;
}

---

3. break 的作用机制与 “穿透现象”

3.1 break 的本质

break 是 C 语言中的 “控制流语句”，在 switch-case 中用于 终止当前 case 的执行，并跳出整个 switch 结构。

3.2 穿透现象（Fallthrough）

如果 case 中没有 break，代码会 “穿透” 到下一个 case 继续执行，直到遇到 break 或 switch 结束。

示例：

int x = 2;
switch(x) {
    case 1:
        printf("x=1\n");  // 不执行（x=2）
    case 2:
        printf("x=2\n");  // 执行（x=2）
    case 3:
        printf("x=3\n");  // 穿透，执行
    default:
        printf("x>3\n");  // 穿透，执行
}

输出结果：

x=2
x=3
x>3

3.3 穿透的 “合理使用场景”

虽然穿透常被视为 “潜在错误”，但在某些情况下可以刻意使用（需注释说明）。例如：

int month = 2;  // 二月
switch(month) {
    case 4: case 6: case 9: case 11:  // 4、6、9、11月有30天
        printf("30天");
        break;
    case 2:  // 二月单独处理
        printf("28或29天");
        break;
    default:  // 其他月份（1、3、5、7、8、10、12）
        printf("31天");
        break;
}

这里多个 case 共享同一段代码（如 case 4: case 6:...），通过穿透实现 “分组” 效果。

3.4 最佳实践

• 除非明确需要穿透，否则每个 case 后都应加 break。
• 穿透时需添加注释（如 // fallthrough），避免后续维护者误解。

---

4. default 的设计意义与使用场景

4.1 default 的作用

default 是 switch-case 的 “兜底选项”，当所有 case 都不匹配时，执行 default 中的代码。它不是必须的，但建议添加，避免 “无匹配” 时代码无任何反馈。

4.2 使用场景

• 输入验证：当 switch 依赖用户输入时（如菜单选择），用 default 提示 “输入错误”。

  int choice = 3;  // 用户选择3
  switch(choice) {
      case 1: printf("打开文件"); break;
      case 2: printf("保存文件"); break;
      default: printf("无效选择！");
  }
  

• 枚举值扩展：当枚举类型新增成员时，default 可以捕获未处理的新枚举值（避免漏判）。

4.3 注意事项

• default 最多只能有一个（否则编译报错）。
• default 可以放在 switch 中的任意位置（习惯上放最后），但建议统一放在末尾，提高可读性。

---

5. switch-case 与 if-else 的对比与选择

5.1 性能对比

• switch-case 更高效：当分支较多时，switch-case 底层通过 “跳转表” 直接跳转到目标分支（时间复杂度接近 O (1)）；而 if-else 需逐次比较（时间复杂度 O (n)）。
• if-else 更灵活：if-else 支持任意条件（如范围判断 if (x>5 && x<10)），而 switch-case 只能匹配具体常量值。

5.2 选择建议

• 当分支是 具体常量值（尤其是整型 / 枚举）且分支数较多时，优先用 switch-case（如状态机、菜单选择）。
• 当分支是 范围判断 或 复杂条件（如 x>5、str == "hello"）时，用 if-else。

---

6. switch-case 的底层实现（跳转表）

6.1 编译器的优化策略

对于 switch-case，编译器会根据 case 常量的分布生成两种常见结构：

• 跳转表（Jump Table）：当 case 常量连续且密集时（如 case 1: case 2: ... case 10:），编译器会生成一个数组，数组下标对应 case 值，数组元素是对应分支的地址。通过 switch 表达式的值直接计算下标，快速跳转（O (1) 时间）。
• 二分查找：当 case 常量稀疏时（如 case 1: case 100: case 1000:），编译器可能生成二分查找代码（O (logn) 时间），比逐次比较（O (n)）更快。

6.2 示例：跳转表的生成

假设有以下代码：

int x = 3;
switch(x) {
    case 1: printf("A"); break;
    case 2: printf("B"); break;
    case 3: printf("C"); break;
    case 4: printf("D"); break;
}

编译器会生成一个跳转表（数组），下标为 x 的值（1-4），数组元素是各 case 分支的地址。当 x=3 时，直接访问下标 3 的元素，跳转到 case 3 的代码。

6.3 为什么 switch 不支持浮点数？

浮点数的精度问题会导致 “相等判断” 不可靠（如 0.1+0.2 可能不等于 0.3）。此外，浮点数的取值范围太大，无法生成有效的跳转表，因此 C 语言标准规定 switch 的表达式只能是整型或枚举。

---

7. 常见错误与最佳实践

7.1 常见错误

• 忘记 break：导致代码穿透，产生意外结果。
• case 常量重复：如 case 5: case 5:，编译报错。
• switch 表达式类型错误：如 switch(3.14)（浮点数），编译报错。
• default 后不加 break：虽然不影响，但可能导致后续代码（如果有的话）被错误执行。

7.2 最佳实践

• 每个 case 后加 break（除非刻意穿透并注释）。
• default 用于处理 “未预期的情况”，避免沉默失败（如用户输入错误时提示）。
• 按 case 常量的顺序排列（如从小到大），提高可读性。
• 对枚举类型的 switch，确保覆盖所有枚举值（可借助编译器警告，如 -Wswitch）。

用生活例子形象理解 switch-case

我们可以把 switch-case 想象成一个 “游乐园门票闸机”：你手里有一张门票（对应 switch 中的 “表达式”），闸机需要根据门票的 “类型”（对应 case 的 “常量表达式”）决定你能进入哪个区域（执行哪段代码）。

1. switch：闸机的 “扫描器”

switch(表达式) 就像闸机的扫描器，它会先 “扫描” 你手里的门票（表达式的值），然后根据这个值去匹配对应的 case（门票类型）。
比如：
switch(day) 中的 day 是一个变量（比如值为 3），扫描器会检查 day 的值到底是多少（比如 3）。

2. case：不同类型的门票入口

每个 case 常量表达式: 就像一个 “专用入口”，只有门票值严格等于这个常量时，才能进入对应的区域（执行这段代码）。
比如：
case 1: 对应 “周一门票”，case 2: 对应 “周二门票”，以此类推。

关键规则：

• case 后面的 “常量表达式” 必须是确定不变的值（比如数字、字符、已定义的宏），不能是变量或复杂计算（比如 case a+1: 不行，因为 a 可能变化）。
• 就像门票的 “类型” 必须提前印好（固定），闸机不可能识别 “动态变化的门票”。

3. break：“出区停止键”

假设你拿的是 “周三门票”（case 3），进入后玩了一圈（执行 case 3 的代码），如果没有 break，闸机会 “误以为” 你还想继续，自动带你进入下一个入口（case 4），这可能不是你想要的！

break 的作用就是 “停止”：执行完当前 case 的代码后，直接跳出 switch 语句，不再继续检查后面的 case。
就像你玩完周三的区域后，按了 “停止键”，闸机不会再带你去周四、周五的区域。

4. default：“无匹配门票的备用通道”

如果你的门票类型（switch 表达式的值）没有对应的 case（比如 day=7，但没有 case 7:），这时候 default: 就像 “备用通道”，会引导你去默认区域（执行 default 的代码）。

注意：default 不是必须的，但建议加上，避免 “无匹配” 时代码 “失控”（比如什么都不执行）。

举个超简单的例子（周末判断）

假设 day 是 1-7 的数字（1 = 周一，7 = 周日），用 switch-case 判断是否是周末：

int day = 6;  // 假设今天是周六
switch(day) {
    case 1: case 2: case 3: case 4: case 5:  // 周一到周五
        printf("工作日，要上班/上学~");
        break;  // 执行完后停止
    case 6: case 7:  // 周六、周日
        printf("周末，休息！");
        break;
    default:  // 其他情况（比如day=0或8）
        printf("输入的日期不对哦~");
}

• case 1: case 2:... 是多个 case 共享同一段代码（周一到周五都输出 “工作日”）。
• break 保证执行完 “工作日” 或 “周末” 的代码后，不会继续往下跑。