JSRUN 用代码说话

选项

编辑教程

选项

当计算中使用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
JSRUN闪电教程系统是国内最先开创的教程维护系统, 所有工程师都可以参与共同维护的闪电教程,让知识的积累变得统一完整、自成体系。 大家可以一起参与进共编,让零散的知识点帮助更多的人。
X
支付宝
9.99
无法付款,请点击这里
金额: 0
备注:
转账时请填写正确的金额和备注信息,到账由人工处理,可能需要较长时间
如有疑问请联系QQ:565830900
正在生成二维码, 此过程可能需要15秒钟