该 failwith
函数生成 F# 异常。
语法
failwith error-message-string
注解
上一语法中的 错误消息字符串 是文本字符串或类型 string
值。 它将成为 Message
异常的属性。
由 failwith
其生成的异常是一个 System.Exception
异常,它是 F# 代码中具有名称 Failure
的引用。 以下代码演示了如何 failwith
引发异常。
let divideFailwith x y =
if (y = 0) then failwith "Divisor cannot be zero."
else
x / y
let testDivideFailwith x y =
try
divideFailwith x y
with
| Failure(msg) -> printfn "%s" msg; 0
let result1 = testDivideFailwith 100 0