- 什么是 switch 语句
- 基本语法
- 穿透现象（Fall-through）
- break 的作用范围
- default 的位置与作用
- switch 与 if-else 的选择
- 容易踩的坑
- 实战示例：简易计算器
- 深入：switch 如何工作？
- 小结
什么是 switch 语句
switch 是 C 语言中用于多分支选择控制的结构，它根据一个整型表达式的值，跳转到匹配的 case 标签处执行代码，与一连串的 if-else if 相比，switch 能使代码更加清晰、可读性更高，尤其在处理等值判断（例如菜单选择、状态机、枚举值匹配）时优势尤为明显。
基本语法
switch 语句的基本结构如下：首先书写关键字 switch，后跟一对圆括号，括号内是一个整型表达式（可以是 int、char、enum 等类型），接着是一对大括号，大括号内部包含多个 case 子句和一个可选的 default 子句，每个 case 后面要跟一个整型常量表达式（不能是变量或范围），后面跟一个冒号，再跟该分支要执行的语句块，通常以 break 如果某个 case 没有 break，程序会继续向下执行后续的 case 代码，这种现象称为“穿透”。default 子句用于处理所有未匹配的情况，可以放在任何位置，但习惯放在最后。
关键点：
表达式必须是整型（int、char、enum等），不能是浮点数或字符串。case后面必须是整型常量，不能是变量或范围。break用于跳出整个switch，否则会“穿透”执行后续case。default是可选的，处理所有未匹配的情况，可放在任意位置，但习惯放在最后。
穿透现象（Fall-through）
穿透是 switch 最易出错的地方——如果某个 case 末尾没有 break，程序会继续往下执行下一个 case 的代码，直到遇到 break 或 switch 结束。
当变量 n 的值为 2 时，case 1、case 2、case 3 都没有 break，且只有 case 2 和 case 3 中有打印语句，那么程序会从匹配的 case 2 开始执行，打印“二”，然后继续执行 case 3 打印“三”，最终输出“二三”。
故意使用穿透的场景
有时我们恰好需要多个 case 共享同一段逻辑，根据学生的等级输出及格或不及格：
假设 grade 是一个字符变量，若为 'A'、'B' 或 'C' 则输出“及格”；若为 'D' 或 'F' 则输出“不及格”；其他情况输出“无效等级”，我们可以将 'A'、'B'、'C' 三个 case 写在一起，后面只写一次公共语句并加 break；同样，'D' 和 'F' 也共享同一语句。
break 的作用范围
break 只跳出当前 switch 结构，不会影响外层的循环，即使 switch 嵌套在循环中，break 也不会跳出循环，仅结束 switch 的执行，一个 for 循环从 0 到 2，循环体内有一个 switch(i)，当 i 为 1 时，break 仅跳出 switch，随后循环继续执行 i=2 的情况，若想提前退出循环，需要使用 goto、return 或借助循环条件控制。
default 的位置与作用
default 可以放在 switch 内的任何位置，但通常放在最后，如果放在前面，同样受穿透规则的影响——若前面有 case 匹配且没有 break，会继续执行到 default，当 x 等于 5 时，default 位于第一个位置，且后面有 break，它会输出“默认执行”并结束。default 没有 break，它也会向下穿透到后续 case。default 并不是必须的，但如果表达式的值可能覆盖不到任何 case，且没有 default，程序会直接跳过 switch 主体，什么也不执行。
switch 与 if-else 的选择
| 对比维度 | switch | if-else |
|---|---|---|
| 适用条件 | 等值判断（整数、字符、枚举） | 任意布尔表达式（范围、浮点、字符串比较等） |
| 可读性 | 分支多时清晰整齐 | 分支多时易混乱 |
| 性能 | 编译器可能优化为跳转表，效率高 | 依次比较，O(n) |
| 灵活性 | 不能处理变量范围、<、> 等 | 任意逻辑条件 |
建议：
- 当比较的值是离散的、有限的整数枚举时，用
switch。 - 当需要范围判断（如
if (score >= 90)）或浮点数相等时，用if-else。
容易踩的坑
忘写 break
这是最常见的 bug，会导致意料之外的穿透，建议每个 case 末尾都写上 break，除非你确实需要利用穿透来简化代码。
case 后放变量或非常量
case 后面的表达式必须是编译时就能确定的整型常量，不能是变量，用变量 a 作为 case 值会导致编译错误。
在 case 中定义变量
在 case 内部直接定义变量（如 int i = 0;）可能会在某些编译器中报错，因为 C 标准要求变量定义位于块的开头，解决方法是给该 case 加上一对花括号，形成独立的作用域：case 1: { int i = 0; break; }。
switch 表达式类型错误
switch 的表达式不能是浮点数或字符串，如果必须使用浮点数，可以先将其强制转换为整型（如 switch ((int)f)），但会丢失小数部分，需要谨慎使用。
实战示例：简易计算器
一个经典的应用是简易计算器,程序首先提示用户输入一个运算符（+、-、*、/），然后输入两个操作数，接着使用 switch 根据运算符执行相应的运算：如果是加法则输出两数之和，减法则输出差，乘法则输出积，除法时需判断除数是否为零，若除数为零则提示错误，否则输出商，如果输入了无效的运算符，则通过 default 提示“无效运算符”，整个程序结构清晰，比用 if-else 嵌套更易读。
深入：switch 如何工作？
编译器在编译 switch 时，通常会根据 case 值的分布情况选择不同的优化策略。case 值在较小的整数区间内且比较密集，编译器可能会生成一个“跳转表”（lookup table），表中存储每个 case 对应的代码地址，然后通过一条间接跳转指令（jmp table[x - 最小值]）在常数时间内完成跳转，时间复杂度为 O(1)。
case 值比较稀疏，编译器可能会退化为二分查找或类似 if-else 的比较链，效率略低但仍可能优于手写的 if-else，不过需要明确的是，在分支数量很少（如 2～3 个）的情况下，switch 和 if-else 的性能差异几乎可以忽略，此时应优先考虑代码的可读性。
小结
switch适用于整型等值多分支判断，结构清晰，非常适合菜单、状态机等场景。- 注意 break 和 穿透 的用法，善用穿透可以简化代码（如多个
case共享同一逻辑）。 - 牢记
case后必须是常量表达式，不可使用变量或范围。 - 若需要在
case内定义局部变量，请加上花括号形成独立作用域。 switch与if-else是互补的工具，应根据具体场景灵活选择。
掌握 switch 的规范用法，能帮助你写出更整洁、更高效的 C 语言代码。
