is模式匹配不仅能判断类型,还可解构数据并过滤条件;switch表达式要求穷尽所有可能,而switch语句则无需覆盖全部情况。
is 模式匹配:不只是类型判断,还能解构和条件过滤
is 在 C# 7.0+ 不再只是返回 bool 的类型检查操作符,它支持类型模式、常量模式、变量模式和属性模式。关键在于:**匹配成功时可同时声明并赋值变量**,避免重复转换。
- 常见错误:写
if (obj is string s) { Use(s); }却在Use外部访问s——s作用域仅限于if块内 - 嵌套解构:支持元组、位置模式(需类型定义
Deconstruct方法),例如if (obj is Point(int x, int y) p)同时提取字段并绑定p - 与
as对比:as仅做引用/装箱转换且不支持模式;is支持所有模式但不提供转换结果(除非用变量模式) - 性能无额外开销:编译器会优化为一次类型检查 + 字段读取,不生成多余对象
switch 表达式 vs switch 语句:选哪个取决于是否需要副作用
C# 8.0 引入 switch 表达式(返回值),C# 9.0 加入 switch 语句的模式增强。二者语法相似但语义不同:**表达式必须穷尽所有可能,语句则不需要**。
- 表达式要求覆盖所有输入:编译器检查是否遗漏
_(弃元)或具体模式,否则报错CS8509: The switch expression does not handle all possible inputs - 语句允许“不处理某些情况”:适合只关心特定子集的场景,比如日志中只记录已知错误码,其余忽略
- 模式优先级:从上到下匹配,遇到第一个成功模式即停止;注意不要把泛化模式(如
object o)写在具体模式(如string s)前面,否则后者永远不触发 - 使用
when添加守卫条件:例如case int i when i > 0 => "positive",但守卫中避免耗时计算或副作用
常见陷阱:null、泛型约束与模式顺序问题
模式匹配看似直观,但在涉及 null、泛型类型参数或继承链时容易出错。