类型模式匹配泛型时，依据运行时实际类型是否为指定构造类型。例如 List 只能匹配 List，不匹配 List；在泛型方法中，T 在运行时具体化，List 按实际参数匹配；协变逆变影响接口兼容性，如 IEnumerable 可匹配 IEnumerable 因协变支持，但本质仍是基于运行时类型的兼容性检查，且泛型参数需完全一致或符合协变/逆变规则。

在 C# 中，类型模式（type pattern）是模式匹配的一部分，常用于 is 表达式或 switch 表达式中。当涉及泛型时，类型模式的匹配行为依赖于实际运行时类型和泛型参数的具体化情况。

类型模式基础语法

类型模式的基本形式是：

expression is Type variableName

如果 expression 的运行时类型可以匹配 Type，则返回 true，并将结果赋给 variableName。

泛型与类型模式的匹配机制

类型模式在匹配泛型类型时，判断的是对象的实际运行时类型是否为指定的构造类型（constructed type），而不是泛型定义本身。

例如：

List numbers = new List();
if (numbers is List list) {
    // 匹配成功，list 指向 numbers
}

if (numbers is List stringList) {
    // 不会匹配，因为实际类型是 List
}

这里的关键是：泛型类型在运行时是“具体化”的。C# 的泛型在 CLR 中保留类型信息（尤其是引用类型和值类型不同实例），因此 List<int></int> 和 List<string></string> 是两个不同的类型。

Model Switcher

根据任务复杂度自动切换不同的AI模型。支持OpenClaw设置中的所有可用模型。当检测到复杂...

下载

使用泛型方法中的类型模式

在泛型方法中使用类型模式时，模式匹配仍然基于实际类型：

public void Process(object obj)
{
    if (obj is List typedList)
    {
        // 只有当 obj 是 List 类型时才匹配
        Console.WriteLine($"Contains {typedList.Count} items.");
    }
}

// 调用示例：
var data = new List { 1, 2, 3 };
Process(data); // 匹配成功
Process(data); // 不匹配

注意：类型参数 T 在运行时是已知的，所以 List<t></t> 可以被准确判断。

协变与逆变的影响

对于接口和委托中的泛型，协变（out）和逆变（in）会影响类型兼容性，但类型模式仍按实际类型匹配。

例如：

IEnumerable strings = new List();
if (strings is IEnumerable

虽然这个转换在类型系统中合法，但模式匹配依然成立，是因为运行时类型 List<string></string> 实现了 IEnumerable<object></object>（通过协变）。但注意，这不改变类型模式的本质——它仍然是基于实际类型的兼容性检查。

基本上就这些。类型模式匹配泛型时，关键是看运行时对象是否是目标构造类型的实例，泛型参数必须完全匹配（除非涉及协变/逆变允许的隐式转换）。不复杂但容易忽略的是，泛型的“形状”在编译后是具体存在的，模式匹配不会忽略类型参数。