F＃選項(xiàng)

使用選項(xiàng)

讓我們來(lái)分割功能的例子。下面的程序說(shuō)明了這一點(diǎn) -

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

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

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

Result: 4

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

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

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

Unhandled Exception:
System.DivideByZeroException: Division by zero

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

下面的例子演示了如何使用的選項(xiàng) 

實(shí)例

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

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

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

Result: Some 5

選項(xiàng)的屬性和方法

選項(xiàng)類型支持以下屬性和方法 

例1

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

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

當(dāng)你編譯和執(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

當(dāng)你編譯和執(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)

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

false
true
false