为何TypeScript不接受16作为number类型？FixedSizeArray适配疑问

这不是 TypeScript 的 Bug，是类型推断机制的限制导致的用法问题。

问题根源 #

你定义的 FixedSizeArray<N extends number, T> 强制要求数组的 length 是精确的数字字面量类型 N，但 Array.from({ length: 16 }).map(() => '') 的返回类型被 TypeScript 推断为 string[]——这个类型的 length 是通用 number 类型，并非字面量 16，因此无法满足 FixedSizeArray<16, string> 的类型约束，触发类型不兼容错误。

而手动写16个 '' 能通过类型检查，是因为 TypeScript 会将这种字面量数组推断为固定长度的元组类型，元组的 length 属性就是精确的字面量值，完全匹配 FixedSizeArray 的要求。

更优解决方案 #

无需手动写重复字面量或频繁使用类型断言，可封装一个类型安全的工具函数，仅在函数内部做一次断言，外部调用保持类型严格：

type FixedSizeArray<N extends number, T> = {
  length: N
} & ReadonlyArray<T>;

function createFixedSizeArray<N extends number, T>(length: N, valueFactory: () => T): FixedSizeArray<N, T> {
  return Array.from({ length }, valueFactory) as FixedSizeArray<N, T>;
}

// 使用示例
const someProp: FixedSizeArray<16, string> = createFixedSizeArray(16, () => '');

该函数通过泛型约束确保传入的 length 为数字字面量，返回值直接绑定到 FixedSizeArray 类型，兼顾了类型安全和代码简洁性。

额外说明 #

TypeScript 对普通数组的类型推断默认是可变长度的，只有元组类型会跟踪精确的元素数量。FixedSizeArray 本质是模拟元组的固定长度特性，但 Array.from 这类数组构造方法无法让 TypeScript 静态推断出返回数组的精确长度，因此需要通过工具函数或类型断言来填补这个类型系统的缺口。

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