代码之家 › 专栏 › 技术社区 › em70

f部分函数的异常处理

f# exception-handling exception

em70 · 技术社区 · 15 年前

我正在尝试编写一个函数,其中只有两个方法调用(方法为Unit->Unit)应该处理某个异常。行为应为:
-如果引发异常,则整个函数结束
-函数(异常处理程序外部)否则继续运行

起初,我认为我可以使用一个函数,其中的语句被一个try/with块和一个continue所包围,但当然,continue将从块中调用……我可能会将语句包装在一个函数中,并使用一个返回值来表示成功/失败,但是与下面的C代码相比,这对我来说似乎很笨拙,这正是我在F中努力实现的目标。

SomeType MyMethod(string x)
{
    ...
    try
    {
        foo();
        bar();
    }
    catch(SomeException)
    {
        return null;
    }
    ...
    return ...;
}

4 回复 | 直到 15 年前

desco 15 年前

像这样?

// f <- foo(); bar(); etc...
// k <- unprotected continuation
let runProtected f k = 
    if try f(); true with _ -> false 
    then k()
    else null

// sample from the question 
let runProtected () = 
    if try 
        foo(); bar();
        true 
       with _ -> 
        false 
    then unprotected()
    else null

elmattic 15 年前

我认为最好的惯用代码是使用选项类型:

member t.MyMethod(x : string) : SomeType =
    let result =
        try
            foo()
            bar()
            Some(...)
        with :? SomeException ->
            None

    match(result)
    | Some(...) -> // do other work and return something
    | None -> // return something

Tim Robinson 15 年前

怎么样:

let success =
    try
        foo ()
        bar ()
        true
    with :? SomeException ->
        false

if success then
    ...
else
    ()

James Hugard 15 年前

好。。。你能够做…

type Test() =
    member this.MyMethod (x:string) =
        if try
            foo()
            bar()
            true
           with _ -> false
        then
            // do more work
            "blah"
        else
            null

或者,翻转“真/假”…

type Test() =
    member this.MyMethod (x:string) =
        if try
            foo();
            bar();
            false
           with _ -> true
        then
            // bail early
            null
        else
            // do more work
            "blah"

强烈建议从返回空值切换到返回选项类型(一些(x)/无)。让编译器捕获未处理空值的位置,而不是您的用户;-)

推荐文章

Thomas · 使类型别名在F中不可互换#

3 年前

sdgfsdh · 我该怎么说。使用异步转换函数进行收集?

7 年前

Soldalma · 我可以实例化包含顶级副作用值的类吗?

7 年前

matekus · F#-包含数字的字符串的自然排序

7 年前

Ayto Maximo · F#CSV-对于每一行,从列数据创建一个数组

7 年前

Chechy Levas · 在F#中使用免费单子是否意味着启动时间更长,指令有限?

7 年前

matekus · F#类型匹配-无法创建映射或匹配记录

7 年前

Rob Lyndon · 未找到F#ProvidedTypes文件

7 年前

red-swan · 如何将intro ML.Net演示翻译为F#?

7 年前

jkone27 · F#-在编译时从字符串生成简单的空类型

7 年前