TypeScript中：空数组与数据数组联合类型访问元素为何无undefined选项

为什么当类型是[]（空数组）和数据数组的联合类型时，访问数组元素的类型里没有undefined选项？

type emptyArray = []
type accessEmptyArray = emptyArray[0] // 返回undefined

type validData = {id:number, name:string}
type someData = validData[] | []

type test = someData[0] // 返回validData类型，但实际也可能是undefined

我本以为可以用类型断言解决，但这会让代码变得十分冗长。这个问题让我意外，因为它看起来是TypeScript本该解决的容易被忽略的问题，但或许我没考虑到按预期实现的弊端。

核心原因：联合类型的子类型简化与数组索引的默认行为 #

你遇到的问题根源在于两个TypeScript的设计细节：

1. 空元组[]是任意数组类型的子类型：TypeScript允许将空元组赋值给任何数组类型（比如validData[]），所以联合类型validData[] | []会被自动简化为validData[]——因为[]已经是validData[]的子类型，联合后不会保留单独的分支。
2. 数组类型的索引访问默认不包含undefined：默认编译选项下，TypeScript假设你访问的数组元素是存在的，所以validData[]的[0]索引结果是validData，而非validData | undefined。

这两点叠加，就导致someData[0]的类型被简化成了validData，而非你预期的validData | undefined。

解决方法 #

不用依赖冗长的类型断言，有几种更优雅的方案：

• 启用noUncheckedIndexedAccess编译选项：这是最彻底的解决方式。开启后，所有数组的索引访问都会自动带上undefined（因为数组可能为空），此时validData[]的[0]会变成validData | undefined，联合[]的[0]（undefined）后，最终类型完全符合运行时的实际情况。
• 用精确元组类型替代空数组：如果不想全局修改编译选项，可以把联合类型改成[validData, ...validData[]] | []——前者表示非空的validData数组，后者表示空数组。此时访问[0]的类型会是validData | undefined，完全符合预期。
• 用{ length: 0 }标识空数组：将someData定义为validData[] | { length: 0 }，这样TypeScript无法将其简化为单一数组类型，索引访问[0]会得到validData | undefined。

补充说明 #

单独的空元组[]的[0]返回undefined，是因为元组是严格的固定长度类型——它明确表示数组没有任何元素，访问索引0必然不存在，所以类型为undefined。但一旦和普通数组类型联合，由于子类型关系，空元组的分支会被合并，导致索引访问结果不符合预期。

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