Java 12 引入 switch 表达式预览特性，将 switch 从语句转为可直接返回值的表达式，支持箭头语法、隐式作用域、无 fall-through、yield 返回及穷尽性检查。
Java 12 正式引入了 switch 表达式（Switch Expressions） 的预览特性（JEP 325），它不是简单增强，而是从根本上改变了 switch 的使用方式：从语句（statement）转向表达式（expression），支持直接返回值、简化分支结构、消除 fall-through 陷阱，并为后续 Java 版本中 switch 的现代化铺平道路。
支持直接返回值，无需 break + return 拼接
传统 switch 中若想根据条件返回不同值，必须在每个 case 中写 return 或配合 break + 外部变量赋值，容易出错且冗长。switch 表达式允许整个结构本身就是一个值：
String dayType = switch (day) {
case "Mon", "Tue", "Wed", "Thu", "Fri" -> "Weekday";
case "Sat", "Sun" -> "Weekend";
default -> "Invalid day";
};
</font>
<p>这里 <code>switch</code> 是一个表达式，直接赋值给 <code>dayType</code>；箭头 <code>-></code> 后是表达式结果，自动终止，不穿透。</p>
<H3>用箭头语法替代冒号 + break，逻辑更清晰</H3>
<p>新语法用 <code>case L -></code> 替代传统的 <code>case L:</code>，带来两个关键改进：</p><p><span>立即学习</span>“<a href="https://pan.quark.cn/s/c1c2c2ed740f" style="text-decoration: underline !important; color: blue; font-weight: bolder;" rel="nofollow" target="_blank">Java免费学习笔记（深入）</a>”；</p><div class="aritcle_card flexRow">
<div class="artcardd flexRow">
<a class="aritcle_card_img" href="/xiazai/skill13063" title="Java Development Man"><img
src="https://img.php.cn/upload/skill/001/246/273/6adaf20e695c2374.jpg" alt="Java Development Man" ></a>
<div class="aritcle_card_info flexColumn">
<a href="/xiazai/skill13063" title="Java Development Man">Java Development Man</a>
<p>Java开发手册规约集合，基于阿里巴巴Java开发手册（嵩山版）。 涵盖7大维度：编程规约、异常日志、单元测试、安全规约、MySQL数据库、工程结构、设计规约。</p>
</div>
<a href="/xiazai/skill13063" title="Java Development Man" class="aritcle_card_btn flexRow flexcenter"><b></b><span>下载</span> </a>
</div>
</div>
<ul>
<li><strong>隐式作用域隔离</strong>：每个分支的局部变量互不干扰，无需额外花括号</li>
<li><strong>无 fall-through 行为</strong>：不再需要手动加 <code>break</code> 防止意外穿透，大幅降低 bug 风险</li>
</ul>
<p>对比示例：</p>
<font color="#666">
<pre class="brush:php;toolbar:false;">
// ✅ Java 12+ switch 表达式（简洁安全）
int num = switch (c) {
case '0' -> 0;
case '1' -> 1;
case '2' -> 2;
default -> -1;
};
// ❌ 传统 switch（易漏 break，变量易冲突）
int num;
switch (c) {
case '0': num = 0; break;
case '1': num = 1; break;
case '2': num = 2; break;
default: num = -1;
}
</font>
<H3>支持多行代码块，用花括号 + yield 返回结果</H3>
<p>当单个表达式不够用时，可使用 <code>{ ... }</code> 定义代码块，并用 <code>yield</code> 显式返回值（类似 <code>return</code>，但专用于 switch 表达式内部）：</p>
<font color="#666">
<pre class="brush:php;toolbar:false;">
String result = switch (value) {
case 1 -> "one";
case 2 -> {
System.out.println("Processing two");
yield "two"; // 必须有 yield，否则编译报错
}
default -> throw new IllegalArgumentException("Unknown: " + value);
};
</font>
<p><code>yield</code> 是 Java 12 引入的新关键字（预览），仅在 switch 表达式块中有效，确保每个分支都有明确出口。</p>
<H3>必须覆盖所有可能取值，或提供 default 分支</H3>
<p>对于枚举或已知有限类型的 switch 表达式，编译器会进行**穷尽性检查（exhaustiveness check）**。例如：</p>
<font color="#666">
<pre class="brush:php;toolbar:false;">
enum Color { RED, GREEN, BLUE }
String name = switch (color) {
case RED -> "Red";
case GREEN -> "Green";
// 编译错误！缺少 BLUE 和 default → 必须补全
};
这能提前发现遗漏分支，提升健壮性。该检查对 enum 和 sealed 类特别严格，对 int/String 等类型则仍依赖 default 保障完整性。
