TypeScript为何将初始化null的变量推断为never类型？

这个问题核心在于TypeScript的控制流分析机制对高阶函数（比如数组的forEach）的处理限制，我来一步步给你讲明白：

1. 为什么forEach里的赋值没被识别？ #

TypeScript的控制流分析只会追踪原生的控制流结构（比如for/if/while这些），对于像forEach这种内置的高阶函数，它没办法百分百确定回调函数一定会被执行——比如如果数组是空的，回调根本不会触发。所以TypeScript会忽略回调内部对外部变量a的修改，仍然认为a的取值只有初始的null。

2. 为什么if (a != null)分支里a变成了never？ #

当你写if (a != null)时，TypeScript会做类型收窄：如果a确实可能是number或null，这个条件会把分支里的a收窄为number。但因为前面的分析里，TypeScript认为a永远是null，所以a != null这个条件永远为假，进入这个分支的代码是完全不可达的。对于不可达代码里的变量，TypeScript会把它的类型推断为never——这就是为什么你会看到“类型never上不存在属性toFixed”的错误。

3. 怎么解决这个问题？ #

有几种靠谱的方案：

方案一：用原生for循环代替forEach #

原生循环属于TypeScript能完整追踪的控制流结构，它能识别到循环内部对a的赋值：

let a: number | null = null;
for (const num of [1]) {
  a = num;
}
if (a != null) {
  a.toFixed(); // 正常工作，a被推断为number
}

方案二：手动类型断言（谨慎使用） #

如果你确定forEach的回调一定会执行，可以用类型断言告诉TypeScripta的实际类型：

let a: number | null = null;
[1].forEach(() => { a = 1; });
if (a != null) {
  (a as number).toFixed(); // 断言为number，绕过类型检查
}

方案三：用reduce替代forEach（更函数式的写法） #

如果逻辑允许，用reduce可以让TypeScript追踪返回值的类型，避免外部变量的问题：

const a = [1].reduce((acc) => 1, null as number | null);
if (a != null) {
  a.toFixed(); // 正常工作
}

补充：为什么没有if判断时类型是null | number？ #

当你没有写条件收窄的代码时，TypeScript会保留变量的声明类型（也就是你定义的number | null），不会因为“理论上可能永远是null”就直接推断为never——只有当你添加了永远为假的条件判断，触发不可达代码分析时，才会出现never类型。

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