为何TypeScript在此场景下类型推断错误？如何关闭赋值类型收窄行为？

数据老陈

2026-10-2

问题原因

TypeScript 的控制流分析目前不会跨函数追踪引用类型的属性修改，你的代码里在调用f(z)之前，已经给z.name赋值为字符串'2'，TS就把z.name的类型收窄为了string。调用f(z)的时候，TS不会主动读取函数内部的实现判断是否修改了入参的属性，所以之前的收窄结果会一直保留，才会把d的类型推断为string，和实际运行时的类型不符。

可选解决方案

局部类型断言
这是改动最小的方案，只需要在取可能被外部函数修改的属性时，手动指定预期类型即可：
```
const d = z.name as Z['name']
```
适合只在少数场景下存在这类问题的项目，不会影响其他代码的类型收窄逻辑。
重置控制流分析状态
调用完修改属性的函数后，加一段无意义的空分支，就能让TS重置之前的类型收窄结果：
```
f(z);
// 该行作用为重置z.name的类型收窄状态
if (false) {}
const d = z.name; // 此时d的类型会被推断为string | number
```
不需要修改类型定义，适合临时调试或者不想加多余断言的场景。
定义不可收窄的属性类型
如果希望某个属性永远不被TS自动收窄，可以封装一个简单的工具类型：
```
type NoNarrow<T> = T extends infer U ? U : never
interface Z {
    name: NoNarrow<string | number>
}
```
定义完成后，TS对name属性的所有推断都会保留完整的联合类型，不会因为赋值操作被收窄，适合该属性会被频繁在外部修改的场景。
全局禁用严格空值检查（极不推荐）
如果要彻底关闭这类类型收窄逻辑，可以在tsconfig.json中把strictNullChecks设为false，但这个改动会大幅降低整个项目的类型安全程度，除非是特殊的老项目迁移场景，否则不要使用。