19、switch语句：case穿透与default分支的必要性
switch语句，C语言里一个老生常谈的话题。说实话，我见过太多人在这上面栽跟头了。我自己刚入行那会儿，也因为这个特性吃过亏。今天咱们就好好聊聊，switch语句里两个最容易被忽视，却又极其关键的点：case穿透和default分支。
一、case穿透：是特性，不是bug
很多人刚学C语言时，都会觉得switch语句的“穿透”特性很奇怪。为什么每个case后面不加break，程序就会继续往下执行？这设计是不是有问题？
其实不是。这个特性是故意设计的，而且非常有用。你想想看，如果每个case都自动跳出，那多个case共享同一段代码时，反而会很麻烦。
核心理解：case穿透不是缺陷，而是一种“显式控制”的设计哲学。C语言把控制权交给你，让你决定什么时候跳出。
1.1 穿透的实际应用场景
我在项目中遇到过这样一个场景：需要根据用户输入的数字，执行不同级别的日志输出。比如输入1输出ERROR，输入2输出WARNING，输入3输出INFO。但有个要求——高优先级要包含低优先级的内容。
switch (log_level) {
case 3:
printf("[INFO] ");
// 这里故意不break，继续往下
case 2:
printf("[WARNING] ");
case 1:
printf("[ERROR] ");
break;
default:
printf("[UNKNOWN] ");
break;
}你看，这里就利用了穿透特性。输入3时，会依次输出INFO、WARNING、ERROR。输入2时，输出WARNING和ERROR。这就是穿透的经典用法——优先级叠加。
1.2 穿透的陷阱
但是，穿透也容易带来问题。最常见的就是忘记加break。我曾经排查过一个bug，花了整整一个下午。最后发现，就是一个case后面漏了break，导致程序执行了不该执行的代码。
避坑指南：每个case后面，只要不是故意要穿透，一定要加break。我个人的习惯是，写完case后立刻写break，再写处理逻辑。这样就不会漏了。
二、default分支：不是可有可无
很多人写switch语句时，觉得default分支可有可无。反正我的case已经覆盖了所有可能的值，加不加default都一样。真的是这样吗？
嗯，这里要注意。default分支的作用，远不止“兜底”这么简单。
2.1 default的三大作用
| 作用 | 说明 | 示例 |
|---|---|---|
| 兜底处理 | 处理未预期的输入值 | 用户输入了0-3以外的数字 |
| 错误检测 | 捕获非法状态或数据 | 枚举值被意外修改 |
| 代码可维护性 | 明确告知读者“所有情况都已考虑” | 新增枚举值时，编译器不会警告 |
我个人习惯，即使所有case都覆盖了，也会加一个default分支。里面至少放一个assert(0)或者日志输出。这样一旦出现意外情况，我能第一时间知道。
switch (cmd) {
case CMD_START:
start_proc();
break;
case CMD_STOP:
stop_proc();
break;
case CMD_RESET:
reset_proc();
break;
default:
// 理论上不会执行到这里，但以防万一
log_error("Unknown command: %d", cmd);
break;
}2.2 不加default的风险
你可能会说：“我的枚举值就三个，case都写了，不会有问题。” 但代码是会演化的。三个月后，新同事加了一个枚举值，但他不知道switch语句里也要加对应的case。结果呢？程序静默地跳过了这个值，没有任何提示。这种bug最难查。
我的建议：永远不要省略default分支。哪怕里面只放一个空语句，也要写。这是一种编程习惯，更是一种防御性编程的态度。
三、switch语句的核心逻辑图
下面这张图，帮你理清switch语句的执行流程和关键决策点：
四、实战中的最佳实践
说了这么多，总结几条我这些年积累下来的经验：
- 每个case都要有break，除非你明确需要穿透。而且穿透的地方，一定要加注释说明原因。
- default分支必须写。哪怕里面只放一个空语句，也要写。这是态度问题。
- case的值尽量用枚举或宏，不要直接写数字。这样代码可读性更好，也更容易维护。
- case的顺序，我习惯按频率从高到低排列。这样执行效率会高一点点，但更重要的是逻辑清晰。
- 不要在一个case里写太多代码。如果超过10行，建议拆成函数。否则switch语句会变得很难读。
特别注意：switch语句中的变量声明要小心。C99标准允许在case中声明变量，但必须用花括号括起来。否则可能会编译报错。我见过有人因为这个折腾了半天。
// 正确的写法
switch (val) {
case 1: {
int temp = 10;
// 处理逻辑
break;
}
case 2:
// 处理逻辑
break;
default:
break;
}好了，关于switch语句的case穿透和default分支，就聊这么多。记住一句话：穿透是工具，default是底线。用好工具，守住底线，你的代码就会少很多坑。
公众号:蓝海资料掘金营，微信deep3321