TypeScript 中如何精确推导对象键名类型并约束值类型

使用 TypeScript 的 satisfies 操作符，可在不丢失键名字面量类型、不重复定义键名、不引入循环依赖的前提下，同时约束对象所有值为指定模板字符串类型（如 rgb(255,0,0)），并精准推导出 keyof typeof obj 为联合字面量类型。

使用 typescript 的 `satisfies` 操作符，可在不丢失键名字面量类型、不重复定义键名、不引入循环依赖的前提下，同时约束对象所有值为指定模板字符串类型（如 `rgb(255,0,0)`），并精准推导出 `keyof typeof obj` 为联合字面量类型。

在 TypeScript 类型系统中，既要确保对象值符合严格格式（如 RGB 模板字符串），又要让键名类型自动收敛为实际存在的字面量联合类型（如 "red" | "green" | "blue" | "yellow"），传统方式常陷入两难：显式标注类型（如 ColorNamesToRgb）会擦除键的字面量信息，导致 keyof typeof colorNamesToRgb 变成 string；而完全不标注又无法校验值是否满足 Rgb 格式。

satisfies 操作符（自 TypeScript 4.9 起支持）正是为此场景设计的——它仅做类型检查，不改变推导出的原始类型。这意味着对象仍保留完整的字面量键名信息，同时编译器会验证每个值是否符合 Rgb 模板字符串约束：

type Rgb = `rgb(${number},${number},${number})`;const colorNamesToRgb = {  red: 'rgb(255, 0, 0)',  green: 'rgb(0, 255, 0)',  blue: 'rgb(0, 0, 255)',  yellow: 'rgb(255, 255, 0)',} satisfies Record<string, Rgb>; // ✅ 类型校验通过，且不改变 colorNamesToRgb 的原始类型// 自动推导为 "red" | "green" | "blue" | "yellow"type ColorName = keyof typeof colorNamesToRgb;const getRgbByName = (colorName: ColorName) => colorNamesToRgb[colorName];// 使用时获得完整 IDE 补全与类型安全：getRgbByName("red");    // ✅ 返回 "rgb(255, 0, 0)"getRgbByName("purple"); // ❌ 编译错误：Argument of type '"purple"' is not assignable to parameter...

注意事项：

1. satisfies 不是类型断言，不可用于绕过类型检查（如写 satisfies Record<string, string> 将因值不匹配 Rgb 而报错）；
2. 若后续向对象添加非法值（如 'rgba(0,0,0,1)'），TS 会立即提示错误，保障类型一致性；
3. 此方案完全避免了手动维护 ColorName 联合类型或重复书写键名，真正实现“定义即约束、一处变更全局生效”。

总结：satisfies 是类型安全与开发体验的优雅平衡点——它让 TypeScript 在保持对象字面量丰富类型信息的同时，施加精确的值类型契约，是构建可维护配置对象、主题系统、国际化映射等场景的推荐实践。