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值的选项值。
IsNonebool如果该选项的none则返回true。
IsSomebool如果该选项的值是不返回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
以上内容是否对您有帮助:
在线笔记
App下载
App下载

扫描二维码

下载编程狮App

公众号
微信公众号

编程狮公众号