Określ, czy lista, sekwencja, tablica lub IEnumerable jest pusta.

Question

Piszę aplikację Xamarin.Forms, używając XAML dla moich widoków, i próbuję napisać IValueConverter, którego zadanie powinno powrócić false, jeśli dane wejściowe są "puste" dla typów, w których semantyka ma sens (łańcuchy/listy/sekwencje/tablice/IEnumerables). Zacząłem z poniższych, która zwraca wartość false dla pustych strun, ale nie mogę dowiedzieć się, jak rozszerzyć to na listach, sekwencji, tablic i IEnumerables:

type FalseIfEmptyConverter() = 
    interface IValueConverter with 
    member __.Convert(value:obj, _, _, _) = 
     match value with 
     | :? string as s -> (s <> "" && not (isNull s)) |> box 
     // TODO: extend to enumerables 
     | x -> invalidOp <| "unsupported type " + x.GetType().FullName 

    member __.ConvertBack(_, _, _, _) = 
     raise <| System.NotImplementedException() 

Czego próbowałem że don” t praca:

• :? list<_> nie odpowiada (pudełkowej) wykaz (przynajmniej nie z int) i generuje ostrzeżenie This construct causes code to be less generic than indicated by its type annotations. The type variable implied by the use of a '#', '_' or other type annotation at or near [...] has been constrained to be type 'obj'
• :? list<obj> nie wywołuje ostrzeżenie, ale również nie pasuje do wersji pudełkowej listę ints
• To Jest taka sama z :? seq<_> i :? seq<obj>
• To samo z :? System.Collections.Generic.IEnumerable<obj> i IEnumerable<_> (i jeśli umieścić go poniżej podobnym seq meczu, jak podano powyżej, ostrzega, że ​​reguła nie zostanie dopasowana, co ma sens, ponieważ AFAIK seq odpowiada do IEnumerable)

Answer 1

Korzystanie pomysł Foggy Finder używać non-generic IEnumerable:

let isEmpty (x:obj) = 
    match x with 
    | null -> true 
    | :? System.Collections.IEnumerable as xs -> xs |> Seq.cast |> Seq.isEmpty 
    | _ -> invalidOp <| "unsupported type " + x.GetType().FullName 

isEmpty "" // true 
isEmpty [] // true 
isEmpty (set []) // true 
isEmpty [||] // true 
isEmpty null // true 

isEmpty "a" // false 
isEmpty [|1|] // false 

isEmpty 1 // exception 

wszystkich typów, które chcesz przetestować są podtypy Seq<'a>, który jest dokładnie taki sam jak IEnumerable<'a> (w tym string, który jest seq<char>). Ale jest to również podtyp typu nietypowego o nazwie IEnumerable (zauważ brak parametru typu). Jest to podobne do IEnumerable<obj>, gdzie każdy element został zapakowany. Dlatego możemy rzucić wszystkie z nich na IEnumerable, a następnie użyć Seq.cast, aby przekonwertować to na IEnumerable<obj>, abyśmy mogli użyć Seq.empty, który działa tylko na typie ogólnym.