怎么利用 switch 的箭头语法 -> 消除传统分支结构中的冗余 break 关键字

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表达式和箭头语法纳入你的标准工具箱了。它用更简洁、更安全的语法，帮你写出更可靠、更易维护的代码。这不仅是语法的进化，更是编程思维向更严谨、更清晰方向的一次迈进。