一、核心概念与语法结构
switch语句又被称为“开关语句”，其核心作用是根据一个整型表达式的结果，匹配对应的case标号，从而执行相应的代码块。它通常与case、break、default三个关键字配合使用，基础语法结构为：
switch(表达式){
case 常量表达式1: 语句1;
case 常量表达式2: 语句2;
…
case 常量表达式n: 语句n;
default: 语句n+1;
}
其中，switch(表达式)是结构的入口，表达式的结果必须是能自动转换为整型的基本数据类型，如int、char等；case后的常量表达式是编译期可确定值的标号，如62、'8'；default则是所有case不匹配时的默认执行分支。
二、执行机制与“贯穿效应”
switch语句的执行逻辑是“标号匹配+顺序执行”：当表达式的值与某个case标号相等时，程序会跳转到该标号处开始执行，但不会在执行完当前case的语句后自动跳出整个switch结构。这种特性被称为“贯穿效应”。
以图片中的无break示例代码为例，当输入3时，程序匹配到case 3后，会执行printf("Wednesday\\n")，随后继续执行后续case 4到case 7的所有语句，以及default分支，最终输出Wednesday、Thursday、Friday、Saturday、Sunday和Error。而添加break关键字后，程序执行完当前case的语句会立即跳出switch结构，从而避免了贯穿效应，实现精准的单分支选择。
三、使用规则与约束
switch语句的灵活性同时伴随着严格的语法规则，这些规则是保证代码正确执行的关键：
数据类型限制：仅支持整型及可自动转为整型的类型（如char、unsigned int），不支持实型（如float、double）。
表达式与标号要求：switch的表达式不能为实型，case后的标号必须是唯一的常量表达式，不允许出现重复的case值。
代码块省略特性：case后的多条语句可以不用{}包裹，程序会自动顺序执行该标号后的所有语句。
分支顺序无关性：各case和default的先后顺序可以任意调整，不会影响执行结果，default分支也可以根据需求省略。
break的可选性：break是跳出switch结构的可选关键字，是否添加取决于是否需要避免贯穿效应，这也让switch语句的使用更灵活。
这些规则不仅是语法上的要求，更反映了switch语句“基于标号跳转”的设计本质。理解这些规则，结合“贯穿效应”的原理，才能真正掌握switch语句的正确用法，避免在多分支场景下出现逻辑错误。
