为何返回never类型的函数无法像直接抛错一样实现TypeScript类型收窄？

问题背景 #

直接在if分支里抛出错误时，TypeScript能正确收窄变量类型：

declare const foo: number | undefined

if (!foo) { throw new Error() }

foo // 类型被收窄为number

但将错误抛出逻辑封装成返回never类型的函数后，TypeScript无法识别该分支会中断执行，导致变量类型无法收窄：

const errorWrapper = (): never => { throw new Error() }

declare const bar: number | undefined

if (!bar) { errorWrapper() }

bar // 仍为number | undefined

原因 #

TypeScript仅将直接的throw语句、return语句，以及标记为断言函数（asserts function）的调用视为控制流中断点。单纯返回never类型的函数调用，TypeScript不会自动推断它会终止当前分支的执行。

解决方案 #

方案1：使用断言函数（推荐） #

将错误包装函数定义为断言函数，明确告知TypeScript：当函数被调用时，某个条件必然为真（或当前分支会中断）。

比如定义一个通用断言函数，断言传入条件为true，不满足则抛出错误：

function assert(condition: unknown, message?: string): asserts condition {
  if (!condition) {
    throw new Error(message ?? "断言失败")
  }
}

declare const bar: number | undefined

if (!bar) { assert(false) } 
// 也可以直接简化为：assert(bar)

bar // 类型被收窄为number

如果要保留原有errorWrapper的封装风格，可调整为断言变量非空的版本：

function errorWrapper<T>(value: T): asserts value is NonNullable<T> {
  throw new Error()
}

declare const bar: number | undefined

if (!bar) { errorWrapper(bar) }

bar // 类型被收窄为number

方案2：手动添加控制流中断标记 #

在调用errorWrapper后，手动添加throw或return语句（虽冗余，但能触发类型收窄）：

const errorWrapper = (): never => { throw new Error() }

declare const bar: number | undefined

if (!bar) { 
  errorWrapper()
  throw new Error() // 若在函数内也可使用return
}

bar // 类型被收窄为number

方案3：使用类型断言（不推荐，不安全） #

直接手动断言变量类型，这种方式跳过TypeScript类型检查，仅在你能100%确保变量类型时使用：

const errorWrapper = (): never => { throw new Error() }

declare const bar: number | undefined

if (!bar) { errorWrapper() }

const barNumber = bar as number // 手动断言

总结 #

最推荐使用断言函数，它既保留代码封装性，又能让TypeScript正确完成类型收窄，同时提供清晰的类型语义。

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