C # 的模式匹配扩展可实现与功能语言的代数数据类型和模式匹配的许多优势,但这种方式与基础语言的外观顺畅集成。 基本功能包括: 记录类型,这些类型的语义含义由数据形状描述;和模式匹配,这是一个新的表达式窗体,用于启用这些数据类型的极简洁的多级分解。
声明模式对于执行引用类型的运行时类型测试非常有用,并且替换了方法
复制
var v = expr as Type;
if (v != null) { // code using v }
稍微简单一些
复制
if (expr is Type v) { // code using v }
如果 类型 是可以为 null 的值类型,则是错误的。
声明模式可用于测试可为 null 的类型的值: Nullable T T2 id 如果值为非 null,并且的类型 T2 为 T 或的某个基类型或接口, T 则类型 (或装箱) 类型的值匹配。 例如,在代码片段中
C#
int? x = 3;
if (x is int v) { // code using v }
语句的条件 if 是 true 在运行时,变量在 v 3 块内保存类型的值 int 。、