Ja va Switch表达式：告别冗余break，拥抱箭头语法
Ja va的switch语句，一个熟悉又常让人“踩坑”的结构。从Ja va 14开始，一项重要的预览特性被引入，并在Ja va 17中正式成为标准：switch表达式。其核心，便是引入了->箭头语法。这不仅仅是一次语法糖的更新，更是对代码安全性和简洁性的一次实质性提升。它让每个分支都变成了一个独立的“表达式分支”，自动终止、杜绝穿透，从而彻底告别了对break的依赖。
箭头分支天然无穿透，无需 break
回想一下传统的switch语句，是不是总得在每个case后面小心翼翼地加上break？一旦忘记，程序就会“一路滑到底”，执行后续所有分支，这种“穿透”（fall-through）行为是许多隐蔽bug的根源。而使用->的switch表达式则完全不同：每个分支都是一个独立的作用域，执行完毕后自动退出，从根本上杜绝了穿透的可能。
来看一个直观的对比：
✅ 使用 ->（简洁安全）
String dayType = switch (day) {
case "Mon", "Tue", "Wed", "Thu", "Fri" -> "Weekday";
case "Sat", "Sun" -> "Weekend";
default -> "Unknown";
};
❌ 传统写法（需手动 break）
String dayType;
switch (day) {
case "Mon": case "Tue": case "Wed": case "Thu": case "Fri":
dayType = "Weekday";
break; // 忘写就出错
case "Sat": case "Sun":
dayType = "Weekend";
break;
default:
dayType = "Unknown";
break;
}
高下立判。箭头语法不仅代码行数更少，更重要的是，它移除了一个容易出错的环节，让代码意图更加清晰。
支持多语句分支：用花括号 + yield 返回值
当然，实际开发中，一个分支里往往不止一行简单的赋值。当需要执行多条语句时怎么办？箭头右边必须是一个表达式或一个语句块。这时，只需用{ }将多条语句包裹起来，并在最后使用yield关键字显式返回结果即可。
yield是switch表达式的专用关键字，作用就是从代码块中返回一个值。- 在这个代码块里，你可以声明局部变量、调用方法、甚至进行条件判断，灵活性大大增强。
- 最关键的是，依然不需要
break，yield执行后会自动结束当前分支。
下面这个例子展示了如何处理复杂分支：
int score = switch (grade) {
case "A" -> 90;
case "B" -> 80;
case "C" -> {
System.out.println("Passing, but needs improvement");
yield 70;
}
case "F" -> {
logFailure(grade);
yield 0;
}
default -> throw new IllegalArgumentException("Invalid grade: " + grade);
};
必须覆盖所有可能取值（或提供 default）
这是switch表达式另一个关键的设计哲学：完备性。编译器会严格检查你是否穷举了所有可能的取值。如果遗漏了，并且没有提供default分支，那么编译将无法通过。
- 对于
enum类型，你必须列出所有枚举项，或者用一个default分支来兜底。 - 对于
String或int这类无法在编译期穷举所有可能值的类型，则强制要求必须有default分支。
这个特性看似增加了限制，实则是在倒逼开发者主动思考和处理那些边界或异常情况，从而显著提升代码的健壮性。
只能用于 switch 表达式，不能混用传统 case
需要特别注意，->箭头语法和传统的:语法不能混用在同一个switch结构中。一旦你决定使用箭头，整个结构就必须是一个表达式，这意味着它必须有一个返回值，并且所有分支产生的值必须是同一类型（或能统一转换为某个公共类型）。
- 别想着在箭头分支里写
break "value"——那是旧式带标签的跳转语法，已经过时了。 - 除非处理的是枚举且已全部列出，否则
default分支不能省略。 - 返回值的类型由所有分支共同推断，如果出现类型不一致（比如一个分支返回
"A"，另一个返回42），编译器会直接报错。
总而言之，从Ja va 17开始，是时候将switch表达式和箭头语法纳入你的标准工具箱了。它用更简洁、更安全的语法，帮你写出更可靠、更易维护的代码。这不仅是语法的进化，更是编程思维向更严谨、更清晰方向的一次迈进。
