为何解构数组的剩余元素类型继承原数组类型而非实际值类型？

先看这段代码：

let arr = [7, "hello", true];
let [a, ...bc] = arr;

// 实际推断出的类型：typeof bc = (string | number | boolean)[]

用户疑问 #

为何bc的类型为(string | number | boolean)[]？
预期：由于bc = ["hello", true]，所以bc的类型应为(string | boolean)[]。同时想了解：为何解构数组的元素类型从原数组类型推断？

解答 #

TypeScript的类型推断是静态编译时行为，只会基于变量的声明类型做判断，不会去分析运行时实际被解构出的元素内容。

1. 原数组的类型推断逻辑
   当你写let arr = [7, "hello", true];时，TS会自动把它推断为(string | number | boolean)[]——这是因为普通数组在TS中默认被推断为「包含所有元素类型的联合类型数组」，而不是固定长度和元素类型顺序的元组。TS认为普通数组是可变的，后续可能会添加任意类型的元素，所以不会把它限制为仅包含number, string, boolean三个元素的固定结构。

2. 解构剩余参数的类型来源
   使用...bc解构时，TS会直接复用原数组的类型来推断剩余参数的类型。既然原数组是(string | number | boolean)[]，那么剩余的元素自然也被认为是这个联合类型的数组，哪怕你实际只取了后面两个元素，TS在编译阶段不会做这种「精准切片」的类型计算。

3. 如何得到预期的精确类型
   如果想要让bc的类型是(string | boolean)[]，需要把原数组声明为元组类型，明确固定元素的类型和顺序：

// 显式声明元组类型
let arr: [number, string, boolean] = [7, "hello", true];
let [a, ...bc] = arr;
// 此时bc的类型为(string | boolean)[]（或更精确的[string, boolean]）

或者用as const断言让TS推断出只读的精确元组：

let arr = [7, "hello", true] as const;
let [a, ...bc] = arr;
// 此时bc的类型为readonly ["hello", true]

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