Go的switch支持无表达式写法，将case视为布尔表达式顺序求值，首个true即执行并自动break；带表达式时case逗号分隔表示多值匹配；fallthrough强制穿透至下一case；type switch专用于接口类型判断。
switch 后面不加表达式怎么工作
Go 的 switch 支持无表达式写法，本质是把每个 case 当作布尔表达式求值，从上到下顺序执行，遇到第一个为 true 的就进入对应分支，且默认自动 break（不会穿透）。
这种写法常用于条件组合判断，比嵌套 if-else 更清晰：
switch {
case x > 0 && y < 10:
fmt.Println("第一象限附近")
case x < 0 && y > 0:
fmt.Println("第二象限附近")
case x == 0 || y == 0:
fmt.Println("在坐标轴上")
default:
fmt.Println("其他情况")
}注意：所有 case 必须是可求值的布尔表达式，不能留空；default 不是必须的，但建议加上以防漏覆盖。
case 中多个值用逗号分隔的含义
当 switch 带表达式（如 switch x）时，case 后可列多个用逗号分隔的常量或字面量，表示“匹配其中任意一个”——这是 Go 对 C 风格 fallthrough 的替代设计，避免意外穿透。
立即学习“go语言免费学习笔记（深入）”；
常见误用是以为逗号是“逻辑或”，其实它只是语法糖，底层仍做逐个相等比较：
switch mode {
case "read", "r":
openMode = os.O_RDONLY
case "write", "w":
openMode = os.O_WRONLY | os.O_CREATE
case "append", "a":
openMode = os.O_APPEND | os.O_CREATE
default:
return errors.New("unknown mode")
}要点：
-
mode类型必须和所有case字面量类型一致（比如不能混用"r"和42） - 逗号分隔仅适用于同一类型的常量，不支持变量或表达式（如
case "r", otherVar会编译失败） - 若需运行时动态多值匹配，应改用
map[string]bool或slice查找
fallthrough 是什么，什么时候必须用
fallthrough 是 Go 中唯一允许 case 穿透的关键字，但它只能用在 case 末尾，且强制要求下一个是**紧邻的** case（不能是 default），也不能跨空行或注释。
典型场景极少，常见于枚举位掩码或需要共享初始化逻辑：
switch flag {
case FlagA:
doA()
fallthrough // 显式声明，否则不会进 FlagB 分支
case FlagB:
doB() // 这里会被 FlagA 和 FlagB 共同触发
case FlagC:
doC()
}关键限制：
-
fallthrough后不能跟break、return、goto等终止语句 - 不能在
default分支中使用fallthrough（语法错误） - 大多数时候用
fallthrough是代码异味，优先考虑重构为函数复用或提前返回
switch 和 type switch 的根本区别
普通 switch 比较值，type switch 判断接口变量的底层具体类型，语法形似但语义完全不同。它只允许出现在 switch x.(type) 形式中，case 后必须是类型（不是值），且不允许逗号分隔多个类型（要用多个 case）。
容易踩坑的是：type switch 的 case 变量是新绑定的局部变量，类型即为该 case 声明的类型：
var v interface{} = 42
switch x := v.(type) {
case int:
fmt.Printf("int: %d\n", x) // x 是 int 类型
case string:
fmt.Printf("string: %s\n", x) // x 是 string 类型
case nil:
fmt.Println("nil")
default:
fmt.Printf("unknown type: %T\n", x) // x 是原始接口类型
}注意：
-
v必须是接口类型（包括interface{}），对具体类型用switch值比较即可 -
case nil是合法的，表示接口值为 nil（不是底层值为 nil） - 不能在同一个
case中写多个类型，如case int, int32:会报错
type switch 编译期无法优化成跳转表，性能略低于普通 switch，但类型检查更安全。真正难的是理解「接口值 = 动态类型 + 动态值」这一层抽象，而不是语法本身。
