TypeScript属性访问器赋值生成交叉类型而非联合类型的解决办法

问题场景 #

在以下代码中，当使用联合类型的键clazz给store[clazz]赋值时，TypeScript报错，提示Entity_A[] | Entity_B[]无法赋值给Entity_A[] & Entity_B[]，要求不使用@ts-ignore解决：

type Entity_A = { id?: number, prop_a: any }
type Entity_B = { id?: number, prop_b: any }
type EntityStorage = {
    a_entity: Entity_A[]
    b_entity: Entity_B[]
}
type EntityClass = keyof EntityStorage // 'a_entity' | 'b_entity'
type AnyEntityArray = EntityStorage[EntityClass] // Entity_A[] | Entity_B[]
type AnyEntity = NonNullable<EntityStorage[EntityClass]>[number] // Entity_A | Entity_B
 
const a_exampleEntity: Entity_A = { prop_a: null };
const b_exampleEntity: Entity_B = { prop_b: null };
const store: EntityStorage = {
    a_entity: [a_exampleEntity, a_exampleEntity],
    b_entity: [b_exampleEntity, b_exampleEntity],
};
const clazz: EntityClass = 'b_entity' as EntityClass; // 'a_entity' | 'b_entity'
let entities: AnyEntityArray; // Entity_A[] | Entity_B[]
 
// 读取操作正常
entities = store[clazz];
// 赋值操作报错
store[clazz] = entities;
/* 错误信息：
Entity_A[] | Entity_B[] 无法赋值给 Entity_A[] & Entity_B[]
*/

错误核心原因：TypeScript处理联合类型键的写入操作时，会将store[clazz]推断为所有可能值的交叉类型（确保赋值内容对所有键都有效），但entities是联合类型，二者类型不兼容。

解决方案 #

方法1：用泛型函数约束类型一致性 #

通过泛型关联键与对应值的类型，让TypeScript明确二者的匹配关系：

// 定义泛型赋值函数
function setStoreEntity<T extends EntityClass>(store: EntityStorage, key: T, value: EntityStorage[T]) {
  store[key] = value;
}

// 调用函数完成赋值
setStoreEntity(store, clazz, entities);

优点：类型安全，从语法层面强制键与值的类型匹配，是最推荐的方案。

方法2：精准类型断言 #

将entities断言为当前键对应的具体类型，比@ts-ignore更安全：

store[clazz] = entities as EntityStorage[typeof clazz];

注意：需确保业务逻辑中entities确实与clazz对应的类型一致，避免运行时错误。

方法3：映射类型重构（适用于通用场景） #

如果需要更灵活的类型定义，可重构为映射类型，明确索引与值的关系：

// 重构EntityStorage为映射类型（与原类型等价，写法更通用）
type EntityMap = {
  a_entity: Entity_A;
  b_entity: Entity_B;
};
type EntityStorage = { [K in keyof EntityMap]: EntityMap[K][] };

// 后续赋值逻辑可沿用前两种方法

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