TypeScript 从常量映射数组提取value字面量联合类型的实现方案

之前的类型推导失败，本质是TypeScript对普通常量的默认推断规则导致的：
默认状态下，TS会把对象、数组中声明的字符串值推断为宽泛的string类型，不会主动保留你书写的'Cat'、'Dog'这类原始字面量值。因此哪怕你用正确的lookup type语法取值，最终拿到的也只会是通用的string，而非收窄后的字面量联合类型。
你之前接触的lookup types本身完全适配这个场景，缺失的只是一步对常量值的类型收窄操作。

完全可以实现需求，不需要手动重复定义枚举值，核心技巧是使用TypeScript的as const深度只读断言，全程符合DRY原则。

1. 给你的映射常量加上as const标记，锁死所有字段的字面量类型：

const mapping = [
  { key: 1, value: 'Cat' }, 
  { key: 2, value: 'Dog' }, 
  { key: 3, value: 'Cow' }
] as const;

2. 保持你原本编写的lookup类型推导逻辑不变，即可得到符合预期的类型定义：

type AllowedAnimals = typeof mapping[number]['value'];
// 最终推导结果：'Cat' | 'Dog' | 'Cow'

• as const在这个场景的作用：把原本可变的动态数组转换为TS可精确识别的深度只读元组，保留每一项的固定结构；对数组项里的字符串、数字值直接保留原始字面量类型，不会自动拓宽为string、number这类宽泛的基础类型
• 这个方案没有运行时副作用：as const是纯编译期的类型标记，不会改变实际运行的代码逻辑，完全适配你维护只读常量的使用场景
• 后续你在mapping中新增映射项时，AllowedAnimals类型会自动同步更新可选值，不需要额外手动维护类型定义

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