TypeScript 中为何需要添加{0:T}属性才能实现泛型数组长度约束？

原始失效实现 #

最初尝试实现带长度约束的泛型数组时，使用了如下交叉类型定义：

type MyArray<T, Length extends number> = Array<T> & { length: Length }

该实现无法达到预期效果：尝试给MyArray<string, 3>类型的变量赋值普通字符串数组时，会抛出类型不兼容报错。
报错的核心原因在于：原生Array<T>的length属性被定义为宽泛的number类型，而交叉类型要求length必须匹配指定的字面量类型（例如3）；宽泛的number类型无法满足具体字面量类型的赋值要求，二者天然不兼容。

可运行的修复方案 #

社区开发者提出的可通过类型校验的实现如下：

type MyArray<T extends any, L extends number> = Array<T> & {
    0: T;
    length: L;
}
const foo1: MyArray<number, 5> = [1, 2, 3, 4, 5];

经TypeScript Playground验证，该方案可以正常完成类型校验，实现数组长度的强约束效果。

核心差异原理 #

补充的0: T属性并没有直接修改类型本身的兼容规则，而是触发了TypeScript的数组类型推断逻辑切换，本质差异体现在两点：

• 无0: T属性的版本，TS会将交叉类型判定为普通数组的扩展结构。此时它会严格遵循交叉类型的校验规则：传入的变量必须同时满足原生Array<T>的所有属性要求、以及交叉声明的{length: L}属性要求。但普通数组的length是通用number类型，根本不满足length为特定字面量L的要求，因此直接抛出兼容错误。
• 加入0: T这类显式数字索引属性后，TS会触发数组字面量的元组推断机制。当类型结构中存在明确的数字键属性时，TS不会再把传入的值当成普通数组做兼容校验，而是会自动将传入的数组字面量推导为元组类型——而元组的length天生就是固定的字面量类型（例如长度为5的元组，其length的类型就是字面量5），自然就能和交叉类型中声明的length: L实现匹配校验。

补充说明：该方案本质是依托TS的元组推断能力实现约束，并非通过交叉类型硬卡长度规则。如果给该类型赋值一个提前定义为number[]类型的变量（而非直接传入数组字面量），依然会触发类型不兼容报错，因为这种场景下不会触发数组字面量的元组推断逻辑。

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