为递归数组扁平化函数添加TypeScript类型时遇报错求解决

这个问题我之前写递归扁平化函数时也踩过坑，本质是你给data定义的联合类型Array<Array<T>> | Array<T>让TypeScript没法正确匹配reduce的调用签名。下面一步步拆解原因和解决方案：

为什么会报错？ #

你定义的参数类型意味着data要么是全由数组组成的数组（Array<Array<T>>），要么是全由基础类型组成的数组（Array<T>），但你的函数逻辑实际是要处理「混合了基础类型和任意嵌套数组」的输入。这种不匹配的类型定义，会让TypeScript对reduce方法的重载产生歧义——两种数组类型的reduce回调参数类型不兼容，所以它找不到合适的调用签名，就抛出了那个错误。

解决方案 #

我们需要调整参数类型，让它能准确描述「包含基础类型或任意嵌套数组的数组」，同时给reduce的初始值明确类型，帮助TypeScript正确推断。

方案1：支持任意深度嵌套的递归类型 #

先定义一个递归类型来描述可嵌套的数组，再用它约束函数参数：

// 定义递归类型：表示T或T的嵌套数组
type NestedArray<T> = T | NestedArray<T>[];

private flatArray<T>(data: NestedArray<T>[]): T[] {
  return data.reduce((accu, val) => {
    // 判断当前元素是否是数组，递归处理
    return Array.isArray(val) ? accu.concat(this.flatArray(val)) : accu.concat(val);
  }, [] as T[]); // 给初始值明确类型为T[]，避免推断为never[]
}

方案2：简化类型（适用于已知最多嵌套一层的场景） #

如果你的数组最多只嵌套一层，也可以直接用更简单的联合元素类型：

private flatArray<T>(data: (T | T[])[]): T[] {
  return data.reduce((accu, val) => {
    return Array.isArray(val) ? accu.concat(val) : accu.concat(val);
  }, [] as T[]);
}

（注：如果是多层嵌套，还是用方案1的递归类型更稳妥）

验证效果 #

调用这个函数时，TypeScript能正确推断返回值类型：

const result = this.flatArray([1, [2, [3, 4]], 5]);
// result的类型会被推断为number[]，完全符合预期

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