ReScript语言中Promise.catch的异常处理实践指南

异常处理基础

在ReScript中处理Promise的异常时，开发者需要理解几个核心概念。异常在ReScript底层是通过可扩展变体(extensible variant)实现的，这意味着它们天生就是开放式的，总是需要一个通配符匹配分支。

三种异常处理方式比较

ReScript提供了多种处理Promise异常的方式，各有适用场景：

1. try/catch语法 - 最简洁直观的方式

let tryCatchWay = async () =>
  try await f() catch {
  | Exn.Error(exn) => exn->Exn.message->Option.getOr("默认错误")
  }

2. switch/exception语法 - 适用于同时处理返回值和异常的情况

let result = switch await somePromise() {
| exception Exn.Error(exn) => "处理异常"
| value => "处理正常值"
}

3. Promise.catch方法 - 最底层的方式

f()
->Promise.catch(async exn => {
  switch exn {
  | Exn.Error(exn) => exn->Exn.message->Option.getOr("默认错误")
  | _ => "其他异常"
  }
})

事件监听中的异常处理

在DOM事件监听器等需要保持函数签名的场景中，可以创建一个辅助函数来优雅地处理异步操作：

module PromiseUtils = {
  let run = (makePromise: unit => promise<unit>) => makePromise()->Promise.done
}

let onSubmit = ev => PromiseUtils.run(async () => 
  try {
    await someAsyncOperation()
  } catch {
  | Exn.Error(exn) => 
    logError(exn)
    showUserMessage(exn->Exn.message->Option.getOr("操作失败"))
  }
)

最佳实践建议

1. 优先使用Result类型：在大多数情况下，使用Result类型比直接抛出异常更符合函数式编程范式，代码也更可预测。

2. 明确异常类型：当确实需要使用异常时，尽可能明确捕获特定类型的异常，而不是依赖通配符。

3. 错误处理集中化：考虑创建统一的错误处理模块，避免在各个Promise处理中重复相同的错误处理逻辑。

4. 异步上下文标记：使用async/await语法可以显著提高代码可读性，特别是在复杂的异步流程中。

通过理解这些模式和选择最适合场景的异常处理方式，开发者可以编写出既健壮又易于维护的ReScript异步代码。