TypeScript已穷尽类型收窄仍报错：函数无返回语句且返回类型不含undefined

你遇到的这个TypeScript错误，核心原因是TypeScript的控制流分析无法自动确认你的条件分支已经穷尽了联合类型的所有可能成员——哪怕你觉得已经覆盖了所有情况，编译器也需要明确的兜底逻辑来证明没有剩余类型未被处理。

具体原因拆解 #

你的函数参数是string | number[] | ArrayBuffer | Uint8Array的联合类型，虽然四个条件分支分别对应了这四种类型，但TypeScript的类型系统不会假设你的typeof和instanceof检查在运行时一定能覆盖所有分支：

• 对于string类型的typeof检查是精确的，没问题；
• data instanceof Array确实能匹配number[]，但编译器无法100%确定这个检查不会遗漏任何number[]的边缘情况（理论上的，实际不存在）；
• 剩下的ArrayBuffer和Uint8Array的instanceof检查也是精确的，但编译器依然会认为存在“未被覆盖的分支”的可能性。

在严格模式下，TypeScript要求函数的返回值必须完全匹配声明的返回类型（这里是string，不包含undefined），如果存在未返回值的分支，就会抛出这个错误。

解决方案 #

添加一个兜底的else分支，用never类型来验证穷尽性——如果你的分支真的覆盖了所有类型，data会被自动推断为never类型，编译器就不会报错；如果后续你修改了参数的联合类型但忘记更新分支，编译器会立刻提醒你：

function decodeData(
  data: string | number[] | ArrayBuffer | Uint8Array,
): string {
  const td = new TextDecoder();
  if (typeof data === "string") {
    return data;
  } else if (Array.isArray(data)) {
    return td.decode(new Uint8Array(data));
  } else if (data instanceof ArrayBuffer) {
    return td.decode(data);
  } else if (data instanceof Uint8Array) {
    return td.decode(data);
  } else {
    // 用never类型断言验证穷尽性，若有未覆盖的类型，此处会报错
    const _unreachable: never = data;
    throw new Error(`无法解码未知类型的数据: ${_unreachable}`);
  }
}

另外补充一个小优化：Array.isArray(data)比data instanceof Array在跨环境（比如iframe）中更可靠，替换后效果一致但兼容性更好。

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