F# 和否定匹配

Question

我有一个被歧视的类型:

type Item =
    | Normal of string * float32
    | Special1 of Item
    | Special2 of Item

我有一个使用这种类型的函数:

let rec calcItem (i: Item ) =
    match i with
    | Normal(_, p) -> p
    | Special1(g) | Special2(g) -> (calcItem g) + 1

在我的例子中，Special_n 类型将以相同的形式定义。所以我想知道是否可以使用通配符模式来匹配所有这些类型。 _ 匹配不起作用，因为它不接受参数。

Answer 1

类似于this one和 this one .

正如那里所解释的，您可以使用反射或重新设计您的 DU(这是我推荐的)。

反射(reflection):

open Microsoft.FSharp.Reflection

type Item =
    | Normal of string * float32
    | Special1 of Item
    | Special2 of Item

let innerValue a =
    FSharpValue.GetUnionFields (a, a.GetType())
    |> snd
    |> Seq.head
    :?> Item

let rec calcItem (i: Item ) =
    match i with
    | Normal (_, p) -> p
    | specialN      -> calcItem (innerValue specialN) + 1.0f

重新设计 DU:

type Item =
    | Normal of string * float32
    | Special of int * Item

let rec calcItem (i: Item ) =
    match i with
    | Normal  (_, p) -> p
    | Special (_, g) -> calcItem g + 1.0f