如何在TypeScript中创建无需显式定义键的类型化Record

这个问题其实很常见——既要让对象的每个值严格符合指定接口，又要让TypeScript自动推断出具体的键名（而不是宽泛的string类型），同时避免手动维护键的联合类型。最简洁优雅的解决方式是用泛型辅助函数来封装逻辑，一步到位满足所有需求：

核心解法：泛型辅助函数 #

我们可以创建一个泛型函数，它接收一个对象并约束每个值的类型为目标接口，同时返回时保留键的字面量类型。这样TypeScript会自动推断出具体的键，同时实时校验每个值是否符合接口要求：

interface Person { firstName: string }

// 泛型辅助函数：约束值类型为Person，同时保留键的字面量类型
const createPersonRecord = <T extends string>(obj: Record<T, Person>) => obj;

// 使用函数创建对象，TS自动推断键为'Jason' | 'Tim'，且每个值必须符合Person
const peopleObj = createPersonRecord({
  Jason: { firstName: "Jason" },
  Tim: { firstName: "Tim" },
  // 下面的代码会直接报错，因为不符合Person接口
  // Bob: {} // ❌ 类型“{}”缺少类型“Person”中的属性“firstName”
});

// 现在peopleObj的类型是 Record<'Jason' | 'Tim', Person>
console.log(peopleObj.Jason.firstName); // ✅ TS能识别Jason这个具体键

为什么这个方案更优？ #

• 无需繁琐的类型断言：不用像你之前那样写as const再重新赋值，一步完成定义和类型约束
• 实时类型校验：编写对象时如果不符合Person接口，TypeScript会立即报错，提前发现问题
• 自动推断键类型：TS会自动把键推导为'Jason' | 'Tim'这种字面量联合类型，而不是宽泛的string
• 复用性强：如果需要创建其他类似的Record对象，只需要修改函数的泛型参数或接口即可

替代方案：使用satisfies语法（TS 4.9+） #

如果你使用的是TypeScript 4.9及以上版本，还可以用satisfies关键字结合as const来实现，代码更紧凑：

interface Person { firstName: string }

const peopleObj = {
  Jason: { firstName: "Jason" },
  Tim: { firstName: "Tim" }
} as const satisfies Record<string, Person>;

// peopleObj的类型同样是 { readonly Jason: { readonly firstName: "Jason"; }; readonly Tim: { readonly firstName: "Tim"; }; }
// 同时每个值都被约束为Person类型

不过这种方式的缺点是对象的属性会变成只读（因为as const），如果需要修改对象属性的话，还是泛型辅助函数的方式更灵活。

对比你之前的解法 #

你之前的方法需要先声明一个as const的对象，再重新赋值给另一个Record类型的变量，步骤繁琐且容易出错。而上面的两种方案都能在定义对象的同时完成类型约束和键推断，代码更简洁，维护成本更低。

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