F＃选项

当计算中使用F＃中的选项类型时，可能存在或可能不存在变量或函数的值。 选项类型用于在计算中表示可选值。 它们可以有两个可能的值 - 一个（x）或无。
例如，执行除法的函数将在正常情况下返回值，但在零分母的情况下将抛出异常。 在此处使用选项将有助于指示函数是成功还是失败。
一个选项具有底层类型，并且可以保存该类型的值，或者它可能没有值。

使用选项

让我们来分割功能的例子。下面的程序说明了这一点 -

让我们写一个函数div，并发送两个参数给它20和5 

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

当你编译和执行程序，它产生以下输出 

Result: 4

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

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

当你编译和执行程序，它产生以下输出 

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

当你编译和执行程序，它产生以下输出 

Result: Some 5

选项的属性和方法

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

属性或方法	类型	描述
None	'T option	静态属性，使您能够创建具有None值的选项值。
IsNone	bool	如果该选项的none值，则返回true。
IsSome	bool	如果该选项的值是不无返回true。
Some	'T option	一个静态成员，它创建一个值为notNone的选项。
Value	'T	返回基础值，如果值为None，则抛出NullReferenceException。

例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