使用選項

讓我們來分割功能的例子。下面的程序說明了這一點 -

讓我們寫一個函數(shù)div，并發(fā)送兩個參數(shù)給它20和5 

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

當你編譯和執(zhí)行程序，它產(chǎn)生以下輸出 

Result: 4

如果第二個參數(shù)為0，則程序拋出一個異常 

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

當你編譯和執(zhí)行程序，它產(chǎn)生以下輸出 

Unhandled Exception:
System.DivideByZeroException: Division by zero

在這種情況下，我們可以使用的選項類型返回一些（值）時，操作成功或None如果操作失敗。

下面的例子演示了如何使用的選項 

實例

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

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

當你編譯和執(zhí)行程序，它產(chǎn)生以下輸出 

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

當你編譯和執(zhí)行程序，它產(chǎn)生以下輸出 

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

當你編譯和執(zhí)行程序，它產(chǎn)生以下輸出 

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)

當你編譯和執(zhí)行程序，它產(chǎn)生以下輸出 

false
true
false