使用“flexible”类型参数对泛型类型进行模式匹配

How to cast an object to a list of generic type in F# 和 F# and pattern matching on generics in a non-generic method implementing an interface 一些(相当丑陋的)解决方案。

如前所述,无法直接执行此操作(模式匹配只能绑定值,但不能绑定新的类型变量)。除了 IEnumerable

match box value with 
| :? System.Collections.IEnumerable as l when 
     // assumes that the actual type of 'l' is 'List<T>' or some other type
     // with single generic type parameter (this is not fully correct, because
     // it could be other type too, but we can ignore this for now)
     typedefof<SomeType>.IsAssignableFrom
       (value.GetType().GetGenericArguments().[0]) -> 
   l |> Seq.cast<SomeType>
| _ -> failwith "doesn't match"

代码测试值是否为非泛型 I可数 SomeType . 在这种情况下,我们得到了一个派生类型的列表,所以我们可以将它转换为 值(这与处理派生类型的值列表略有不同,但对于实际目的来说应该无关紧要)。

后来我需要类似的东西来匹配懒惰的实例。这是我的解决方案,以防有人觉得有用。

let (|Lazy|_|) (value : obj) =
    if box value <> null then
        let typ = value.GetType()
        if typ.IsGenericType && typ.GetGenericTypeDefinition() = typedefof<Lazy<_>> then
            Some(typ.GetGenericArguments().[0])
        else None
    else None

match value with
| Lazy typ when typeof<SomeType>.IsAssignableFrom(typ) -> (value :?> Lazy<_>).Value
| _ -> failwith "not an instance of Lazy<#SomeType>"

不是最干净,但很有效:

let matchType<'T> () =
    try
        let o = Activator.CreateInstance<'T> ()
        match box o with
        | :? Type1 -> printfn "Type1"
        | :? Type2 -> printfn "Type2"
        | _ -> failwith "unknown type"
    with
    | ex -> failwith "%s" (ex.ToString())

F# 2.0 specification ,第。14.5.2(解决子类型约束),它将不起作用,因为:“F#泛型类型不支持协方差或逆变。”