TypeScript中使用Promise.all获取Video集合时出现类型不匹配报错

TypeScript 推导Promise.all返回值类型时，会基于传入数组中每个Promise的解析结果做联合类型合并。你传入的map回调存在未显式返回值的分支：当item.type既不匹配YOUTUBE也不匹配VIMEO类型时，回调函数会隐式返回undefined，因此整个回调的返回类型被推导为Promise<Video | undefined>，最终Promise.all的解析结果类型为(Video | undefined)[]，和要求的Video[]类型无法匹配。

方案1：补全分支逻辑，从根源消除undefined返回 #

根据业务场景选择对应的兜底逻辑，让所有代码分支都返回确定的Video类型值：

• 若业务逻辑能保证ourData中的条目只会是两种已知视频类型，可在回调末尾抛出明确错误，既补全了代码分支，也能在出现非法数据时触发外层错误捕获：

const resp: Video[] = await Promise.all(
  ourData.map(async (item): Promise<Video> => {
    if (item.type === videoConstants.TYPE_YOUTUBE) {
      return getYouTubeVideo(item.id);
    }
    if (item.type === videoConstants.TYPE_VIMEO) {
      return getVimeoVideo(item.id);
    }
    // 未知类型直接抛错，避免隐式返回undefined
    throw new Error(`存在未知视频类型: ${item.type}`);
  })
);

这种写法下TypeScript会自动识别所有分支的返回值都是Video，推导结果完全匹配Video[]的类型要求，不会触发类型报错。

• 若业务上确实存在未知类型的条目，需要过滤掉空值再使用，可通过类型谓词做显式类型收窄，不需要调整全局关联的类型定义：

// 不提前声明resp类型，先接收Promise.all的原生推导结果
const rawResp = await Promise.all(
  ourData.map(async (item) => {
    if (item.type === videoConstants.TYPE_YOUTUBE) {
      return getYouTubeVideo(item.id);
    }
    if (item.type === videoConstants.TYPE_VIMEO) {
      return getVimeoVideo(item.id);
    }
    return undefined;
  })
);
// 通过类型谓词过滤空值，收窄为Video[]类型
const resp = rawResp.filter((item): item is Video => item !== undefined);

经过类型谓词收窄后的resp会被TypeScript自动识别为Video[]类型，后续的全局类型关联逻辑不会触发连锁报错。

方案2：修正不当的前置类型声明 #

原代码中提前给resp声明Video[]类型的写法，会把类型推导的偏差直接暴露在赋值环节。正常开发中建议优先让TypeScript基于实际代码逻辑自动推导类型，只有当推导结果不符合业务预期时，再通过补全分支、类型收窄的方式修正推导结果，不要强行把接收变量的类型放宽为(Video | undefined)[]，避免引发全局连锁类型错误。

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