选项
当计算中使用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