F#选项
2018-12-15 11:32 更新
当计算中使用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
以上内容是否对您有帮助:
← F#字符串
更多建议: