F#如何判断对象是否为Key泛型类型并获取其泛型参数？

问题核心 #

F#的联合类型（比如Key<'x>）在CLR编译后，会生成一个基类，每个case（Id、NoKey）对应一个继承自该基类的嵌套子类。所以当你拿到Id 123这类实例时，GetType()返回的是Key的子类而非Key<'x>本身，直接调用GetGenericTypeDefinition()自然无法匹配Key的泛型定义。

解决方案 #

通过向上追溯实例的基类，找到Key的泛型定义，再完成判断和泛型参数提取：

代码实现 #

open System

type Key<'x> = Id of int | NoKey
type Address = {
    id: Key<Address>
    city : string
}

let Test (obj: obj) =
    // 递归向上查找泛型基类
    let rec findBaseGenericType (t: Type) =
        if t.IsGenericType then Some t
        elif t.BaseType <> null then findBaseGenericType t.BaseType
        else None

    match findBaseGenericType obj.GetType() with
    | Some baseType when baseType.GetGenericTypeDefinition() = typedefof<Key<_>> ->
        let genericArg = baseType.GetGenericArguments().[0]
        printfn "是Key类型，泛型参数为: %s" genericArg.Name
        true
    | _ ->
        printfn "不是Key类型"
        false

// 测试用例
Test (Id 42 : Key<Address>)       // 输出：是Key类型，泛型参数为: Address
Test (NoKey : Key<string>)        // 输出：是Key类型，泛型参数为: String
Test { id = Id 1; city = "Beijing" } // 输出：不是Key类型

关键逻辑说明 #

• 追溯基类：用递归函数findBaseGenericType遍历实例的继承链，直到找到泛型类型或链的顶端。
• 匹配泛型定义：用typedefof<Key<_>>获取Key的泛型定义，和找到的基类泛型定义做对比。
• 提取泛型参数：匹配成功后，通过GetGenericArguments()拿到泛型参数数组，第一个元素就是目标'x。

注意点 #

如果直接传入未指定泛型参数的NoKey，F#会默认推断为Key<obj>，此时泛型参数会显示为Object。若需要指定具体泛型参数，需显式声明（如NoKey : Key<Address>）。

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