TypeScript如何在约束对象类型的同时保留完整字面量类型信息

开发中经常遇到这类需求：构造带特定类型约束的对象，同时完整保留全层级字面量类型信息——也就是创建键为字符串类型、值符合指定类型约束的普通对象，目前尝试的几种常规方案都存在明显缺陷。

1. 纯as const字面量方案 #

直接给对象加as const修饰：

const pets = {
  dog: {
    sound: "Bark",
    name: "Canis familiaris"
  },
  cat: {
    sound: "Meow",
    name: "Felis catus"
  }
} as const;

该方案可以完整保留所有字面量信息，能精确推导出键和字段的联合类型：

type PetKey = keyof typeof pets; // 'cat' | 'dog'
type PetSound = typeof pets[PetKey]['sound']; // 'Bark' | 'Meow'

缺陷：对象声明阶段不会执行类型校验，无法强制要求每个值必须包含sound、name字段且类型为字符串。如果额外加pets as Record<string, Pet>做类型断言，首先报错位置会出现在断言行而不是具体写错的属性行，其次编辑pets对象时没有字段自动补全提示。

2. 显式Record类型标注方案 #

预先定义值类型，直接给对象标注Record类型：

type Pet = {
  sound: string,
  name: string
}

const pets: Record<string, Pet> = {
  dog: {
    sound: "Bark",
    name: "Canis familiaris"
  },
  cat: {
    sound: "Meow",
    name: "Felis catus"
  }
}

优势：编写代码时会实时做类型校验，也支持字段自动补全。
缺陷：所有字面量类型都会被拓宽，丢失精确类型信息：

type PetKey = keyof typeof pets; // string
type PetSound = typeof pets[PetKey]['sound']; // string

3. 泛型辅助函数方案 #

通过泛型函数做类型约束，返回原对象：

type Pet = {
  sound: string,
  name: string
}

export const assertPets = <T>(_pets: {
    [K in keyof T]: Pet;
}) => _pets;

const pets = assertPets({
  dog: {
    sound: "Bark",
    name: "Canis familiaris"
  },
  cat: {
    sound: "Meow",
    name: "Felis catus"
  }
});

优势：支持编写时的类型校验和自动补全，能保留键的字面量类型。
缺陷：嵌套属性的字面量类型依然会被拓宽，比如PetSound推导结果还是string；另外会额外增加运行时的函数调用，实现不够简洁。

使用 TypeScript 4.9 及以上版本提供的satisfies运算符，搭配as const即可同时满足所有需求：

type Pet = {
  sound: string,
  name: string
}

const pets = {
  dog: {
    sound: "Bark",
    name: "Canis familiaris"
  },
  cat: {
    sound: "Meow",
    name: "Felis catus"
  }
} as const satisfies Record<string, Pet>;

该实现完全覆盖预期效果：

• 声明对象时实时做类型校验，属性缺失、类型错误会直接在对应代码行报错
• 编辑对象时支持所有字段的自动补全
• 完整保留全层级字面量类型，推导结果完全精确：

type PetKey = keyof typeof pets; // 'dog' | 'cat'
type PetSound = typeof pets[PetKey]['sound']; // 'Bark' | 'Meow'

• 无额外运行时开销，编译后satisfies和as const的类型逻辑会完全擦除，不会生成多余代码。

如果需要允许对象值的部分字段可变，只需要调整as const的作用范围即可，不需要额外封装工具函数或者类型断言。

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