如何解开没有模式匹配的歧视联盟？

Question

我有一个像这样的歧视联盟:

Type Result =
| Good of bool | Bad of bool

在许多情况下,我知道结果是好的.要打开结果,我必须使用模式匹配仅适用于Good选项.结果我收到一条警告(不是错误),上面写着"此表达式上的模式匹配不完整......".有没有办法解开,而不必使用模式匹配？

Answer 1

你可以使用let,例如

type Result =
    | Good of bool 
    | Bad of bool

let example = Good true

let (Good unwrappedBool) = example

请注意,这仍然会导致编译器警告匹配情况可能不完整.

但从技术上讲,这仍然是使用模式匹配,只是在没有match表达式的情况下这样做.

Answer 2

您可以像其他任何类型一样向联合添加方法，如下所示：

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