switch表达式是必须返回值、强制穷尽、仅支持pattern => expression臂结构的全新语法,与传统switch语句在语法、语义和编译检查上完全互斥。

Switch 表达式不是“加强版 switch 语句”,它是完全不同的语法结构——必须返回值、强制穷尽、不支持 break 或 goto,写错就编译不过。
switch 表达式必须写成 => 形式,不能混用 case 和 break
传统 switch 语句靠 case + break 控制流程;switch 表达式只接受 pattern => expression 的臂(arm)结构,中间不能插入语句块或跳转。
- ✅ 正确:
obj switch { int i => i * 2, string s => s.Length, _ => -1 } - ❌ 错误:
case int i: return i * 2; break;(这是语句语法,放进表达式里直接报 CS8639) - ⚠️ 注意:哪怕只有一条分支,也得用
=>,不能省略;漏掉_ =>且输入类型非 sealed enum 时,编译器会提示“not all code paths return a value”
类型模式 Person p 只在 switch 表达式或带 when 的 case 中合法
想按运行时类型分发逻辑,不能写 case Person p: —— 这在传统语句中是语法错误。必须用表达式形式,或退回到带 when 的语句写法。
动态切换AI模型以优化成本与性能。当用户发出“eco mode”、“balanced mode”、“smart mode”或“max mode”等模式指令,或使用“/modes status”查询状态及“/modes setup”配置模式时触发。
- ✅ 表达式中安全写法:
obj switch { Person p => p.Name, Student s => s.Id, _ => "unknown" } - ✅ 传统语句中补救写法:
case object o when o is Person p: ... break;(本质是把模式判断挪进when) - ⚠️
Person p绑定后,p在对应分支内 guaranteed non-null,但obj本身为null时不匹配任何类型模式,需显式加null =>或_ =>处理
property pattern 写法要嵌套在类型模式里,不能单独用 { Age: 18 }
属性匹配不是独立语法,它必须依附于某个类型模式(如 Person { Age: >= 18 }),否则编译器无法推断目标类型,直接报 CS8121。
- ✅ 正确:
person switch { Person { Age: >= 18, Name: not null } => "adult", _ => "other" } - ❌ 错误:
case { Age: 18 }:(无类型上下文,编译失败) - ⚠️
not null是常量模式,>= 18是关系模式,它们都只能出现在 property pattern 的花括号内;getter 会被实际调用,避免在属性里放副作用逻辑
穷尽性检查不是万能的,object 或基类变量仍需手动兜底
对 enum 类型,编译器能静态确认所有成员是否覆盖;但对 object、Animal(抽象基类)这类开放类型,它无法预知未来新增子类,所以不会帮你检查漏分支。
- ✅ 安全兜底:
_ => throw new ArgumentException($"Unexpected type: {obj.GetType()}") - ✅ 更轻量兜底:
Animal a => a switch { Dog d => "dog", Cat c => "cat", _ => "unknown animal" }(嵌套一层再穷尽) - ⚠️ 别依赖 IDE 自动补全的
_ =>就以为万事大吉——如果后续继承链扩展了,这个_会默默吞掉新类型,变成运行时隐患










