F# 检查泛型类型参数是否区分联合

Question

创建约束时如何指定可区分联合的类型？ 我应该写什么而不是DiscriminatedUnion ？

let f<'U when 'U :> DiscriminatedUnion> ()

Answer 1

我不相信有任何方法可以在编译时强制执行此检查。 在运行时，您可以在实现中使用FSharpType.IsUnion ref ，并可能通过抛出异常来处理错误情况。

Answer 2

您可以在编译时对编译为枚举的 DU 执行此操作：

let foo<'t when 't : enum<int>> (t : 't) =
  string t

type Fruit =
  | Apple = 0
  | Banana = 1
  | Cherry = 2

foo Fruit.Apple |> printfn "%s"

// Compile-time error
foo "abc" |> printfn "%s"

但是，编译为类的 DU 将不满足此约束：

type Shape =
  | Square of int
  | Rectangle of int * int

// Compile-time error
foo (Square 2) |> printfn "%s"