Coincidencia de patrones contra el tipo genérico usando el parámetro de tipo 'flexible'

Question

match value with 
| :? list<#SomeType> as l -> l //Is it possible to match any list of a type derived from SomeType? 
| _ -> failwith "doesn't match" 

Answer 1

No, desafortunadamente no es posible hacer algo como esto: el CLR no proporciona ninguna forma eficiente de hacer ese tipo de prueba de tipo. Vea How to cast an object to a list of generic type in F# y F# and pattern matching on generics in a non-generic method implementing an interface para algunas soluciones (bastante feas).

Answer 2

Como ya se señaló, no hay forma de hacerlo directamente (la coincidencia de patrones solo puede vincular valores, pero no puede vincular nuevas variables de tipo). Además de la solución (más general) por kvb puede utilizar el hecho de que todas las colecciones de implementar no genérico IEnumerable, para que pueda comprobar de este tipo:

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" 

El código prueba si el valor es una no genérico IEnumerable y si el parámetro de tipo es subtipo de SomeType. En ese caso, tenemos una lista de algún tipo derivado, por lo que podemos convertirlo a una secuencia de valores SomeType (esto es ligeramente diferente de trabajar con la lista de valores de los tipos derivados, pero no debería importar para fines prácticos) .

Answer 3

Más tarde necesité algo similar para hacer coincidir las instancias de Lazy. Aquí está mi solución, en caso de que alguien lo encuentre útil.

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 

Uso:

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

Answer 4

De acuerdo con la F# 2.0 specification, par. 14.5.2 (Resolviendo Subtipos de Restricciones), no funcionará, porque: "Los tipos genéricos F # no admiten la covarianza o la contravarianza".

Answer 5

No

el más limpio, pero eficaz:

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())