TypeScript中始终抛错的函数无法实现类型收窄问题

你遇到的问题是TypeScript的控制流分析不会自动将返回never的函数调用视为控制流终止点——即使函数内部一定会抛出错误，单独调用f()的语句不会让编译器推断后续代码不可达。以下是两种可行的解决方法：

方法1：在调用错误函数后显式返回 #

将f()作为return的表达式，利用never类型可以赋值给任意类型的特性，让TypeScript明确这个分支不会继续执行：

const gg = (s: A): string => {
  if (!s.x.a) {
    return f(); // f返回never，return后控制流终止
  }
  return s.x.a; // 此时s.x.a已被收窄为string
}

方法2：使用断言函数（推荐） #

将错误函数定义为断言函数，通过asserts false明确告诉编译器：这个函数执行后，后续代码永远不可达。这种方式更语义化，无需额外的return：

// 重新定义f为断言函数
function f(): asserts false {
  throw new Error('message');
}

const gg = (s: A): string => {
  if (!s.x.a) {
    f(); // 编译器知道调用后不会走到下面的代码
  }
  return s.x.a; // 编译正常，s.x.a已被收窄
}

为什么原代码不生效？ #

TypeScript的控制流分析对单独的函数调用语句（比如f();）不会自动推断为控制流终止，即使函数返回never。只有当函数调用是return的一部分，或者是断言函数时，编译器才会将其视为不可达代码的标记，从而完成类型收窄。

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