C语言switch语句两大技术疑问：常量表达式与无break执行逻辑

算力阿峰

2026-8-1

C语言switch语句常见问题解答

1. 为何C语言的switch语句中仅允许使用常量表达式？

编译期优化需求：switch的核心优势是编译器能生成跳转表（jump table）实现快速分支，这要求case的匹配值必须在编译阶段就能确定。如果用变量或运行时才能算出的表达式，编译器没法提前构建跳转表，只能退化成和if-else链一样的低效判断，失去switch的性能意义。
语法确定性：C语言设计时就要求case标签是编译期常量，避免运行时的不确定性。要是允许变量当case值，不同运行场景下匹配逻辑会变，很容易写出逻辑混乱、难以调试的代码。
语言标准硬性规定：C标准明确要求case表达式必须是整数类型的常量表达式，这是语法层面的规则，确保编译器能正确解析和处理switch结构。

2. 当switch语句中未使用break时，为何后续所有case都会被执行？

这是C语言switch的贯穿（fall-through）特性，原因主要有两点：

设计初衷：早期C语言引入这个特性是为了支持多case共享代码的场景，比如多个case需要执行相同逻辑时，不用重复写代码，示例如下：

switch(score_level) {
    case 1:
    case 2:
    case 3:
        printf("初级水平\n");
        break;
    case 4:
    case 5:
        printf("高级水平\n");
}

匹配到1、2、3任意一个后，都会执行打印逻辑，这就是利用了贯穿特性。