如何在TypeScript中基于对象数组的值限制类型及函数参数？

当然可以实现！而且完全不用手动创建枚举——TypeScript的类型推断和as const断言就能完美解决这个问题，既保证类型安全，又让代码保持简洁可维护，不用在数组和类型之间重复写值。

具体实现步骤 #

1. 给数组添加as const断言
   首先，我们需要让TypeScript把数组里的每个值都当成字面量类型，而不是宽泛的string。给数组加上as const断言就能做到这一点，它会告诉TypeScript：这个数组的内容是只读的、固定的，不要把里面的字符串拓宽成通用的string类型。

   const fonts = [
     { value: 'Font Name 1', label: 'Font Label 1' },
     { value: 'Font Name 2', label: 'Font Label 2' },
   ] as const; // 关键：保留字面量类型的核心断言
   

2. 提取需要的字段值类型
   接下来，我们可以通过typeof操作符和TypeScript的索引访问类型，从数组里提取出value和label字段的所有可能值类型：

   // 获取数组中单个元素的类型（两个对象的联合类型）
   type FontItem = typeof fonts[number];
   
   // 提取所有value字段的值类型（'Font Name 1' | 'Font Name 2'）
   type FontValue = FontItem['value'];
   
   // 提取所有label字段的值类型（'Font Label 1' | 'Font Label 2'）
   type FontLabel = FontItem['label'];
   

3. 给函数参数指定类型
   最后，把函数的参数类型设置为我们刚才提取出的类型即可：

   function doSomething(value: FontValue) {
     // Do something with font value
   }
   
   function doSomethingElse(label: FontLabel) {
     // Do something with font label
   }
   

效果验证 #

现在TypeScript会自动帮你做类型检查：

doSomething('Font Name 1'); // ✅ 合法
doSomething('Font Name 2'); // ✅ 合法
doSomething('Font Name 3'); // ❌ 错误：类型不匹配
doSomething('Font Label 1'); // ❌ 错误：label不属于FontValue类型

doSomethingElse('Font Label 1'); // ✅ 合法
doSomethingElse('Font Label 2'); // ✅ 合法
doSomethingElse('Font Label 3'); // ❌ 错误：类型不匹配

（注：你示例里的doSomething('Font Label 1')标注为"good"是个小疏漏哦，按需求它应该是不合法的——上面的类型定义会自动拦截这种错误，保证参数只能是对应字段的值）

额外拓展：如果需要同时接受value或label #

如果你有一个函数需要同时接受value或label的值，可以创建一个联合类型：

type FontValueOrLabel = FontValue | FontLabel;

function doAnything(identifier: FontValueOrLabel) {
  // Do something with either value or label
}

这种方式的最大好处是：当你修改fonts数组里的内容时，对应的类型会自动更新，完全不用手动维护枚举或类型列表，大大提升了代码的可维护性。

内容的提问来源于stack exchange，提问作者Clint Andrew Hall