在F#中尝试finally语句

Question

我是新手学习F#并编写一个简单的控制台应用程序,用户输入一个距离值,我想要一些验证来确保输入是一个数字.它还需要确保它是一个数字,如果不是,请告诉用户并重新开始.这是我到目前为止:

        let distance = 0

        while distance = 0 do 
            System.Console.WriteLine("How far do you want to travel?")
            let answer = System.Console.ReadLine()

            try
                let distance = System.Int32.Parse(answer)

                if distance < 0 then
                    let distance = 0
                    printfn "Can't use negative numbers"
                elif distance = 0 then
                    printfn "Can't travel a distance of 0"
                else
                    printfn "You are about to travel %A" distance

            finally
                let distance = 0
                printfn "Invalid distance format"

这就是出现的问题:

在这个例子中,我想要发生的是"无效距离格式" 不会出现,它会移动到应用程序的下一部分.

我如何才能使"无效距离格式"仅在distance无法转换为int via时出现System.Int32.Parse(answer)

即使try-finally是完全错误的方式去做这件事,它还会怎么做呢？

提前致谢

Answer 1

你想要的是什么 try...with

   try
      let distance = System.Int32.Parse(answer)
      . . . . .

   with
   | _ as ex -> printfn "Invalid Distance Format"

http://fsharpforfunandprofit.com/posts/exceptions/

你也可以这样做

...
let attemptedConvert =  Int32.TryParse(answer)
let success,convertValue = attemptedConvert
if success then 
  //other stuff here
else 
  printfn "Invalid Number Format"

这样就不会抛出任何异常,如果条目成功转换,您仍然可以进行验证.

如下所述,异常可能是比其他替代方案更昂贵的操作,应进行评估以查看是否会导致不必要的开销.与任何流程一样,这应该根据具体情况进行评估.

TryParse方法