Java switch表达式中多个值共用分支须用竖线|连接且类型一致，禁用逗号；所有分支必须统一用->或: + yield；|仅适用于表达式式，混用会编译失败。
Java switch 表达式里怎么写多个值共用一个分支
Java 14 起支持 switch 表达式（带 -> 的写法），多个常量共用一个分支时，**不能用逗号分隔**，必须用竖线 | 连接，且所有值类型必须一致、可编译期确定。
常见错误是照搬传统 case 的写法，写成 case 1, 2, 3: —— 这在表达式模式下直接编译失败，报错：error: expected '->' 或 error: illegal start of expression。
-
case 1 | 2 | 3 -> "small"✅ 正确（整数字面量） -
case "a" | "b" | "c" -> 1✅ 正确（字符串字面量） -
case CONST_A | CONST_B -> ...✅ 只要CONST_A和CONST_B是static final编译时常量 -
case x | y -> ...❌ 错误：变量名不被允许 -
case 1 | "a" -> ...❌ 错误：类型不兼容，无法统一推导返回值类型
为什么不能混用语句式和表达式式的 case 合并写法
因为语句式 switch（用冒号 :）和表达式式（用箭头 ->）底层语法树完全不同。前者靠“贯穿”（fall-through）隐式合并，后者要求每个 case 标签必须明确绑定一个表达式或代码块，| 是表达式式专属的标签合并机制。
混用会导致解析歧义。比如下面这段看似合理，实际会编译失败：
立即学习“Java免费学习笔记（深入）”；
String s = switch (x) {
case 1 | 2 -> "one or two";
case 3:
yield "three"; // ❌ 编译错误：混合了 -> 和 : 分支
};
- 所有分支必须统一用
->（推荐）或统一用:+yield - 一旦用了
->，就不能在同一个switch中出现:分支 -
yield只能在:分支中使用；->分支末尾自动yield其右侧表达式值
多标签 case 在类型推导中的限制
当多个标签共用一个分支时，Java 会尝试统一推导该分支的返回类型。如果右侧表达式类型不一致，或涉及泛型擦除、装箱/拆箱歧义，可能触发意外的类型错误。
例如：
Integer result = switch (n) {
case 0 | 1 -> 0; // int 字面量 → 推导为 int
case 2 | 3 -> 0L; // long 字面量 → 推导为 long
};
上面代码会编译失败：两个分支返回类型不兼容（int vs long），无法统一为 Integer。
- 所有
->右侧表达式必须能收敛到同一类型，或其公共父类型（如都返回String、都返回enum常量） - 避免在同一个
case组里混用基本类型字面量（1）、包装类（Integer.valueOf(1)）、null - 若需返回不同字面量但类型不一致，显式转型：
case 1 | 2 -> (Integer) 1;
case 标签合并对 null 安全和枚举的处理
合并标签本身不改变空值检查逻辑。如果 switch 表达式输入可能为 null，必须显式处理 case null，否则运行时抛 NullPointerException（Java 17+ 默认启用 --enable-preview 下的增强空检查，但合并标签不豁免）。
枚举场景下，多标签合并很实用，但注意：必须用枚举常量名，不能用字符串或序号。
-
case STATUS.ACTIVE | STATUS.PENDING -> "running"✅ -
case "ACTIVE" | "PENDING" -> ...❌ 类型不匹配（Stringvs 枚举类型） -
case STATUS.ACTIVE, STATUS.PENDING -> ...❌ 逗号非法，必须用| - 未覆盖全部枚举常量且无
default时，编译器会警告（若用enum且开启-Xlint:all）
最易被忽略的是：合并标签不降低类型检查强度——每个值仍需独立满足类型约束，编译器不会因“写了多个”就放宽推导规则。写完记得用 javac -Xlint:all 扫一遍。
