TypeScript中可选互斥属性赋值未触发类型报错的原因咨询

问题原因 #

你定义的type T = { x?: number, y?: never } | { y?: number, x?: never }是两个分支的联合类型，空对象{}同时符合两个分支的约束，所以初始化为let a: T = {}时，a的类型是完整的联合类型T。

TypeScript对let声明的可变对象联合类型有以下处理逻辑：

• 单个属性赋值操作仅检查该操作是否符合联合类型的至少一个分支，不会跟踪对象的实时属性组合是否还属于某个分支。
• 赋值a.x = 1后，编译器不会自动将a的类型收窄到第一个分支——因为let变量是可变的，编译器不会假设赋值后变量就固定属于某个分支，除非你显式使用类型守卫。
• 后续赋值a.y = 1时，编译器发现联合类型的第二个分支允许y为number，因此允许该操作，却不会检查此时对象已经存在x属性，导致最终对象{x:1, y:1}不符合T的任何一个分支。

本质上：TypeScript的静态类型检查只在单个操作层面验证是否符合变量当前类型，不会跟踪对象属性的动态变化，也不会验证操作后整个对象是否仍属于原类型。

解决方案 #

1. 显式使用类型守卫收窄类型 #

通过类型守卫明确变量所属分支，强制后续操作符合该分支约束：

let a: T = {};
if ('x' in a) {
  a.y = 1; // Error: Type 'number' is not assignable to type 'never'.
} else {
  a.x = 1; // Error: Type 'number' is not assignable to type 'never'.
}

2. 使用satisfies运算符锁定初始类型（TypeScript 4.9+） #

satisfies会让变量推断出更具体的类型，同时确保初始值符合T：

let a = {} satisfies T;
a.x = 1;
a.y = 1; // Error: Type 'number' is not assignable to type 'never'.

3. 类型断言指定初始分支 #

初始化时用断言明确变量属于联合类型的某一个分支：

let a: T = {} as {x?: number, y?: never};
a.x = 1;
a.y = 1; // Error: Type 'number' is not assignable to type 'never'.

4. 优化互斥类型定义 #

用交叉类型强化互斥约束，写法更简洁且逻辑一致：

type MutexOptional<T, K extends keyof T> = 
  | (Partial<Pick<T, K>> & Record<Exclude<keyof T, K>, never>)
  | (Partial<Pick<T, Exclude<keyof T, K>>> & Record<K, never>);

type T = MutexOptional<{x: number, y: number}, 'x' | 'y'>;

let a: T = {};
a.x = 1;
a.y = 1; // Error: Type 'number' is not assignable to type 'never'.

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