TypeScript中三种函数返回类型（含never）声明差异及cf行为分析

一、三种never返回类型声明方式的差异 #

先看三个函数的定义：

let a: string | undefined
let b: string | undefined
let c: string | undefined

// 方式1：无显式返回类型，由TypeScript自动推断
const af = () => {
    throw new Error()
}
// 方式2：函数签名处显式标注返回类型为never
const bf = (): never => {
    throw new Error()
}
// 方式3：直接为变量指定类型为"返回never的函数"
const cf: () => never = () => {
    throw new Error()
}

从ReturnType<typeof X>的结果来看，三者的返回类型都是never，但TypeScript对它们的类型语义解析和控制流处理逻辑完全不同：

• 方式1（af）：返回类型是TS通过函数体抛出错误的行为推导出来的，属于"推导型never"。TS对这类推导出来的类型会保留一定的灵活性，不会将其视为绝对不可变的契约。
• 方式2（bf）：函数签名显式声明返回never，这是函数自身的类型标注。但TS在处理这种标注时，只会确保函数实现符合该类型，不会将其作为控制流分析中"代码不可达"的强依据。
• 方式3（cf）：直接为变量cf指定了() => never的类型，这是一个变量级别的强类型契约。TS会完全信任这个标注，认定调用该函数后程序必然终止，不会继续执行后续代码。

二、为什么只有cf能触发变量类型收窄？ #

TypeScript的类型收窄依赖于控制流分析：当它判定某段代码绝对不可达时，会基于前面的条件推断变量的精确类型。

关于af #

af的never是推导出来的，TS担心函数体后续可能被修改（比如移除throw语句），所以不会将调用af后的代码标记为不可达。因此，它不会认定if (!a)分支已经覆盖了a为undefined的情况，也就不会收窄a的类型。

关于bf #

bf虽然显式标注了返回never，但TS的控制流分析逻辑中，函数签名上的never标注并不会直接触发"后续代码不可达"的判断。它只会验证函数实现是否符合该类型，但不会主动将调用后的代码视为终止点，因此无法收窄b的类型。

关于cf #

cf的类型是明确的() => never，TS会直接将调用cf()的行为视为程序终止的标志。当执行if (!c) cf();时，TS会认为：如果c是undefined，程序会终止；能执行到c.length的情况，c必然是string，因此正确收窄了c的类型。

总结 #

三种声明方式的核心区别在于TypeScript对类型的信任层级：

• 推导型never（af）：信任度最低，控制流分析最保守
• 函数签名标注的never（bf）：信任函数实现符合类型，但不用于控制流的不可达判断
• 变量级别的never函数类型（cf）：信任度最高，直接作为控制流终止的依据，触发类型收窄

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