返回 Result 类型的异常

Question

我正在尝试使用 F# 默认存在的错误：异常。

我想用 Result 类型处理错误，但如果我尝试将异常的特殊化（如 ArgumentException）作为错误返回，Visual Studio 会说“这个函数需要太多参数，或者在函数所在的上下文中使用没想到”。

我的来源：

let division (x: float) (y: float): Result<float, Exception> =
    if x = 0.0 then
        Error (ArgumentException ())
    else
        Ok (x / y)

Answer 1

您的代码的问题是新创建的ArgumentException 的类型与您在类型签名中指定的Exception 类型不同。

您可以使用:> 运算符安全地将ArgumentException 转换为Exception，但F# 不会自动插入转换，因此您必须自己编写：

let division (x: float) (y: float): Result<float, Exception> =
    if x = 0.0 then
        Error (ArgumentException () :> Exception)
    else
        Ok (x / y)

其实F#甚至可以从类型注解中推断出目标类型，所以你可以这样写：

Error (ArgumentException () :> _)

PS：我看到你说你得到“函数需要太多参数”的错误。这很奇怪，也许你的情况还有更多的事情发生。当我尝试你的代码时，我得到的错误是“这个表达式的类型应该是Exception，但是是ArgumentException”所以也许你也在重新定义一些标准类型......

Answer 2

你混淆了类型和值（更新：这个答案主要是指你帖子的第一个版本，TomasP 的答案更适合更新的代码）

• 在方法签名中，Exception 是泛型 Result 类型的类型参数。
• 在方法体中，构造返回值时，需要使用Exception类型的实例调用Error。

您需要实际调用可能抛出的操作（x/y 通常不会，正如 cmets 中指出的那样），捕获异常，然后返回：

let division (x: float) (y: float): Result<float, Exception> =
    try
        let result = SomethingThatCouldThrow x y
        Ok result
    with 
    | e -> Error e

顺便说一句，我不明白您“使用 F# 默认存在的错误：异常”的目标。 .Net 对错误条件的默认处理是异常，是的。但是你在这里返回的是一个包装异常的类（在错误情况下）。