TypeScript中Promise异常处理的类型疑问：为何报错未提示类型不匹配？

先看两段核心代码：

static sendForm(form: Form): Promise<MyEntity> {
  return this.post(request, `path`);
}

这个函数明确返回Promise<MyEntity>，调用方预期请求成功时会拿到MyEntity对象，逻辑合理。

static post(obj: Object, path: string): Promise<any> {
  return axios
    .post(`${serviceUrl}/${path}`, JSON.stringify(obj), defaultConfig)
    .then((response) => mapToCustomResponse(response))  
    .catch(async (error) => Promise.reject(Utils.catchError(error)));
}

这里then回调会返回MyEntity类型的Promise，但请求失败进入catch时，会返回一个被拒绝的Promise，值是错误对象而非MyEntity。

为什么TypeScript没有报错？ #

核心原因有两点：

• Promise类型的设计规则：TypeScript中Promise<T>的泛型T仅描述Promise兑现（resolved）时的值类型，完全不约束拒绝（rejected）时的错误类型。也就是说，Promise<MyEntity>只保证成功时返回MyEntity，失败时返回什么类型，TypeScript不会通过函数返回类型做检查或提示。
• any类型的兼容性：post方法返回Promise<any>，而any是TypeScript的顶级兼容类型，可以匹配任何类型（包括Promise<MyEntity>）。所以当sendForm返回this.post(...)时，TypeScript判定类型匹配，不会抛出错误。

如何让错误类型被TypeScript感知？ #

如果想让错误类型纳入类型检查范围，可以做这些调整：

• 把post的返回类型改为更精确的Promise<MyEntity>，此时catch里Promise.reject的错误类型会被TS自动推断，但函数返回类型依然只关注兑现值。
• 在调用sendForm时，给catch块明确标注错误类型：

  sendForm(form)
    .then(entity => { /* 处理MyEntity */ })
    .catch((error: CustomError) => { /* 处理错误 */ });
  

内容的提问来源于stack exchange，提问作者Toni26