TypeScript交叉类型数组调用数组方法时无法识别全部字段问题

• 你定义的{ foo?: string }[] & { bar?: boolean }[]是两个独立数组类型的交叉，等价于Array<{foo?: string}> & Array<{bar?: boolean}>，并不是开发者通常预期的「每个元素同时包含foo、bar字段的单个数组类型」Array<{foo?: string} & {bar?: boolean}>，两种类型的语义和TS处理逻辑完全不同。
• 索引访问obj[0].bar正常的原因：TS处理交叉类型的索引读取规则时，对于同时存在数字索引签名的两个类型交叉，读取索引位返回的值会被推导为两个索引返回类型的交叉，也就是({foo?:string} | undefined) & ({bar?:boolean} | undefined)，因此可以直接访问两个类型的所有字段。
• 遍历方法报错的核心原因：TS合并交叉类型的同名方法时，遵循函数参数逆变的通用规则。数组的forEach、map、filter等方法都接收一个回调函数作为参数，两个数组类型交叉后，合并得到的方法要求传入的回调必须同时满足两个数组的调用约定：既可以处理{foo?:string}类型的元素，也可以处理{bar?:boolean}类型的元素，因此回调的参数类型会被推导为{foo?:string} | {bar?:boolean}联合类型。此时直接访问联合类型中某一个成员独有的bar属性，TS会判定属性不存在，抛出类型错误。
• 这种表现差异本质是TS没有为数组交叉类型做专门的类型适配，直接套用通用对象交叉的合并规则，最终产生了不符合开发者直觉的类型推导结果。

如果要定义「数组每个元素同时包含两个类型字段」的类型，需要把交叉逻辑写在数组元素层面，而不是交叉两个完整数组类型：

var obj: ({
  foo?: string;
} & {
  bar?: boolean;
})[] = [{foo: "a", bar: true}];

obj.forEach((q) => q.bar); // 类型校验正常
obj.map((q) => q.bar) // 类型校验正常
obj[0].bar; // 类型校验正常

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