解构赋值是TypeScript中高频使用的语法，而当默认值与嵌套数组组合在一起时，类型推断的结果常常让人摸不着头脑。明明只给内层数组一个默认值，编译器给出的类型却变成了元组和联合类型的混合体。这篇文章就来拆解其中的推断规则，用一组对照实验说明每一步类型是如何被推导出来的。
先看一个典型的推断现象
假设我们有一个二维数组，想解构出内层数组并给它一个默认值，代码如下：
const source: number[][] = [[1, 2], [3, 4]]; // 从第一个元素解构，同时提供默认值 const [inner = [0, 0]] = source; // 此时 inner 的类型是什么？ type InnerType = typeof inner; // number[]</code>
在这个例子里，inner被推断为number[]，因为source的元素类型本身就是number[]，默认值[0, 0]也是number[]类型，两者一致，推断结果自然顺畅。但如果我们把解构层次加深一层，情况就完全不同了。
再来看嵌套解构的例子：
const source2: number[][] = [[1, 2], [3, 4]]; // 嵌套解构：解构出内层数组的第一个元素 const [[first = 0] = [0, 0]] = source2; // first 的类型是 number // 但注意整个解构模式的推断细节
这里first的类型是number，看起来没问题。真正的陷阱出现在数组元素类型是可选的、或者解构目标本身可能为undefined的场景，此时默认值会让TypeScript对类型做一次重新计算，产生你意料之外的联合类型。
默认值如何参与类型推断
理解这个问题的关键在于TypeScript处理解构默认值的规则。当一个解构模式带有默认值时，编译器会先确定被解构位置的类型，然后与默认值的类型做合并处理。具体规则是：解构变量的类型等于被解构位置的元素类型去掉undefined（因为默认值保证了不会是undefined），但如果默认值本身无法匹配原始类型，编译器会报错或推断出更宽的类型。
看下面这个对比实验：
// 情况一：没有默认值 const data1: (number[] | undefined)[] = [[1, 2], undefined]; const [a] = data1; // a 的类型是 number[] | undefined // 情况二：有默认值 const [b = [9, 9]] = data1; // b 的类型是 number[]，undefined 被默认值消除了 // 情况三：默认值类型与元素类型不同 const [c = [1, 2, 3] as const] = data1; // c 的类型是 number[] | readonly [1, 2, 3]
情况二体现了默认值的核心作用：它会从推断类型中剔除undefined。情况三则展示了当默认值的类型与元素类型不完全一致时，TypeScript不会直接采用默认值的类型，而是计算两者的联合类型，这往往就是类型变得混乱的起点。
还有一个容易被忽略的细节：当默认值是一个数组字面量时，它会被推断为number[]这种普通数组类型，而不是元组。如果你期望得到固定长度的元组类型，需要显式使用as const断言，但这又会引入readonly属性的传播问题，需要权衡使用。
嵌套数组解构中元组类型的意外出现
嵌套解构时有一个更隐蔽的现象：如果外层数组的类型声明为一个固定长度的元组数组，解构模式会继承元组的结构信息。例如：
// 声明为元组数组 const matrix: [number, number][] = [[1, 2], [3, 4]]; // 解构第一个元素并进一步解构 const [[x, y] = [0, 0]] = matrix; // x 和 y 都被推断为 number // 对比：普通二维数组的深层解构 const plain: number[][] = [[1, 2], [3, 4]]; const [[m, n]] = plain; // m 和 n 也是 number，但如果 plain 为空呢？
这里的关键差异在于：对元组类型做解构时，TypeScript知道每个位置的精确类型，解构结果严格对应元组的每个元素。而对普通数组number[][]做深层解构时，如果运行时外层数组为空，内层解构会抛出错误。默认值正是为了解决这个运行时风险而存在的，但很多人只在内层设置默认值，忘了外层也需要。
正确的多层防御写法应该是：
const plain2: number[][] = []; // 内层和外层都提供默认值 const [[p = 1, q = 2] = [10, 20]] = plain2; // p 为 10，q 为 20，运行时安全 // 只在内层提供默认值是危险的 // const [[r = 1]] = plain2; // 运行时报错：Cannot destructure of undefined
这个例子说明，默认值的作用范围只覆盖它所在的解构层级。TypeScript在类型检查阶段不会对运行时空数组的情况报错，因为number[][]允许空数组存在，解构空数组得到undefined，只有提供了默认值才会被兜底。理解这一点，才能写出既类型正确又运行时安全的代码。
常见报错场景与类型收紧技巧
实践中最常见的报错是默认值与元素类型不兼容。例如：
const items: string[][] = [["a"]]; // 错误：默认值类型不匹配 // const [wrong = [1, 2]] = items; // Type 'number[]' is not assignable to type 'string[]' // 正确做法 const [ok = ["default"]] = items;
另一个高频问题是深层嵌套时类型推断过于宽松。如果希望解构结果保持精确的类型结构，推荐显式标注解构变量的类型，而不是依赖推断：
interface Point { x: number; y: number }
const points: Point[] = [];
// 显式标注，类型意图一目了然
const [origin: Point = { x: 0, y: 0 }] = points;
// 或者使用 satisfies 检查默认值的同时保留推断
const fallback = { x: 0, y: 0 } satisfies Point;
const [first2 = fallback] = points;最后总结几条实用建议：第一，在可能为空的数组上做解构时，每一层都评估是否需要默认值；第二，默认值尽量与元素类型保持一致，避免触发联合类型的合并计算；第三，需要精确元组类型时显式声明，不要依赖数组字面量的推断；第四，利用noUncheckedIndexedAccess编译选项可以让编译器更严格地提示数组访问可能为undefined的情况，配合默认值使用能大幅提升代码的健壮性。把这些规则吃透之后，再复杂的解构场景也能准确预判最终的类型结果。
TypeScript类型推断解构赋值修改时间：2026-09-13 12:42:37