TypeScript联合类型与字段类型覆盖的赋值问题解惑

问题本质：两种类型的核心区别 #

首先明确两个类型的核心差异：

• AORB = A | B 是对象类型的联合，表示值要么严格符合A的结构，要么严格符合B的结构，二者是互斥的选项。
• AORBField/BaseTypes 是单对象类型，其属性为联合类型，表示值是一个拥有field属性的对象，该属性可以是string或number，不存在互斥约束。

这两种类型在TypeScript的类型检查逻辑中完全不等价，表现自然天差地别。

赋值报错的原因分析 #

当AB设置为AORB时，以下代码出现报错：

const ab: AB = { field: getField() }; // 报错
const abc: AB = getDummyObject(); // 报错

原因在于TypeScript对对象联合类型的赋值有严格规则：赋值的必须是联合中某一个具体类型的实例。getField()返回的是string | number，因此{ field: getField() }的推断类型是{ field: string | number }——这个对象既不完全符合A（要求field必须是string），也不完全符合B（要求field必须是number），TypeScript无法确定它属于联合中的哪一个成员，因此拒绝赋值。

而当AB设置为AORBField或BaseTypes时，这些类型本身就允许field是string | number，所以上述赋值完全符合类型约束，不会报错。

类型收窄的差异原因 #

只有当AB是AORB时，if-else分支才能正确推断类型：

if (isA(ab)) {
  const a: A = ab; // 合法，isA将ab收窄为A
} else {
  const b: B = ab; // 合法，联合类型排除A后只剩B
}

这是因为A | B是有限成员的联合类型，TypeScript明确知道联合的所有可能选项。当isA排除了A的可能性后，自动推断else分支的类型为B。

而当AB是AORBField或BaseTypes时，else分支无法推断为B：

else {
  const b: B = ab; // 报错
}

原因是这些类型是单一对象类型，即使检查了field是number，TypeScript也无法将整个对象收窄为B——原类型仅约束field的类型范围，并没有绑定到B的结构上，它只是一个普通对象，而非联合类型的成员。

总结 #

• 对象联合类型（A | B）：要求值必须精确匹配联合中的某一个具体类型，支持基于联合成员的自动类型收窄。
• 单对象联合属性类型（{ field: string | number }）：允许值的属性为联合类型，但无法通过属性检查将整个对象收窄为其他具体类型。

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