为何TypeScript中联合字面量类型数组调用filter报错，字符串类型却正常？

核心原因：TypeScript类型推断与联合类型兼容性 #

1. fails变量报错的逻辑 #

• 原始数组[{iAm: 'a'}, {iAm: 'b'}]的类型被推断为(A|B)[]，但调用filter(() => true)后，TypeScript默认会把返回数组的类型放宽为{iAm: string}[]——因为filter的默认类型签名不会保留元素的字面量窄类型，会将属性类型提升到其基础父类型（这里'a'/'b'被放宽为通用string）。
• 目标类型(A|B)[]要求每个元素必须严格匹配A（iAm: 'a'）或B（iAm: 'b'），但{iAm: string}是更宽泛的类型，无法被窄化为具体的字面量类型，因此类型不兼容，触发报错。

2. works变量无报错的逻辑 #

• 目标类型是(B|C)[]，其中C的iAm字段本身就是string类型。
• filter返回的{iAm: string}[]中的每个元素，要么可以匹配B（当iAm为'b'时），要么完全符合C的类型要求（任意string值）。因此整个数组类型与(B|C)[]完全兼容，不会触发类型错误。

可选解决方法 #

如果需要在filter后保留原数组的窄类型，可以手动指定filter的类型参数，强制约束返回类型：

const fails: (A|B)[] = [{iAm: 'a'}, {iAm: 'b'}]
  .filter<(A|B)>(() => true);

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