Java switch结构从传统语句演进为支持表达式和模式匹配，_作为未命名模式在Java 21+中提供更简洁的默认处理，这是现代Java开发中必须掌握的核心语法。
传统switch语句的局限与痛点
语法冗余与贯穿隐患
传统switch语句是Java早期就有的分支结构，但不少开发者在使用时踩过break遗漏的坑，每个case末尾必须手动加break，否则会“贯穿”到下一个分支，这种设计在复杂场景下容易引发逻辑错误，业内专家指出，贯穿行为虽然能实现某些特殊逻辑（如多个case共享一段代码）,但多数情况下它带来的困惑远大于便利。
变量作用域与可读性差
每个case块默认是同一个作用域，你不能在多个case中声明同名变量而不加花括号，传统switch只能比较整数、枚举、字符串等有限类型，且无法直接返回一个值，为了实现“根据条件赋值”，你不得不写一大段if-else或者在外层定义变量并在每个case里赋值,代码碎片化严重。
常见痛点场景
- 根据状态码返回中文描述：传统写法需要定义临时变量，每个
case后赋值再加break，最后返回变量,啰嗦且容易漏掉赋值。 - 多条件合并：比如多个
case执行相同逻辑，你只能写case 1: case 2: case 3:,虽然可行但视觉上不够直观。
java switch表达式示例：返回值与箭头语法
箭头语法消除贯穿
Java 14正式引入switch表达式，最大的改变是箭头语法->，每个分支都用箭头连接，不再需要break，因为箭头分支天然不会贯穿，同时表达式本身可以返回值，用yield关键字（或直接作为表达式结果）。
String result = switch (day) {
case MONDAY, FRIDAY -> "Work";
case TUESDAY -> "Work too";
default -> "Rest";
};
这种写法对java switch表达式示例中的常见需求根据枚举返回字符串非常直观，与传统语句相比，表达式版本更紧凑，且编译器强制覆盖所有可能值（对枚举
switch必须处理所有常量，否则编译报错）。
多值匹配与代码简化
箭头语法天然支持多个case用逗号分隔，避免了传统写法中连续写case的重复。
switch (score) {
case 1, 2, 3 -> System.out.println("低分");
case 4, 5, 6 -> System.out.println("中等");
default -> System.out.println("高分");
}
这在java switch简化代码场景中极其实用,尤其是需要根据多个离散值做相同处理时。
yield与块级逻辑
如果分支内需要多行逻辑，可以用花括号包裹，并用yield返回值。yield的作用类似return，但用于switch表达式内部。
java switch模式匹配开发：从类型匹配到解构
类型模式与守卫
Java 17开始预览模式匹配，Java 21正式转正，模式匹配允许你在case中直接匹配类型，并自动绑定变量，消除了传统的instanceof+强制转换的样板代码。
Object obj = "Hello";
String result = switch (obj) {
case String s -> "字符串长度" + s.length();
case Integer i -> "数字" + i;
default -> "未知";
};
这被称为java switch模式匹配开发中的核心特性。case String s不仅判断obj是否为String，还自动将obj赋值给s，后续代码直接使用s,无需额外转换。
守卫模式（when子句）
模式匹配可以结合when关键字添加额外条件（守卫）。
switch (obj) {
case String s when s.length() > 5 -> "长字符串";
case String s -> "短字符串";
default -> "其他";
}
守卫模式让分支条件更精细，不再需要嵌套if判断。
未命名模式_的用途
Java 21引入_关键字作为未命名模式，用于你不需要使用匹配值的场景，例如在switch中，你只关心类型,不关心具体值：
switch (obj) {
case String _ -> System.out.println("是字符串");
case Integer _ -> System.out.println("是整数");
default -> ...
}
_还可以用在默认分支，替代default关键字？不，default仍然保留，但_不能单独作为default，它只能匹配但忽略变量，在模式匹配中，_也可以用于模式解构的占位，比如case Point(int x, int _) ->只取x坐标,忽略y。
常见误区：有人认为_可以完全替代default，这是错误的。_未命名模式必须和类型模式配合，不能单独作为通配符。default仍然是switch的兜底分支。
switch与if-else的对比选择
条件覆盖与可读性
- if-else适合区间、范围判断，比如
score > 90。 - switch适合精确离散值匹配，尤其是枚举、常量、字符串有限集合。
在java switch与if对比中，当条件分支超过3个且都是确定值时，switch的可读性远高于链式if-else，特别是模式匹配出现后，switch对类型判断的简洁性也超越了if-else结合instanceof。
性能差异
现代JVM对switch会生成表格查找或二分查找，性能通常优于同等条件的if-else链，但多数业务场景下差异可忽略,优先考虑代码清晰度。
何时坚持用if-else
- 条件涉及浮点数、布尔运算组合。
- 逻辑复杂,需要多个条件组合判断。
- 分支数量很少（2-3个）且特征简单。
实战：用switch简化业务代码
根据用户角色计算权限
传统写法：定义int role，用if-else多层判断,使用switch表达式：
String permission = switch (role) {
case ADMIN, MANAGER -> "ALL";
case USER -> "READ_WRITE";
case GUEST -> "READ";
default -> "NONE";
};
配合模式匹配后，如果role是枚举，编译器会强制覆盖所有分支,消除漏掉情况的隐患。
处理JSON解析后的类型分支
当从JSON解析出Object类型时，往往需要根据实际类型做不同处理,模式匹配让这种代码变得优雅：
Object data = parseJson(json);
String type = switch (data) {
case String s -> "字符串";
case Number n -> "数字";
case List<?> list -> "数组，大小" + list.size();
case Map<?, ?> map -> "对象，属性数" + map.size();
case null -> "空值";
default -> "未知";
};
注意case null是Java 17+引入的，之前null无法被switch匹配，现在可以单独处理null,避免了NPE。
结合_忽略无关变量
假设有一个Point记录类，需要根据x坐标分区,忽略y：
switch (point) {
case Point(int x, int _) when x > 0 -> "右侧";
case Point(int x, int _) when x < 0 -> "左侧";
case Point(0, int _) -> "中轴";
}
这里_让我们专注于x，y被忽略,语法更干净。
常见问题QA
Q：java switch表达式和语句有什么区别？
A：语句是传统版本，用break控制流程，不能返回值；表达式是Java 14+引入，用箭头语法或yield返回值，编译器强制检查所有分支覆盖，没有贯穿问题，实际开发中优先使用表达式,除非你需要执行副作用且不需要返回值。
Q：如何在Java 21中使用模式匹配switch？
A：确保项目JDK版本为21或以上，并启用语言特性，模式匹配支持case Type variable语法，可以结合when守卫条件，对于记录类，支持解构模式（如Point(int x, int y)），需要注意的是，模式匹配目前是预览特性？在Java 21中已经是正式特性,无需开启预览。
Q：_下划线在switch中有什么用？
A：_是Java 21引入的未命名模式，在模式匹配中用于表示“我不关心这个变量的值”，例如case String _表示匹配字符串类型但忽略具体值，case Point(int x, int _)表示只匹配x坐标而忽略y，它不能单独作为default使用，也不能替换default关键字。_的主要作用是减少无用变量声明,让代码意图更清晰。
首发原创文章，作者：王坚，如若转载，请注明出处：https://idctop.com/java-switch%e7%bb%93%e6%9e%84%e6%80%8e%e4%b9%88%e7%94%a8%ef%bc%8c%e6%9c%89%e5%93%aa%e4%ba%9b%e6%b3%a8%e6%84%8f%e4%ba%8b%e9%a1%b9%ef%bc%9f/
