Question

有没有办法定义一个函数显式可以抛出，显然任何函数都可以抛出错误。但是我想明确定义一个函数被设计为抛出并且可能根本不返回值。

async function falseThrow (promise: Promise<any>, error): any {
  let value: any = await promise
  if (!value) throw error
  return value
}

Answer 1

Nat Mote在她的回答中强调，没有办法在流程中对已检查的异常进行编码。

但是，如果您愿意稍微更改编码，则可以执行相同的操作：

async function mayFail<A, E>(promise: Promise<?A>, error: E): E | A {
  let value = await promise
  if (!value) {
    return error
  }
  return value
}

现在flow将强制用户处理错误：

const p = Promise.resolve("foo")
const result = await mayFail(p, Error("something went wrong"))

if (result instanceof Error) {
  // handle the error here
} else {
  // use the value here
  result.trim()
}

如果您尝试执行类似

的操作

const p = Promise.resolve("foo")
const result = await mayFail(p, Error("something went wrong"))
result.trim() // ERROR!

流程会阻止您，因为您尚未检查result是Error还是string，因此调用trim并非安全操作。

Answer 2

Flow不支持已检查的异常。它没有尝试模拟可能抛出的函数或可能引发的错误类型。

Flowtype函数可能会抛出错误

2 个答案: