TypeScript中如何对联合数组类型执行map操作？

这个报错的核心原因是：Test1[] | Test2[]是数组类型的联合，而非元素为联合类型的数组(Test1 | Test2)[]。TypeScript无法确定你调用的是Test1[]的map还是Test2[]的map——这两个map方法的回调参数类型不兼容（一个接收Test1，一个接收Test2），所以编译器找不到通用的调用签名。

下面给你几种可行的解决方式：

1. 缩小类型范围（推荐：类型守卫） #

通过类型守卫让TypeScript明确当前数组的具体类型，这样就能安全调用对应类型的map：

interface Test1 { number: number; }
interface Test2 extends Test1 { text: string; }
let test: Test1[] | Test2[] = [];

// 用every+in操作符判断是否全部是Test2类型
if (test.every(item => 'text' in item)) {
  // 这里test被推断为Test2[]
  test.map(obj => {
    console.log(obj.number, obj.text); // 可以直接访问text属性
  });
} else {
  // 这里test被推断为Test1[]
  test.map(obj => {
    console.log(obj.number);
  });
}

这种方式最安全，编译器能全程做类型检查，避免运行时错误。

2. 断言为联合元素数组 #

如果你不需要区分整个数组的类型，只关心单个元素的公共或联合属性，可以把数组断言为(Test1 | Test2)[]，这样map的回调参数会被推断为Test1 | Test2：

(test as (Test1 | Test2)[]).map(obj => {
  console.log(obj.number); // Test1和Test2都有number属性，直接访问
  // 如果要访问Test2独有的text，需要在回调里做类型缩小
  if ('text' in obj) {
    console.log(obj.text);
  }
});

这个方法适合处理数组元素混合了Test1和Test2的场景。

3. 直接类型断言（谨慎使用） #

如果你能100%确定当前test的具体类型（比如业务逻辑已经保证它是Test2[]），可以直接断言成对应数组类型：

// 假设你确定test是Test2[]
(test as Test2[]).map(obj => {
  console.log(obj.number, obj.text);
});

// 或者确定是Test1[]
(test as Test1[]).map(obj => {
  console.log(obj.number);
});

⚠️ 注意：这种方式跳过了TypeScript的类型检查，如果实际类型和断言不符，会导致运行时错误，只适合你对类型有绝对把握的场景。

4. 使用通用回调函数 #

因为Test2继承了Test1，你可以定义一个兼容两种类型的回调函数，参数类型设为Test1（Test2作为子类型会自动兼容）：

test.map((obj: Test1) => {
  console.log(obj.number);
  // 要访问text的话还是需要类型守卫或断言
  if ('text' in obj) {
    console.log((obj as Test2).text);
  }
});

不过这种方式需要手动指定回调参数类型，不如前几种直观。

内容的提问来源于stack exchange，提问作者Murat Karagöz