如何让TypeScript函数自动将字符串数组收窄为具体字面量数组类型？

问题的核心是TypeScript默认会将数组字面量推断为string[]类型，而非包含具体值的字面量元组，导致返回对象的键类型被宽泛化为string，无法触发IDE的精准提示。以下是几种可行的解决方式：

方案1：使用TypeScript 5.0+的const泛型参数 #

这是最便捷的实现方式，无需手动添加断言，只需在泛型参数前加上const关键字，强制TypeScript将传入的数组字面量推断为只读字面量元组：

export function myFunction<const T extends string[]>(
  required: T
): Record<T[number], any> {}

// 调用示例
const result = myFunction(['a', 'b', 'c']);
// result的类型自动推导为Record<'a'|'b'|'c', any>，IDE会准确提示a、b、c三个键

方案2：改为接收可变参数 #

如果可以调整调用方式，将数组拆分为分散的字符串参数传入，TypeScript会自动推断出字面量联合类型，同样能实现精准的键提示：

export function myFunction<T extends string>(
  ...required: T[]
): Record<T, any> {}

// 调用示例
const result = myFunction('a', 'b', 'c');
// result的类型为Record<'a'|'b'|'c', any>

方案3：兼容旧版TypeScript的readonly元组+const断言 #

若使用TypeScript 5.0以下版本，可通过readonly泛型约束，配合调用时的as const断言实现需求（仅需在数组后添加断言，无需手动指定整个元组类型）：

export function myFunction<T extends readonly string[]>(
  required: T
): Record<T[number], any> {}

// 调用示例
const result = myFunction(['a', 'b', 'c'] as const);
// result的类型为Record<'a'|'b'|'c', any>

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