如何在沒有模式匹配的情況下打開歧視聯盟？

Question

我有一個區分聯合是這樣的：

Type Result = 
| Good of bool | Bad of bool 

在許多情況下，我知道結果是好的。爲了解開結果，我必須使用模式匹配來選擇好的選項。因此，我得到一個警告（不是錯誤），表示「此表達式上的模式匹配不完整..」。有沒有辦法解開是不需要使用模式匹配？

Answer 1

您可以添加方法，以工會就像任何其他類型的，像這樣：

type Result = 
    | Good of bool 
    | Bad of bool 
    with 
     member x.GoodValue = 
      match x with 
      | Good b -> b 
      | Bad _ -> failwith "Not a good value" 

[<EntryPoint>] 
let main argv = 

    let r = Good true 
    let s = Bad true 

    printfn "%A" r.GoodValue 
    printfn "%A" s.GoodValue // You know what happens..! 

    0 

Answer 2

您可以使用let，例如，

type Result = 
    | Good of bool 
    | Bad of bool 

let example = Good true 

let (Good unwrappedBool) = example 

請注意，這仍然會導致編譯器警告匹配情況可能不完整。

但是，從技術上講，這仍然是使用模式匹配，只是這樣做沒有match表達式。