F# 中有两类异常:.NET 异常类型和 F# 异常类型。 本主题介绍如何定义和使用 F# 异常类型。
语法
exception exception-type of argument-type
注解
在前面的语法中, 异常类型 是新的 F# 异常类型的名称, 参数类型 表示在引发此类型的异常时可以提供的参数的类型。 可以通过对 参数类型使用元组类型来指定多个参数。
F# 异常的典型定义如下所示。
exception MyError of string
可以使用函数 raise
生成此类型的异常,如下所示。
raise (MyError("Error message"))
可以直接在表达式中的 try...with
筛选器中使用 F# 异常类型,如以下示例所示。
exception Error1 of string
// Using a tuple type as the argument type.
exception Error2 of string * int
let function1 x y =
try
if x = y then raise (Error1("x"))
else raise (Error2("x", 10))
with
| Error1(str) -> printfn "Error1 %s" str
| Error2(str, i) -> printfn "Error2 %s %d" str i
function1 10 10
function1 9 2
在 F# 中使用关键字定义的 exception
异常类型是继承自 System.Exception
的新类型。