TypeScript联合类型变量调用Array.every()报错如何解决？

data为string[] | string[][]联合类型，你写的data.length && data[0] instanceof Array判断逻辑仅能说明数组第一个元素是数组，TypeScript 的控制流分析无法据此将整个data的类型收窄为string[][]。而every方法的类型签名和数组元素类型强绑定，联合类型中两种数组的every方法参数类型不兼容，TS 无法匹配到对应的签名所以抛出报错。
你看到的some调用无报错属于偶发的类型兼容情况，本质上也存在类型收窄不完全的问题。

方案1：自定义类型守卫（最推荐，无类型风险） #

通过类型谓词明确告知TS类型校验规则，调用后会自动完成类型收窄：

// 自定义二维字符串数组类型守卫
function is2DStringArray(arr: string[] | string[][]): arr is string[][] {
    return arr.length > 0 && Array.isArray(arr[0])
}
// 自定义一维字符串数组类型守卫
function is1DStringArray(arr: string[] | string[][]): arr is string[] {
    return arr.length > 0 && typeof arr[0] === 'string'
}

// 业务逻辑调用
let isChecked = false;
if (is2DStringArray(data)) {
    // 此处TS自动识别data为string[][]类型，调用every无报错
    isChecked = data.every(item => /* 你的校验逻辑 */)
}
if (is1DStringArray(data)) {
    isChecked = data.some(item => /* 你的校验逻辑 */)
}

注：相比instanceof Array，更推荐使用Array.isArray判断数组类型，可规避跨上下文（如iframe）场景下的判断失效问题。

方案2：手动类型断言（适合临时快速修复） #

如果你能100%确认当前判断逻辑下的data类型，可直接用as做类型断言：

if (data.length && Array.isArray(data[0])) {
    isChecked = (data as string[][]).every(/* 你的校验逻辑 */)
}

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