TypeScript数组交叉类型：forEach等方法属性不可访问但for循环可行

问题描述 #

使用TypeScript时，遇到第三方定义的交叉数组类型DataStructure：通过索引访问元素或for...of循环遍历能正常访问所有属性，但调用forEach、some等数组方法时，回调参数仅能识别第一个数组类型的属性，无法访问其余交叉类型的属性，且无法修改第三方的类型定义。

复现代码 #

// 第三方定义的类型（无法修改）
type DataStructure =
  & Array<{ a: number; b: number }>
  & Array<{ b: number; c: number }>

const structure: DataStructure = [
  {
    a: 1,
    b: 2,
    c: 3,
  },
]

structure[0].a // 正常访问
structure[0].b // 正常访问
structure[0].c // 正常访问

for (const s of structure) {
  s.a // 正常访问
  s.b // 正常访问
  s.c // 正常访问
}

structure.forEach(s => {
  s.a // 正常访问
  s.b // 正常访问
  s.c // 报错：Property 'c' does not exist on type '{ a: number; b: number }'.(2339)
})

// 如果能修改类型，正确写法应为：
// Array<{ a: number; b: number } & { b: number; c: number }>

报错信息 #

属性“c”在类型“{ a: number; b: number; }”上不存在。(2339)

原因分析 #

1. 索引与for...of的类型推断逻辑：通过索引（如structure[0]）或for...of遍历交叉数组时，TypeScript会直接合并两个数组的元素类型，得到{ a: number; b: number } & { b: number; c: number }，因此能正常访问所有属性。
2. 数组方法的类型处理逻辑：对于forEach这类数组原型方法，交叉数组类型的方法会被解析为两个数组方法的重载（分别对应两个交叉的数组类型）。传入回调函数时，TypeScript会优先匹配第一个重载的参数类型（即{ a: number; b: number }），导致无法识别c属性。

可行解决方案 #

1. 类型断言为正确的数组类型 #

直接将交叉数组类型断言为元素类型交叉后的数组，再调用方法：

(structure as Array<{ a: number; b: number } & { b: number; c: number }>).forEach(s => {
  s.a;
  s.b;
  s.c; // 正常访问
});

2. 定义修正后的类型别名复用 #

先创建类型别名表示正确的数组类型，再复用断言逻辑：

type FixedDataStructure = Array<{ a: number; b: number } & { b: number; c: number }>;

(structure as FixedDataStructure).forEach(s => {
  s.c; // 正常访问
});

3. 自定义遍历函数封装逻辑 #

手动实现遍历函数，利用索引访问的正确类型推断：

function traverseStructure<T extends DataStructure>(
  arr: T,
  callback: (item: T[number]) => void
) {
  for (const item of arr) {
    callback(item);
  }
}

traverseStructure(structure, s => {
  s.c; // 正常访问
});

4. 直接为回调参数指定正确类型 #

在forEach的回调中显式声明参数的完整类型：

structure.forEach((s: { a: number; b: number } & { b: number; c: number }) => {
  s.c; // 正常访问
});

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