Eksik desen eşlemesini filtre olarak kullanmak mı?

Question

varsayalım Aşağıdaki kod var:

type Vehicle = 
| Car of string * int 
| Bike of string 

let xs = [ Car("family", 8); Bike("racing"); Car("sports", 2); Bike("chopper") ] 

ben gibi döngü için bir zorunluluk eksik desen eşleştirme kullanarak listenin üzerindeki filtreleyebilirsiniz:

> for Car(kind, _) in xs do 
> printfn "found %s" kind;; 

found family 
found sports 
val it : unit =() 

ama bir neden olur: warning FS0025: Incomplete pattern matches on this expression. For example, the value 'Bike (_)' may indicate a case not covered by the pattern(s). Unmatched elements will be ignored.

Eşsiz öğelerin göz ardı edilmesi niyetim olduğu için, bu uyarıdan kurtulmak için bir olasılık var mı?

Ve bu çalışmayı bir MatchFailureException oluşturmadan liste-anlamalarıyla yapmanın bir yolu var mı? Örneğin. Böyle bir şey:

> [for Car(_, seats) in xs -> seats] |> List.sum;; 
val it : int = 10 

Answer 1

İki yıl önce, senin kod geçerli olduğunu ve bunu yapmak için standart bir yol oldu: Sizin kodları aşağıdaki gibi bir daha idomatic şekilde yazılmış olabilir. Daha sonra, dil temizlendi ve tasarım kararı açık sözdizimini desteklemekti. Bu nedenle, uyarıyı görmezden gelmenin iyi bir fikir olmadığını düşünüyorum.

Kodunuzdaki için standart yerine geçer:

for x in xs do 
    match x with 
    | Car(kind, _) -> printfn "found %s" kind 
    | _ ->() 

, List.sumBy iyi uyabilecek başka biri için

(ayrıca yüksek mertebeden fonksiyonlarının pedi numunede sahiptir kullanabilirsiniz):

0:

xs |> List.sumBy (function Car(_, seats) -> seats | _ -> 0) 

Eğer comprehensions kalmayı tercih ederse, bu açık sözdizimi

Answer 2

Sen üzerinden herhangi uyarıyı engelleyebilirsiniz #nowarn direktif veya --nowarn: derleyici seçeneği (FS0025 burada 25 olarak, uyarı sayısını geçmesi).

Fakat daha genel olarak, hayır, en iyi şey diğer cevapta olduğu gibi (örneğin choose ile) açıkça filtrelemektir.

Answer 3

Eşsiz durumları görmezden gelmek istediğinizi açıkça belirtmek için List.choose'u kullanabilir ve bu benzersiz öğeler için None'u kullanabilirsiniz.

let _ = xs |> List.choose (function | Car(kind, _) -> Some kind 
            | _ -> None) 
      |> List.iter (printfn "found %s") 

let sum = xs |> List.choose (function | Car(_, seats)-> Some seats 
             | _ -> None) 
      |> List.sum