类型模式匹配泛型时，依据运行时实际类型是否为指定构造类型。例如 list 只能匹配 list，不匹配 list；在泛型方法中，t 在运行时具体化，list 按实际参数匹配；协变逆变影响接口兼容性，如 ienumerable 可匹配 ienumerable 因协变支持，但本质仍是基于运行时类型的兼容性检查，且泛型参数需完全一致或符合协变/逆变规则。
在 C# 中，类型模式（type pattern）是模式匹配的一部分，常用于 is 表达式或 switch 表达式中。当涉及泛型时，类型模式的匹配行为依赖于实际运行时类型和泛型参数的具体化情况。
类型模式基础语法
类型模式的基本形式是：
expression is Type variableName如果 expression 的运行时类型可以匹配 Type，则返回 true，并将结果赋给 variableName。
泛型与类型模式的匹配机制
类型模式在匹配泛型类型时，判断的是对象的实际运行时类型是否为指定的构造类型（constructed type），而不是泛型定义本身。
例如：
Listif (numbers is List
// 匹配成功，list 指向 numbers
}
if (numbers is List
// 不会匹配，因为实际类型是 List
}
这里的关键是：泛型类型在运行时是“具体化”的。C# 的泛型在 CLR 中保留类型信息（尤其是引用类型和值类型不同实例），因此 List<int></int> 和 List<string></string> 是两个不同的类型。
Dbsite企业网站管理系统V1.5.0 秉承"大道至简 邦达天下"的设计理念,以灵巧、简单的架构模式构建本管理系统。可根据需求可配置多种类型数据库（当前压缩包支持Access）.系统是对多年企业网站设计经验的总结。特别适合于中小型企业网站建设使用。压缩包内包含通用企业网站模板一套，可以用来了解系统标签和设计网站使用。QQ技术交流群：115197646 系统特点：1.数据与页
使用泛型方法中的类型模式
在泛型方法中使用类型模式时，模式匹配仍然基于实际类型：
public void Process{
if (obj is List
{
// 只有当 obj 是 List
Console.WriteLine($"Contains {typedList.Count} items.");
}
}
// 调用示例：
var data = new List
Process
Process
注意：类型参数 T 在运行时是已知的，所以 List<t></t> 可以被准确判断。
协变与逆变的影响
对于接口和委托中的泛型，协变（out）和逆变（in）会影响类型兼容性，但类型模式仍按实际类型匹配。
例如：
IEnumerableif (strings is IEnumerable
虽然这个转换在类型系统中合法，但模式匹配依然成立，是因为运行时类型 List<string></string> 实现了 IEnumerable<object></object>（通过协变）。但注意，这不改变类型模式的本质——它仍然是基于实际类型的兼容性检查。
基本上就这些。类型模式匹配泛型时，关键是看运行时对象是否是目标构造类型的实例，泛型参数必须完全匹配（除非涉及协变/逆变允许的隐式转换）。不复杂但容易忽略的是，泛型的“形状”在编译后是具体存在的，模式匹配不会忽略类型参数。
