TypeScript报错'string[]'不可分配给'A[] & string[]'如何解决？

这是TypeScript处理联合类型索引赋值时的类型安全限制：

• 你使用item as keyof Container强制将item的类型拓宽为'a' | 'b'，直接覆盖了item === 'b'判断带来的类型窄化结果。
• TypeScript在给联合类型的索引赋值时，为了保证赋值操作对所有可能的索引值都合法，会要求赋值内容满足所有索引对应属性的类型（即所有类型的交集），因此这里myContainer[item as keyof Container]的类型被推断为readonly A[] & string[]，而非你预期的并集，string[]自然无法匹配这个交集类型，所以触发报错。

方法1：利用自动类型窄化（最推荐） #

给遍历的数组添加as const断言，让TypeScript识别数组元素为字面量联合类型，无需额外类型断言即可自动完成类型窄化：

// 加as const让TS推断数组元素为 'a'|'b' 字面量类型
(['a', 'b'] as const).forEach((item) => {
  if (item === 'b') {
    // 此时item自动被窄化为'b'类型，myContainer[item]类型直接匹配string[]
    myContainer[item] = someStringArray
  }
});

方法2：使用精准类型断言 #

如果你不想修改数组的类型推断，可以直接将item断言为已经判断确认的'b'类型：

['a', 'b'].forEach((item) => {
  if (item === 'b') {
    myContainer[item as 'b'] = someStringArray
  }
});

方法3：拆分赋值逻辑 #

如果需要赋值的属性不多，直接拆分赋值逻辑完全规避类型问题：

// 直接给对应属性赋值，类型完全匹配
myContainer.b = someStringArray

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