Java 14+ 中，throw 可直接作为 switch 表达式分支，因其被特殊允许为“不返回值的控制流终点”，类型检查仍通过；也可用三元表达式或泛型 fail() 方法封装以适配返回类型。
在 Java 中，throw 是语句（statement），而 Switch 表达式（Java 14+ 的 switch 表达式，即带箭头 -> 或冒号 : 的写法）要求每个分支必须返回一个值或是一个“表达式”（expression）。由于 throw 本身不产生值，直接写 throw new RuntimeException() 会导致编译错误 —— 因为它不是合法的表达式分支。
用 throw 构造一个“可返回的表达式”
Java 允许把 throw 放在三元运算符、lambda、或方法调用中，只要整个结构能被编译器推断出类型即可。最常用且简洁的方式是利用“抛异常的表达式”：在 lambda 或立即执行的函数式上下文中，借助 void 方法无法作为表达式返回值，所以需依赖“永远不返回”的特性，配合类型推断。
但更实际的做法是：**让 throw 出现在一个返回值类型的上下文中，例如用三元条件表达式、或包装成一个不会执行到的 return 分支（配合 void 方法不行，但可以借助泛型工具方法）**。
- ✅ 正确写法（推荐）：用
throw+ 三元表达式（需有 else 分支，或确保所有路径都有返回） - ✅ 正确写法：用
throw配合自定义辅助方法（如fail("msg")），该方法声明返回泛型类型T并抛异常 - ❌ 错误写法：
case "A" -> throw new IllegalArgumentException();（编译失败）
方案一：用三元表达式包裹 throw（适用于简单分支）
当 switch 表达式需要返回某个类型（比如 String），而某个 case 逻辑非法时，可用三元操作模拟“抛异常并返回所需类型”：
String result = switch (input) {
case "ok" -> "success";
case "err" -> throw new IllegalArgumentException("Invalid input");
default -> "unknown";
};
⚠️ 注意：上面这段代码在 Java 17+ 是合法的！因为从 Java 14 起，throw 被特殊允许作为 switch 表达式的分支，前提是整个 switch 表达式的所有分支类型可统一（例如都为 String），且 throw 被视为“不返回值”，但编译器会接受它作为控制流终点 —— 它等价于“该分支无正常返回”，类型检查仍通过。
✅ 所以：现代 Java（14+）中，case X -> throw ... 是完全合法的，无需额外技巧。
方案二：封装成工具方法（提升复用性和可读性）
定义一个泛型抛异常方法，强制返回任意类型，让编译器“相信”它能参与表达式：
static <t> T fail(String msg) {
throw new IllegalArgumentException(msg);
}</t>
然后在 switch 表达式中使用：
String value = switch (status) {
case "active" -> "online";
case "inactive" -> fail("Status not supported: " + status);
default -> "unknown";
};
这个 fail() 方法永远不会返回，但类型 fail(...) 在此处应为 String 类型。
注意事项和常见误区
Switch 表达式必须穷尽所有可能（或有 default），否则编译失败；而含 throw 的分支也计入“已覆盖”。另外：
- 如果 switch 表达式声明了返回类型（如赋值给
int变量），所有分支（包括throw）都必须与该类型兼容 —— 实际上throw不影响类型检查，因为它不产生值 - 不能在
->分支里写多条语句（如case X -> { System.out.println(); throw ...; }），这属于 block，不是表达式分支；此时需改用传统 switch 语句，或把逻辑提取为方法 - IDE 或旧版本 JDK（
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
