<p>C# switch从7.0起支持模式匹配，可安全解构、类型检查、范围判断；switch表达式需穷尽分支且无副作用，语句则支持副作用但易漏break；string、类型、范围等模式需注意顺序与语法细节。</p>
直接说结论：C# 的 switch 语句从 C# 7.0 开始已彻底脱离“只能用常量整数/字符串”的限制，现在支持模式匹配（pattern matching），能安全解构、类型检查、范围判断——但多数人还在用老写法，结果遇到 NullReferenceException 或编译报错 CS8509: Not all cases are handled 才回头查。
switch 表达式 vs switch 语句：选错就踩坑
两者语法相似，但行为差异极大：
-
switch语句（带case/break）是语句，不返回值，可执行任意逻辑，但容易漏写break导致意外穿透（fall-through）——C# 默认禁止穿透，除非显式用goto case -
switch表达式（C# 8.0+，形如var result = value switch { ... };）必须穷尽所有可能，且每个分支必须返回同类型值；它更简洁、不可变、天然避免漏处理，但不能执行副作用（比如调用方法、修改状态） - 如果你只是做值映射（比如状态码转描述），优先用表达式；如果要根据类型做不同初始化或日志记录，用语句更自然
string 类型 switch：别再用 == null 判断了
旧写法：if (s == null) ... else if (s == "a") ...，又啰嗦又易漏空。新写法直接利用模式匹配：
<pre class="brush:php;toolbar:false;">return s switch
{
null => "unknown",
"" => "empty",
"admin" => "administrator",
"user" => "standard user",
_ => "other"
};注意三点：
null 和 <code>""是合法的模式，无需提前判空-
_是弃元模式（discard pattern），匹配所有未覆盖的剩余情况，必须存在，否则编译失败 - 顺序重要：
""必须在"admin"前面，否则""永远不会被匹配到
类型模式 + 解构：处理多态对象最简路径
比如你有一组 Shape 子类（Circle、Rectangle），想按类型分别计算面积：
<pre class="brush:php;toolbar:false;">double GetArea(Shape shape) => shape switch
{
Circle c => Math.PI * c.Radius * c.Radius,
Rectangle r => r.Width * r.Height,
null => 0,
_ => throw new ArgumentException("Unknown shape type")
};关键点：
Circle c 不仅做类型检查，还把 <code>shape安全转换并赋值给变量c，后续可直接访问c.Radius- 不需要写
is Circle+ 强制转换两步，也避免as后判空的冗余 - 若子类有只读属性（如
record），还能进一步解构：Point { X: > 0, Y: ...
range pattern 和 constant pattern 混用：小心边界陷阱
C# 9.0 支持范围模式（1 to 10），但和常量混用时，编译器不自动排序，顺序即执行顺序：
<pre class="brush:php;toolbar:false;">int level = 5;
var desc = level switch
{
0 => "off",
1 to 3 => "low",
4 to 6 => "medium", // 这里会匹配到 level=5
7 to 10 => "high",
_ => "invalid"
};常见错误：
- 把
1 to 3 写成 <code>1..4（这是 C# 8 的索引范围语法，不能用于 switch） - 漏掉
0却指望_捕获，结果0被1 to 3排除后直接进_，逻辑错位 - 用
1 to int.MaxValue代替“大于等于1”，不如写var x when x >= 1 => ...更清晰
真正难的不是语法，而是决定什么时候该用 switch 表达式、什么时候该退回到 if-else ——比如分支里要 await、要 try-catch、要修改外部变量，那 switch 就不是最佳选择。模式匹配很强大，但不是万能胶水。
