为何两个看似相同的TypeScript函数类型收窄效果不同？

我们有两个功能完全一致的函数，理论上都属于(msg?:string)=>never类型：

const fail1 = (msg?:string)=>{ throw new Error(msg); }
const fail2: (msg?:string)=>never = fail1;

但在类型收窄的表现上，二者却有明显差异：

declare const x: string | undefined

x.toUpperCase(); // 报错（符合预期）：'x' 可能为 'undefined'

if (!x) fail1();
x.toUpperCase(); // 报错：'x' 可能为 'undefined'

if (!x) fail2();
x.toUpperCase(); // 正常通过

核心原因 #

这本质是TypeScript的返回类型推断规则和控制流分析逻辑共同作用的结果：

• 对于fail1，TypeScript自动推断其返回类型为void。即便函数内部抛出错误不会实际返回值，TypeScript的默认推断逻辑不会将这类函数归为never返回类型，除非有明确的类型约束。
• 对于fail2，我们显式指定了它的返回类型为never。TypeScript的控制流分析会将返回never类型的函数调用视为当前代码分支的终止点（因为抛出错误会直接中断执行），因此会认定后续代码中，之前的类型判断条件（!x）已经排除了所有不符合的情况——这里就是排除了x为undefined的可能，从而完成类型收窄。

简单总结：只有当函数被明确标注为never返回类型时，TypeScript才会将其调用视为分支终止的信号，进而触发对应的类型收窄；而推断为void类型的函数，不会被识别为分支终止点，自然无法实现类型收窄。

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