inheritance - F# 将额外的情况添加到外部 DU

Question

假设我有一个 DU ，我无法(或不想)更改它:

type OrDU =
    | A
    | B
    | C

现在在另一个程序中我需要一个 DU，它与上面的相同，只是它需要一些额外的情况。

type ExtraDU = 
    inherit OrDU
    | D
    | E

但是，DU 无法扩展。对此最好的解决方案是什么？理想情况下，我想要简单的互操作，即 OrDu 可以用作 ExtraDU，并且没有额外情况的 ExtraDU 可以转换回一个OrDU。

Answer 1

你可以像这样扩展它:

type ExtraDU =
| OrDU of OrDU
| D
| E

另一种方法，来自 http://theburningmonk.com/2012/03/f-extending-discriminated-unions-using-marker-interfaces ，如下所示:

type IMessage = interface end

type OrDU =
    | A | B | C
    interface IMessage

type ExtraDU =
    | D | E
    interface IMessage


let f1 = function
    | A -> "A"
    | B -> "B"
    | C -> "C"

let f2 = function
    | D -> "D"
    | E -> "E"

let f (msg : IMessage) =
    match msg with
    | :? OrDU    as a -> f1 a
    | :? ExtraDU as b -> f2 b
    | _ -> failwith "Invalid type"

但这需要您通过添加接口(interface)来更改 OrDU