TypeScript报错：存在签名但彼此不兼容，寻求解决指导

报错原因 #

你遇到的has signatures, but none of those signatures are compatible with each other错误，核心原因是TypeScript无法正确缩小联合类型范围，导致方法调用时签名冲突：

• 你的Data类型是string[] | {a: boolean}[]，两者本身都是数组，所以Array.isArray(data)这个判断完全无效——TypeScript早就知道它是数组，没法通过这个条件把类型从联合类型里筛选出string[]。
• 调用data.every时，TypeScript需要同时适配两种数组的every签名：string[]的every接受(value: string, ...) => boolean，而{a: boolean}[]的every接受(value: {a: boolean}, ...) => boolean，这两个回调参数类型完全不兼容，因此触发报错。
• 另外代码里还有个明显错误：console.log(x)里的x是every回调的局部变量，外部根本访问不到，这也会触发语法错误。

解决办法 #

1. 用正确的类型守卫缩小类型范围 #

要区分string[]和{a: boolean}[]，需要检查数组元素的类型，以下是两种可行方案：

方案一：自定义类型守卫函数

type Data = Array<string> | Array<{ a: boolean }>

// 自定义类型守卫，判断是否为字符串数组
const isStringArray = (arr: unknown): arr is string[] => {
  return Array.isArray(arr) && arr.every(item => typeof item === 'string')
}

const fn = (data: Data) => {
  if (isStringArray(data)) {
    // 此时data已被缩小为string[]类型
    const allTruthy = data.every(x => x)
    console.log(allTruthy)
  } else {
    // 此时data是{a: boolean}[]类型
    const allHasTrueA = data.every(x => x.a)
    console.log(allHasTrueA)
  }
}

方案二：直接判断数组元素类型（适用于非空数组）

如果你的数组不会是空数组，可以直接检查第一个元素的类型来缩小范围：

type Data = Array<string> | Array<{ a: boolean }>

const fn = (data: Data) => {
  if (data.length > 0 && typeof data[0] === 'string') {
    const allTruthy = data.every(x => x)
    console.log(allTruthy)
  } else {
    const allHasTrueA = data.every(x => x.a)
    console.log(allHasTrueA)
  }
}

2. 修复变量访问错误 #

如果需要打印数组的每个元素，应该用forEach遍历，而不是直接访问回调里的x：

if (isStringArray(data)) {
  data.forEach(x => console.log(x)) // 正确访问每个元素x
}

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