如何在F#中编写这个C#代码

Question

我习惯在C#中编写这样的代码:

SomeObj obj;
try{
    // this may throw SomeException
    obj = GetSomeObj();
}catch(SomeException){
    // Log error...
    obj = GetSomeDefaultValue();
}

obj.DoSomething();

这是我在F#中翻译它的方式(obj是一个列表):

let mutable obj = []
try
    obj <- getSomeObj
with
    | ex ->
        // Log ex
        obj <- getSomeDefaultValue

doSomething obj

有没有办法在不使用可变变量的情况下在F#中执行此操作？是否有一种更"优雅"的方式来处理F#中的这种情况？

谢谢!

Answer 1

F#-ish方式是在两个分支中返回相同类型的表达式:

let obj =
    try
        getSomeObj()
    with
    | ex ->
        // Log ex
        getSomeDefaultValue()

doSomething obj

在F#中,您可以使用option类型处理异常.当没有明显的默认值时,这是一个优势,编译器会强制您处理异常情况.

let objOpt =
    try
        Some(getSomeObj())
    with
    | ex ->
        // Log ex
        None

match objOpt with
| Some obj -> doSomething obj
| None -> (* Do something else *)

Answer 2

在函数中包含这个逻辑......

let attempt f = try Some(f()) with _ -> None
let orElse f = function None -> f() | Some x -> x

...它可能是:

attempt getSomeObj |> orElse getSomeDefaultValue