类型推断：如何在 TypeScript 中保留数组索引信息？

在 TypeScript 的实际开发中，我们经常会处理元组或固定结构的数组。当使用类型推断从数组中提取信息时，默认的推导机制往往只关心元素本身的类型，而忽略了元素所在的位置索引。这就导致我们在做后续映射或函数重载时，无法在类型层面把某个值和它在数组中的第几个位置绑定起来。

为什么默认推断会丢失索引信息

TypeScript 对普通数组字面量推断为 string[] 这类结构时，会把所有元素统一成同一种类型，索引只是运行时的数字，类型上并不保留位置差异。例如：

const list = ['a', 'b', 'c'];
type T = typeof list; // 推断为 string[]

上面的 T 完全丢失了第 0 位是特定字面量这种信息。即便用函数泛型接收数组参数，若不加约束，返回的也常是摊平后的元素类型。

使用 as const 保留字面量与位置

最简单的方式是在数组后加 as const，让它变成只读元组，从而把每个索引对应的字面量锁住：

const tuple = ['name', 'age', 'id'] as const;
type Keys = typeof tuple; // readonly ["name", "age", "id"]
type First = Keys[0]; // "name"

这样 Keys[0] 在类型里明确是第 0 个位置的值，索引信息被完整保留。

通过映射类型关联索引

如果要把数组每一项按索引映射成对象属性，可以用映射类型配合泛型推断：

type IndexMap<T extends readonly any[]> = {
  [K in keyof T]: { index: K; value: T[K] };
};

const arr = [10, 20, 30] as const;
type M = IndexMap<typeof arr>;
// M[0] 为 { index: 0; value: 10 }

这里 keyof T 拿到了元组的数字索引，每个位置都携带了原数组的索引与值类型。

在函数参数中约束推断

写工具函数时，用 extends readonly unknown[] 约束入参，就能让返回值保留调用方的索引结构：

function keepIndex<T extends readonly unknown[]>(arr: T): T {
  return arr;
}

const res = keepIndex(['x', 'y'] as const);
type R0 = typeof res[0]; // "x"

以上方式组合使用，便能在 TypeScript 的类型推断中稳定保留数组索引信息，让类型系统更精准地描述数据结构。

TypeScript类型推断数组索引修改时间：2026-07-28 10:36:18