在F#中如何直接匹配System.Type对象而非对象的类型？

我太懂这种困惑了——用反射处理属性类型的时候，直接在match分支里写System.Enum或者System.Int32根本跑不起来，对吧？问题出在：你要匹配的是Type类的实例，但System.Int32这种写法指的是类型本身，两者不是一回事。

下面给你两种场景的正确写法：

1. 匹配具体的已知类型（比如Int32、String） #

直接用typeof<>获取对应的Type实例，然后在match分支里用条件判断：

let handlePropertyType (p: PropertyInfo) =
    let propType = p.PropertyType
    match propType with
    | t when t = typeof<int> ->
        printfn "这是int类型"
    | t when t = typeof<string> ->
        printfn "这是string类型"
    | _ ->
        printfn "其他类型"

2. 匹配枚举类型 #

如果要识别所有枚举类型（而不是System.Enum这个基类型本身），要用Type.IsEnum属性来判断：

let handlePropertyType (p: PropertyInfo) =
    let propType = p.PropertyType
    match propType with
    | t when t.IsEnum ->
        printfn "这是枚举类型"
    | t when t = typeof<int> ->
        printfn "这是int类型"
    | _ ->
        printfn "其他类型"

为什么原来的写法不行？ #

你原来的代码| System.Enum ->其实是在尝试匹配一个名为System.Enum的值，但System.Enum是类型，不是Type对象。编译器会报错，因为match的输入是Type实例，而分支里给的是完全不同的类型（类型本身），两者无法匹配。

额外小技巧 #

如果要处理可空值类型（比如int?），可以用Nullable.GetUnderlyingType来判断：

| t when Nullable.GetUnderlyingType(t) <> null ->
    let underlyingType = Nullable.GetUnderlyingType(t)
    printfn $"这是可空类型，基础类型是{underlyingType.Name}"

内容的提问来源于stack exchange，提问作者mamcx