为何TypeScript类型系统不会自动缩小数组元素的类型？

核心原因：数组与元组的类型推断逻辑差异 #

当你写下const arr = [1, "string"]时，TypeScript不会默认将其推断为固定位置类型的元组，而是推断为(number | string)[]——即一个元素可在number或string之间变化的可变数组。

数组的本质是**长度可变、元素类型统一（这里是联合类型）**的结构，TypeScript会假设数组的任意位置都可能被重新赋值为联合类型中的任意一种。哪怕初始化时给arr[1]放了字符串，后续也完全可以执行arr[1] = 2将其改为数字，因此TS不会把arr[1]的类型固定为string。

为什么arr[2]可以访问length？ #

你给arr[2]直接赋值了"second string"，这属于即时赋值后的临时类型窄化——在赋值语句的下一行，TypeScript能确定该位置刚被赋予string类型，且暂未被修改，因此允许访问length属性。但这种窄化是临时的，若后续有代码修改arr[2]，类型会回到联合类型。

解决方法：显式声明为元组 #

如果需要让数组的每个位置类型固定，要明确声明为元组：

// 固定长度元组：arr[0]为number，arr[1]为string
const arr: [number, string] = [1, "string"];
// 此时访问arr[1].length完全正常
console.log(arr[1].length);

// 若需后续添加更多string元素，可使用剩余元素语法
const arrWithMore: [number, string, ...string[]] = [1, "string"];
arrWithMore[2] = "second string";
console.log(arrWithMore[2].length); // 正常
console.log(arrWithMore[1].length); // 正常

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