覆盖 Exception.Message / 异常模式匹配

Question

我正在尝试对其定义中的异常进行模式匹配。是否可以使用 F# 的异常语法，或者我必须继承 Exception？

这是我期望的工作：

exception CoordErr of int * int
    with
        override this.Message = 
            let CoordErr(x, y) = this
            sprintf "(%i %i)" x y //ERROR

但会产生错误：

未定义值或构造函数“x”
未定义值或构造函数“y”

编辑

我也尝试添加括号：

let (CoordErr(x, y)) = this

但这给出了错误：

这个表达式应该有 exn 类型，但这里有 CoordErr 类型

更新

以下方法可行，但并不理想：

exception CoordErr of int * int
    with
        override this.Message = 
            sprintf "(%i %i)" this.Data0 this.Data1

还有其他方法吗？

更新 2

从 kvb 的回答中得到提示，我想我可以执行以下操作来吞下 incomplete matches 警告：

exception CoordErr of int * int
    with
        override this.Message = 
            match this :> exn with
            | CoordErr(x, y) -> sprintf "(%i %i)" x y
            | _ -> Unchecked.defaultof<_>

Answer 1

您的第一次尝试没有成功，因为您定义了一个名为 CoordErr 的 let-bound 函数，它隐藏了异常构造函数，这不是您想要的。

您的第二次尝试几乎成功了。不幸的是，异常定义不像可区分联合那样工作：当对异常构造函数进行模式匹配时，您要匹配的表达式必须是 exn 类型（而不是特定异常子类型）。在您的情况下，您正在尝试将 this（CoordErr 类型）与 CoordErr 构造函数进行匹配。解决方法如何？

exception CoordErr of int * int
    with
        override this.Message = 
          let (CoordErr(x,y)) = upcast this
          sprintf "(%i %i)" x y

Answer 2

命名构造函数参数并访问相应的字段似乎可行：

exception CoordErr of x : int * y : int
    with
        override this.Message = 
            sprintf "(%i %i)" this.x this.y

我意识到这不是模式匹配解决方案，但它确实回答了您问题的“覆盖 Exception.Message”部分。 :)

Answer 3

您可以使用 try with expression 的异常感知模式匹配

exception CoordErr of int * int
    with
        override this.Message = 
            try raise this with CoordErr(x, y) -> sprintf "(%i %i)" x y