TypeScript嵌套数组类型推断疑问：为何推断为(string | number)[][]而非[string, number][]

根本原因：默认推断逻辑的差异 #

TypeScript对数组的默认推断是松散的联合类型数组（(string | number)[][]），而非严格的元组数组（[string, number][]），核心原因是：

• 普通数组被设计为“可动态修改的元素集合”，TypeScript默认允许你后续添加任意符合联合类型的元素（比如给数组push[3, 'foo']）。
• 元组[string, number]是固定长度、固定位置类型的约束，属于更严格的类型，TypeScript不会自动假设你需要这种约束——毕竟大部分场景下数组都是可修改的。

示例场景 #

比如你写：

const test = [['a', 1], ['b', 2]];

TypeScript会推断成(string | number)[][]，因为它无法确定你是否会后续修改数组结构。如果强制推断为元组数组，那之后的test.push([3, 'bar'])就会报错，但TypeScript默认不认为这是错误操作。

替代手动覆盖的优雅方案 #

你不想手动硬写类型是对的，这会丢失自动推断的优势。可以用两种方式让TypeScript自动推断出元组数组：

• as const断言：标记数组为只读，强制TypeScript保留元素的精确类型和位置

  const test = [['a', 1], ['b', 2]] as const;
  

  此时推断结果是readonly [readonly [string, number], readonly [string, number]]，如果需要适配组件的[string, number][]，可以用test as [string, number][]转换，比硬写类型更安全。
• 辅助函数约束：用泛型函数强制推断元组类型

  function makeLegendData<T extends [string, number][]>(data: T) {
    return data;
  }
  const test = makeLegendData([['a', 1], ['b', 2]]);
  

  这样test会被自动推断为[string, number][]，同时传入不符合结构的数据时会直接报错。

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