F# - 选项

---

当变量或函数可能存在或不存在值时，F# 中的选项类型用于计算。选项类型用于表示计算中的可选值。它们可以有两个可能的值 - Some(x)或None。

例如，执行除法的函数在正常情况下将返回一个值，但在分母为零的情况下将引发异常。此处使用选项将有助于指示该功能是成功还是失败。

选项具有基础类型并且可以保存该类型的值，或者它可能没有值。

使用选项

我们以除法函数为例。以下程序解释了这一点 -

让我们编写一个函数 div，并向其发送两个参数 20 和 5 -

let div x y = x / y
let res = div 20 5
printfn "Result: %d" res

当您编译并执行该程序时，它会产生以下输出 -

Result: 4

如果第二个参数为零，则程序抛出异常 -

let div x y = x / y
let res = div 20 0
printfn "Result: %d" res

当您编译并执行该程序时，它会产生以下输出 -

Unhandled Exception:
System.DivideByZeroException: Division by zero

在这种情况下，我们可以使用选项类型在操作成功时返回 Some（值），在操作失败时返回 None。

以下示例演示了选项的使用 -

例子

let div x y =
   match y with
   | 0 -> None
   | _ -> Some(x/y)

let res : int option = div 20 4
printfn "Result: %A " res

当您编译并执行该程序时，它会产生以下输出 -

Result: Some 5

选项属性和方法

选项类型支持以下属性和方法 -

实施例1

let checkPositive (a : int) =
   if a > 0 then
      Some(a)
   else
      None

let res : int option = checkPositive(-31)
printfn "Result: %A " res

当您编译并执行该程序时，它会产生以下输出 -

Result: <null>

实施例2

let div x y =
   match y with
   | 0 -> None
   | _ -> Some(x/y)

let res : int option = div 20 4
printfn "Result: %A " res
printfn "Result: %A " res.Value

当您编译并执行该程序时，它会产生以下输出 -

Result: Some 5
Result: 5

实施例3

let isHundred = function
   | Some(100) -> true
   | Some(_) | None -> false

printfn "%A" (isHundred (Some(45)))
printfn "%A" (isHundred (Some(100)))
printfn "%A" (isHundred None)

当您编译并执行该程序时，它会产生以下输出 -

false
true
false