无需使用as const，如何将泛型数组参数推断为常量数组？

核心思路是利用泛型自动推断字面量类型，无需使用者手动添加as const，就能让TypeScript自动锁定数组的元素类型，从而约束关联属性必须是数组中的一员。

问题根源 #

TypeScript默认会把普通字符串数组（比如['Alice', 'Bob']）推断为string[]，而非具体的字面量联合类型('Alice' | 'Bob')[]。这会导致关联属性只要是string类型就能通过检查，完全失去约束效果。readonly修饰符仅控制数组的可变性，不改变类型推断逻辑，因此无法解决问题。

解决方案：泛型约束实现自动推断 #

定义泛型函数或类型，让数组的元素类型作为泛型参数被自动推断，同时强制关联属性必须属于该类型。

代码实现 #

// 泛型类型：T会自动推断为数组元素的字面量联合类型
type EmployeeConfig<T extends string> = {
  employees: T[];
  topEmployee: T;
};

// API函数，用泛型约束参数类型
function processEmployees<T extends string>(config: EmployeeConfig<T>) {
  console.log(`Top employee: ${config.topEmployee}`);
}

测试效果 #

1. 直接传入数组字面量（无需as const）：

   // 正常通过：topEmployee是数组内的元素
   processEmployees({
     employees: ['Alice', 'Bob', 'Charlie'],
     topEmployee: 'Alice'
   });
   
   // 类型报错："Dave"不在数组元素的联合类型中
   processEmployees({
     employees: ['Alice', 'Bob', 'Charlie'],
     topEmployee: 'Dave'
   });
   

   此时TypeScript会自动把T推断为'Alice' | 'Bob' | 'Charlie'，topEmployee必须是这三个值之一，约束生效。

2. 传入变量的情况：
   如果使用者把数组存在变量里，需要用const声明才能让TypeScript推断字面量类型：

   // const声明的数组，类型被推断为('Alice' | 'Bob')[]
   const team = ['Alice', 'Bob'];
   processEmployees({
     employees: team,
     topEmployee: 'Alice' // 正常通过
   });
   
   // let声明的数组，类型为string[]，约束失效
   let mutableTeam = ['Alice', 'Bob'];
   processEmployees({
     employees: mutableTeam,
     topEmployee: 'Dave' // 不会报错，因为T被推断为string
   });
   

   这是因为let声明的数组允许后续修改元素，TypeScript无法确定其固定元素类型，只能推断为string[]，这种场景下约束失效是合理的——可变数组本身无法保证元素固定。

关键原理 #

泛型T extends string会让TypeScript在处理传入的employees数组时，自动提取其元素的字面量联合类型（只要数组是字面量或const声明的不可变数组），从而将topEmployee的类型锁定为该联合类型，实现强约束。

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