如何在类型层面处理const数组的单个元素，并实现函数参数的精确类型约束

这问题我之前写业务代码时也踩过坑，TypeScript默认会把字面量数组宽泛地推断成string[]，导致我们没法精确约束后续函数的参数。要实现你要的效果，核心是用泛型+元组类型捕获来保留数组里的具体字面量信息，下面一步步来：

1. 泛型捕获元组的具体类型 #

先修改你的test函数定义，用泛型T来捕获传入数组的精确元组类型，然后通过T[number]提取出所有元素的联合类型：

function test<T extends readonly string[]>(
  arr: T,
  callback: (get: (key: T[number]) => string) => Promise<void>
) {}

这里的关键是：

• T会自动推断为传入数组的具体元组（比如你传['a','b','c']，T就是['a','b','c']）
• T[number]是TypeScript的索引访问类型，能把元组的所有元素提取成联合类型'a' | 'b' | 'c'，这样get函数的参数就被死死限制在这几个值里了

2. 调用时保留字面量类型 #

为了让TypeScript别把你的数组“降级”成string[]，调用时需要用as const断言，告诉编译器这是一个只读的字面量元组，不能修改也不能模糊类型：

test(['a', 'b', 'c'] as const, async (get) => {
  get('a'); // 完全正常，符合类型约束
  get('d'); // 编译器直接报错！完美实现你要的检查效果
});

3. 进阶：不用手动加as const（TypeScript 5.0+） #

如果你用的是TypeScript 5.0及以上版本，可以用const泛型参数，让编译器自动帮你捕获字面量元组类型，不用每次调用都写断言：

// 只需要在泛型T前面加个const
function test<const T extends readonly string[]>(
  arr: T,
  callback: (get: (key: T[number]) => string) => Promise<void>
) {}

// 现在直接调用就行，类型推断完全正常
test(['a', 'b', 'c'], async (get) => {
  get('a');
  get('d'); // 依然会报错，约束生效
});

为什么原来的写法不行？ #

你原来的arr: string[]会让TypeScript把数组推断成宽泛的string[]，而不是具体的['a','b','c']元组，所以get函数的参数就变成了任意string，自然没法限制get('d')这种非法调用。我们要做的就是把数组的具体类型“锁”住，不让编译器模糊它。

内容来源于stack exchange