TypeScript中async/await捕获异常返回空数组时推断never[]的问题

一、什么是never[]？ #

先明确never类型：它是TypeScript里最严格的类型，表示永远不会产生有效值的场景——比如直接抛出异常的函数、无限循环的函数，它们的返回类型就是never，因为永远不会正常返回任何值。

而never[]就是元素类型为never的数组，说白了就是一个永远不可能包含任何元素的空数组。因为never类型没有任何实例，你没法往这个数组里塞任何值。在你的代码里，TS把return []推断成never[]，是因为空数组没提供任何类型线索，TS会默认给它最严格的空数组类型。

二、为什么会出现Output[] | never[]？ #

原Promise正常返回Output[]，但catch里的空数组被TS推断为never[]，两者组合起来就形成了Output[] | never[]的联合类型。但我们实际想要的是不管成功失败，都拿到Output[]类型的数组。

三、处理异常并获取预期类型的最佳方案 #

1. 给catch块显式指定返回类型 #

直接在catch的箭头函数上标注返回类型，或者给空数组加类型断言，告诉TS这个空数组属于Output[]类型：

// 方法1：显式标注返回类型
const data = await getData().catch((e): Output[] => {
  handleError(e);
  return [];
});

// 方法2：类型断言
const data = await getData().catch((e) => {
  handleError(e);
  return [] as Output[];
});

这样TS会把catch的返回值识别为Output[]，最终data的类型就是纯Output[]。

2. 用try/catch替代Promise.catch #

换成传统的try/catch结构，直接给变量指定类型，逻辑更直观：

let data: Output[];
try {
  data = await getData();
} catch (e) {
  handleError(e);
  data = [];
}

一开始就给data定了Output[]类型，不管成功还是失败都赋值符合类型的值，彻底避免联合类型问题。

3. 封装统一的安全请求函数 #

如果有大量类似的异步请求场景，可以封装工具函数，统一处理异常并返回指定类型的数组：

async function safeFetch<T>(fn: () => Promise<T[]>): Promise<T[]> {
  try {
    return await fn();
  } catch (e) {
    handleError(e);
    return [] as T[];
  }
}

// 使用示例
const data = await safeFetch<Output>(getData);

这样复用性强，每次调用都能确保拿到确定的T[]类型。

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