在 F# 中，如何对 Nullable<DateTime> 与 Null 进行模式匹配？

Question

（真糊涂）。

请假设我从 WCF 服务下载了一个访问：

type Visit = {
               tservice : Nullable<DateTime>
             }

和一个由访问组成的访问数组。假设数组中的某些访问具有非空 tservice 而其他访问具有空 tservice 值，tservice 模式如何与 null 匹配？

即这失败了：，

let fillSchedule (v:Visits[]) =
       v |> Array.iter ( fun f -> 
                            match f.tservice with
                            | System.Nullable<DateTime>  -> tservice IS null, do something
                            | _ -> tservice is NOT null,  do something
            
                       )

提前致谢。

Answer 1

Nullable不是 F# 类型，它来自更广泛的 .NET，因此不能对其进行模式匹配。您可以检查其.HasValue属性以查看它是否具有值：

if f.tservice.HasValue
    then tservice is NOT null, do something with f.tservice.Value
    else tservice IS null, do something

或者，您可以将其转换为OptionviaOption.ofNullable并对结果进行模式匹配：

match Option.ofNullable f.tservice with
| Some v -> ...
| None -> ...

如果您必须与 .NET 代码进行互操作，将其推Nullable到您身上，恐怕这是您能做的最好的事情。但是如果你自己控制代码库，我会建议使用Option而不是Nullable开始。它可以是模式匹配的，并且在Option模块中有一些漂亮的函数可以使用它。

最后，如果您真的需要使用Nullable，但也真的很想对其进行模式匹配，您可以制作自己的匹配器：

let (|Null|NotNull|) (n: Nullable<_>) =
    if n.HasValue then NotNull n.Value else Null

// Usage:    
match f.tservice with
| Null -> ...
| NotNull v -> ...