TypeScript为何认为对象属性赋值后仍为number | undefined？

问题核心 #

在TS 4.4.4中，给Person类型对象的可选age属性赋值后，传入要求RequireField<Person, 'age'>类型的函数时，TS依然认为age是number | undefined；但单个string | undefined变量赋值后，却能被正确识别为string并传入要求string的函数。

原因分析 #

1. 单个联合变量的类型窄化 #

对于let myString: string | undefined这种单个变量的联合类型，TypeScript的控制流分析会跟踪变量的赋值状态：当你给myString赋值'test'后，TS会自动将变量类型窄化为string，所以传入要求string的函数不会报错。这是TS对单个变量的基础类型推断能力。

2. 对象类型的静态特性 #

而myObj的类型被显式声明为Person，这是一个静态类型。即使你给myObj.age赋值了25，TS不会修改整个对象的类型——因为对象是引用类型，TS无法保证后续没有其他代码把myObj.age重新设为undefined，所以不会自动将myObj的类型从Person升级为RequireField<Person, 'age'>。

你的RequireField<T, K>类型是T & Required<Pick<T, K>>，本质是要求对象同时满足原接口和必填指定属性的约束，但原Person类型的age依然是可选的，所以两者无法兼容。

解决方案 #

方案1：类型断言 #

直接告诉TS当前对象符合目标类型（适用于你能确保age已被赋值的场景）：

calculateAge(myObj as RequireField<Person, 'age'>);

方案2：重新赋值生成新对象 #

通过扩展原对象生成新的、类型自动推导为包含必填age的对象：

const myObjWithAge = { ...myObj, age: 25 };
calculateAge(myObjWithAge); // TS会自动推导myObjWithAge的类型为RequireField<Person, 'age'>

方案3：使用类型守卫 #

编写类型守卫函数，让TS通过控制流分析识别对象的真实类型：

function hasAge(obj: Person): obj is RequireField<Person, 'age'> {
  return obj.age !== undefined;
}

if (hasAge(myObj)) {
  calculateAge(myObj); // 此处TS会确认myObj符合RequireField类型
}

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