c#如何使用switch语句_c#switch语句从入门到精通教程

C# switch模式匹配：从“常量选择器”到“智能解构器”的进化

先说一个核心判断：C# 的 switch 早已不是当年那个只能处理整数或字符串常量的“选择器”了。自 C# 7.0 引入模式匹配以来，它已经进化成一个能安全解构对象、检查类型、判断范围的“智能解构器”。可惜的是，很多开发者还在沿用老一套写法，结果不是遭遇恼人的 NullReferenceException，就是被编译错误 CS8509: Not all cases are handled 当头一棒，这才不得不回头补课。

switch 表达式 vs switch 语句：一字之差，天壤之别

这两者长得像，但脾气完全不同，选错了就是给自己挖坑：

• switch 语句（带 case/break 那种）是个“行动派”。它本身不返回值，专注于执行各种逻辑操作，功能强大。但它的老毛病是容易漏写 break，导致意外的分支“穿透”——好在C#默认禁止这种穿透，除非你显式使用 goto case。
• switch 表达式（C# 8.0+ 登场，形如 var result = value switch { ... };）则是个“计算家”。它必须穷尽所有可能的情况，并且每个分支都得返回一个相同类型的值。它的优点是简洁、不可变，天生就能避免遗漏处理。但代价是，它不能执行带有副作用（比如调用方法、修改状态）的操作。
• 简单来说：做值映射（像状态码转描述）优先用表达式；搞对象初始化或带日志的操作，还是用语句更顺手。

字符串类型 switch：是时候告别 == null 了

还记得那种老式写法吗？if (s == null) ... else if (s == “a”) ...，又啰嗦又容易忘记处理空值。现在，模式匹配让这一切变得优雅：

return s switch
{
    null => “unknown”,
    “” => “empty”,
    “admin” => “administrator”,
    “user” => “standard user”,
    _ => “other”
};

这里有三个细节值得玩味：

• null 和 “” 本身就是合法的模式，无需再在前面做额外的空值检查。
• 那个 _（弃元模式）是必须的，它负责兜底，匹配所有未被前面模式覆盖的情况。没有它，编译器可不答应。
• 顺序就是优先级。如果把 “” 写在 “admin” 后面，那么空字符串就永远匹配不到了。

类型模式 + 解构：处理多态对象的“优雅公式”

假设你有一组 Shape 的子类（Circle, Rectangle），需要根据不同类型计算面积。新模式下的写法堪称流畅：

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 这个模式一举两得：它既完成了类型检查，又安全地将输入转换并赋值给了变量 c，让你能直接使用 c.Radius。这比先 is 判断再强制转换，或者用 as 后判空的老方法，要清爽得多。如果用的是 record 类型，还能玩出更花的解构，比如 Point { X: > 0, Y: ... }。

范围模式与常量模式混用：当心边界上的“陷阱”

C# 9.0 带来的范围模式（1 to 10）很实用，但和常量模式混编时，编译器可不会帮你智能排序。代码的书写顺序，就是它的匹配顺序：

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 写成 1..4，后者是 C# 8 用于索引的范围语法，在 switch 里行不通。
• 如果漏掉了 0 这个常量，别指望 _ 会捕获它。因为 0 根本不符合 1 to 3 的范围，结果就是直接掉进 _ 分支，导致逻辑错乱。
• 想表达“大于等于1”？用 1 to int.MaxValue 有点笨拙，不如直接用条件子句 var x when x >= 1 => …，意图更清晰。

话说回来，真正的难点往往不在于语法本身，而在于何时该用 switch。如果分支里需要 await 异步调用、包裹 try-catch、或者修改外部变量，那么 switch 可能就不是最优解了。模式匹配固然强大，但它终究不是万能胶水，认清它的边界，才能用得恰到好处。